命題を扱う

命題は真か偽をとる

命題の内部構造は問わない

解釈

interetation

論理式に含まれる命題変数の値の組み合わせ

標準形

任意の論理式に対して、それと論理的に同値な、選言標準形、連言標準形が存在する

つまり変換できる

どんな複雑な論理式も、標準形というスッキリした形に変形できる

同値変形の法則

冪等律

吸収律

矛盾律

移出入律

待遇律

参考