量化子の順序交換 (∀x∀y は ∀y∀x と同値、∃x∃y は ∃y∃x と同値。∀x∃y と ∃y∀x は非同値)

**量化子の順序交換 (∀x∀y は ∀y∀x と同値、∃x∃y は ∃y∃x と同値。∀x∃y と ∃y∀x は非同値)**は、真偽を持つ式と、前提から結論を導く条件を扱う論理概念である。

仕組み

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

計算量・性質

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

具体例

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

限界と注意点

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