論理式の構成規則

論理式の構成規則は、真偽を持つ式と、前提から結論を導く条件を扱う論理概念である。

仕組み

構文として式の形成規則を定め、意味論として付値またはモデルを与え、推論規則が真理を保存するか確認する。

計算量・性質

有限個の命題変数nに対する全真理値割当ては2^n通り。

具体例

P→QはPが真でQが偽のときだけ偽になる。

限界と注意点

日常語の含意と実質含意を混同せず、自由変数と束縛変数の範囲を確認する。