矛盾法解决真假话问题

　　(1)简单判断间的矛盾关系：

　　1)“所有是”的矛盾为：“有些非”

　　2)“所有非”的矛盾为：“有些是”

　　3)“某个是”的矛盾为：“某个非”

　　4)“必然是”的矛盾为：“可能非”

　　5)“必然非”的矛盾为：“可能是”

　　(2)复言判断间的矛盾关系：

　　1)联言判断：P 且 Q 的矛盾为：(非 P 或非 Q)

　　2)相容选言判断：P 或 Q 的矛盾为：(非 P 且非 Q)

　　3)不相容选言判断：要么 P，要么 Q 的矛盾为：(

　　P 且 Q)或(非 P 且非 Q)

　　4)充分条件假言判断：P→Q 的矛盾为：P 且非 Q

　　5)必要条件假言判断：Q←P 的矛盾为：非 Q 且 P

　　6)充要条件假言判断：P↔Q 的矛盾为：(

　　P 且非 Q)或(Q 且非 P)