今日の論理学:極大無矛盾集合の充足可能性補助定理の証明(途中)
これまでの流れのおさらい
公理系APLの完全性を証明したい
- ヘンキンの定理を証明する必要がある
- 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→前回やった
- 【補助定理44-2 極大無矛盾集合の充足可能性補助定理】→今回と次回やる。
- ヘンキンの定理を証明する必要がある
証明する定理のおさらい
【補助定理44-2 極大無矛盾集合の充足可能性補助定理】
極大無矛盾集合Γ*
が与えられると、Γ*
に含まれる全ての式を真にする首尾一貫した真理値割り当てが決まる。つまり、極大無矛盾集合は充足可能である
- 作者: 戸田山和久
- 出版社/メーカー: 名古屋大学出版会
- 発売日: 2000/10/10
- メディア: 単行本(ソフトカバー)
- 購入: 27人 クリック: 330回
- この商品を含むブログ (108件) を見る
補助定理44-2 極大無矛盾集合の充足可能性補助定理の証明
- 極大無矛盾集合
Γ*
に対する真理値割り当てが存在することを示す - 補助定理44-2-1
Γ⊢A
かつΓ⊆Γ*
であるとき、A∈Γ*
補助定理44-2-2
Γ*
を極大無矛盾集合とし、AとBを任意の論理式とすると以下が成り立つ- 1.
A∈Γ* ⇔ ¬A∈Γ*
- 2.
A∧B∈Γ* ⇔ A∈Γ* かつ B∈Γ*
- 3.
A∨B∈Γ* ⇔ A∈Γ* または B∈Γ*
- 4.
A→B∈Γ* ⇔ A∉Γ* または B∈Γ*
- 5.
A↔︎B∈Γ* ⇔ (A∈Γ* かつ B∈Γ*) または (A∉Γ* かつ B∉Γ*)
補助定理44-2-1の証明
- 1.
証明(背理法):
Γ⊢A
かつΓ⊆Γ*
であるとする
補助定理44-2-2の証明は明日。(ネスぺ前日なのでやらないかも)
続く。。。