Contradiction

•          Contradiction

–        Contradiction rule: if one can show that the supposition that a statement p is false leads to a contradiction , then p is true.

–        Knight is a person who always says truth, knave is a person who always lies:

•          A says: B is a knight

•          B says: A and I are of opposite types