否一推一的意思是什麼

否一推一的意思就是說：

p和q兩個命題沒有交集，它倆的並集爲全集。意思是p和q就包含了所有的可能性，由條件推出的結論只能爲它倆其中之一。“否一推一”就是如果其中一個是假命題，另一個就可證明一定是真命題。以上就是否一推一的解釋。