Two natives A and B address you as follows:
A says: Both of us are knights.
B says: A is a knave.
What are A and B?
Okay, so I assume that A is telling the truth so:
(a ^ b)
and since B is a knight then what B says has to be true so:
Then there's the contradiction:
a ^ ~a
The negation law states:
...and that's how far I got.. -____-
I don't even know if I'm doing this correctly.