13/11/16 13:30:16.38
述語論理の完全性定理の証明を追っているのですがどうもわからないことが
あります。
というのは、∃x.P(x)が現れると、∃x.P(x)→P(c/x) を追加して．．．
というのはいつも出てくるのですが、∀x.P(x)の場合の考慮があまり表面に
出てこないのはなぜなのでしょうか？
特に、∀x∃y.P(x,y) のような場合にどうするんだろうというのが気になる
のですが。
どなたか教えていただけないでしょうか？
13/11/16 13:30:16.38
述語論理の完全性定理の証明を追っているのですがどうもわからないことが
あります。
というのは、∃x.P(x)が現れると、∃x.P(x)→P(c/x) を追加して．．．
というのはいつも出てくるのですが、∀x.P(x)の場合の考慮があまり表面に
出てこないのはなぜなのでしょうか？
特に、∀x∃y.P(x,y) のような場合にどうするんだろうというのが気になる
のですが。
どなたか教えていただけないでしょうか？