否一推一是什麼意思

否一推一是一種邏輯推理規則，其含義如下：

當一個命題（或關係）為真時，如果否定其中一個命題，那麼另一個命題必然為真。

這是一種考查或關係是否成立的方法。

否一推一型推理可以否定前一個命題推出後一個命題，也可以否定後一個命題推出前一個命題。

以上就是否一推一的意思，希望對你有所幫助。