12/01/06 21:59:17.28
１階述語論理の証明体系について皆さんにお聞きしたいことがあります。
全称化：「A→Bから∀ｘA→Bが出てくる（ただしｘはBに自由に現れない）」という推論規則がありますが、
これから理論Tについて「T|-AならばT|-∀xA」を示すにはどうすればいいのでしょう。
命題論理のトートロジーや∀xA(x)→A(t)（tは代入可能な項）、等号の公理は論理公理に入っているものとしてください。
三段論法も推論規則に入っています。
12/01/06 21:59:17.28
１階述語論理の証明体系について皆さんにお聞きしたいことがあります。
全称化：「A→Bから∀ｘA→Bが出てくる（ただしｘはBに自由に現れない）」という推論規則がありますが、
これから理論Tについて「T|-AならばT|-∀xA」を示すにはどうすればいいのでしょう。
命題論理のトートロジーや∀xA(x)→A(t)（tは代入可能な項）、等号の公理は論理公理に入っているものとしてください。
三段論法も推論規則に入っています。