Thursday, May 5, 2016

Logical disjunction is a statement "P or Q". Such a disjunction is false if both P and Q are false. In all other cases it is true. Note that in everyday language, use of the word "or" can sometimes mean "either, but not both" (e.g., "would you like tea or coffee?"). In logic, this is called an "exclusive disjunction" or "exclusive or" (xor).
So if A was a swindlecant, then his statement would be false (thus A would have to be an honestant and B would have to be a swindlecant). However, that would cause a conflict which implicates that A must be an honestant. In that case at least one part of his statement is true and as it can't be the first one, B must be an honestant, too.

No comments:

Post a Comment