I have a visitor that meets A and B.We have trustworth and liars. A declares that he is like B. B declares that one of them is only trustworth.
So I have solved this exercise with truth table
A: trustworthy so p B: trustworthy so q (cause he is saying that one of them is trustworth) I have the table
p q p ^ q
true true lie
true lie lie
lie true lie
lie lie true
from their statement we have true and true so both of them are liars.What the visitor assume ?
1)A and B trustworth 2)A trustworth and B liar 3)A liar and B trustworth 4)both liars
I find 4.both liars is it?