每一條邏輯真理的否定命題 (Negation)都隱涵(Imply)著自相矛盾的命題 (Self-contradiction)。自相矛盾 (A & Not A) 的命題不存在於任何可能世界的。 通 ...