13/11/18 08:48:35.27
>>314
コメントありがとうございます。
>たぶん疑問に思ってるのは
そのとおりです。
コメントを読んで少し分かってきました。
でもまだわからないことも多いです。
>でも構文論ではまったく問題ない
ここは正確な表現ではないんでしょう？ここはモデルを作ろうとして
いる所ですから
>結局∃ではじまる命題だけ考えればよい
これは随分飛躍しているように感じます
>q(x)=y という論理的同値な関数
これはスコーレム関数のことですね
ここの処理こそキモではないかと感じます
>なぜ∃の考慮が必要なのかというと
∃の考慮が必要な理由はすぐわかります。ここの説明は複雑すぎませんか？
結局、やっぱり、∀については結構考慮しないといけないのですよね。
なぜふつう、TTTさんのコメントのようなことを書いていないのでしょうか？