Case I: Say Tom is of Type A.
Truth: Tom & jerry are both of Type B.
Contradicted.
Case II: Say Tom is of Type B.
Truth: ~ (Jerry and I are both of Type B)
=> ~(jerry is of Type B) or ~(Tom is of Tpe B)
[According to Second DeMorgan's Law]
=> (jerry is of Type A) or (Tom is of Type A)
Since Tom is already of Type B, Jerry shoud be of Type A.
Comments
Leave a comment