I'm studying for a midterm for my logic course. I was going through the lecture slides and came across this problem. You are on an island of kights and knaves. Knights always tell the truth and knaves always lie. Suppose person A says "Either I am a knave or B is a knight" What are A and B
Attempt There's two options for A. Either A is a knight or A is a knave. Consider the cases separately
A is a knight
Then what A says is true. This means that either A is a knave or B is a knight
But at this point I realized that I didn't know how to translate either...or...
into propositional logic. Is "either or" an exclusive "or" or and inclusive "or"?
A is a knave Then what A says is false. Therefore, taking the negation of what A said, Now I don't know how to negate this because I don't know how to translate this.
I'd appreciate any help I can get here. Thanks
EDIT: Not sure if this is correct but....
In the first case, we assumed A is a knight. Then what he says is true. Therefore, the first half of his disjunction ("I am a knave") is false so the second half of if ("B is a knight") must be true. Therefore, we get that both A and B ar knights. However, this contradicts what A said ("Either A is a knave or B is a knight"). Therefore, by contradiction. A can't be a knight. Therefore, A is a knave. So we take the negation of what A said, and we get that either, they're both knights or they're both knaves (am I negating that correctly?). Since we know that A is a knave (from our contradiction). then what ust be true is that they are both knaves. Is my logic correct? Sorry if this is long.