否一推一原則是什麼

否一推一原則：“除非A，否則B“的翻譯規則是“否一推一”，否定其中一個，就可以推出另外一個。p和q兩個命題沒有交集，它倆的並集為全集。意思是p和q就包含了所有的可能性，由條件推出的結論只能為它倆其中之一。“否一推一”就是如果其中一個是假命題，另一個就可證明一定是真命題。