否一推一原则：“除非A，否则B“的翻译规则是“否一推一”，否定其中一个，就可以推出另外一个。p和q两个命题没有交集，它俩的并集为全集。意思是p和q就包含了所有的可能性，由条件推出的结论只能为它俩其中之一。“否一推一”就是如果其中一个是假命题，另一个就可证明一定是真命题。
