命題論理

propositional logic

命題は真か偽をとる

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

解釈

interetation

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

標準形

つまり変換できる

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

同値変形の法則

冪等律

吸収律

矛盾律

移出入律

待遇律

参考