Open6

#論理数学

論理演算

  • 排中律
    • A∨¬A=T
  • 矛盾律
    • A∧¬A=F
  • 二重否定律
    • ¬¬A=F
  • 同一律
    • A=A
  • 選言標準形

    • 命題変数あるいは命題変数の否定のいくつかを連言 (∧)で結び, それらをさらに選言 (∨)で結んだ式が得られている (たとえば (¬p∧¬q)∨(p∧q)).

  • 連言標準形

    • 命題変数あるいは命題変数の否定のいくつかを選言 (∨)で結び, それらをさらに連言 (∧)で結んだ式が得られている (たとえば (p∨¬q)∧(¬p∨q)).

参考:ソフトウェア科学特論: 命題論理

ログインするとコメントできます