数理論理学（記号論理学）の基礎 論理記号 否定：¬Ａ 非Ａ、Ａでない。 選言：Ａ∨Ｂ ＡまたはＢ。 連言：Ａ∧Ｂ ＡかつＢ。 条件：Ａ→Ｂ ＡならばＢ。 同値：Ａ⇔Ｂ ＡとＢは同値、ＡならばＢかつＢならばＡ。 真理表 論理回路 否定：¬Ａ の回路 選言：Ａ∨Ｂ の回路 連言：Ａ∧Ｂ の回路 条件：Ａ→Ｂ の回路 同値：Ａ⇔Ｂ の回路