否一推一是什麼意思

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

在現代哲學、數學、邏輯學、語言學中，命題是指一個判斷（陳述）的語義（實際表達的概念），這個概念是可以被定義並觀察的現象。命題不是指判斷（陳述）本身，而是指所表達的語義。當相異判斷（陳述）具有相同語義的時候，表達相同的命題。