否定肯定式是什麼意思

邏輯推理方式

否定肯定式是一種邏輯推理方式，主要用於處理「或」關係的邏輯命題。

其基本原理是：如果有一個邏輯命題表達為「A或B」，那麼當這個命題為真時，如果否定A（即-A），則必然導致B為真；同樣，如果否定B（即-B），則必然導致A為真。這就是說，在「A或B」的命題中，如果否定了其中一個，那麼另一個就一定為真。