- 592 名前：１３２人目の素数さん [2005/09/06(火) 23:25:07 ]
- 一階述語論理の公理系
（A1） α⇒（β⇒α）
（A2） （α⇒（β⇒γ））⇒（（α⇒β）⇒（α⇒γ））
（A3） （α⇒β）⇒（（α⇒¬β）⇒¬α）
（A4） ∀xα⇒α{x := t}
ただし, {x := t} はαに適用可能な代入
（A5） ∀x（α⇒β）⇒（α⇒∀xβ）
ただし, αにおいて x は自由に現れない
（MP）
α
α⇒β
β
（GEN）
α
∀xα
一階述語論理の公理系
（A1） α⇒（β⇒α）
（A2） （α⇒（β⇒γ））⇒（（α⇒β）⇒（α⇒γ））
（A3） （α⇒β）⇒（（α⇒¬β）⇒¬α）
（A4） ∀xα⇒α{x := t}
ただし, {x := t} はαに適用可能な代入
（MP）
α
α⇒β
β
（GEN）
α⇒βがえられたら、α⇒∀xβを導き出してよい（ただしαにおいてx は自由に現れない）
手元に、この二つの公理系があるのですが、違いについて教えてください。
