pc ( No.35 ) |
- 日時: 2010/02/16 12:51
- 名前: いはら
- 「質問Xに対して、「はい」と答えるか?」は、
「いつ誰に質問Xをされても常に「はい」と答えるか?」 ということだと思われますので、 「質問者xが存在する」ではなく、「任意の質問者xについて〜」とするべきでは? --- ↓追記に対して A:「任意のxについてPが成り立つ」の否定は、 ¬A:「Pが成り立たないようなxが存在する」でしょう。 xが存在しない場合、¬Aが真でないことは明らかですから、 Aが真ということになるのではないでしょうか。
先程は一番気になったところだけを指摘したのですが、 回答者yと質問Xは決まっていますから、∃がついているところもおかしいと思います。
|
|