邏輯非

邏輯非是布爾代數中一種一元運算 。 它的運算結果是將運算元的真值 - { zh - hans: 取反; zh - hant: 反相 } - 。 命題A的非可以有幾種寫法 ： A （ A上加一橫 ） ~ A ¬ A NOT A ! A 以上可以讀做 " A不成立 " 或者 " 非A " 。 ¬ p的真值表定義如下 ： ~ A即在A的條件下 ， 結論不成立 。 例如 ， 如果A代表命題 “ 今天星期六 ” ， 則它的 ~ A代表命題 “ 今天不是星期六 ” 或 “ 今天是星期日 、 一 、 二 、 三 、 四或五 ” 。 ~ A爲真當且僅當A爲假 。 L Category: 邏輯聯結詞