否一推一原則:“除非A,否則B“的翻譯規則是“否一推一”,否定其中一個,就可以推出另外一個。p和q兩個命題沒有交集,它倆的并集為全集。意思是p和q就包含了所有的可能性,由條件推出的結論隻能為它倆其中之一。“否一推一”就是如果其中一個是假命題,另一個就可證明一定是真命題。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!