クイズ大陸クイズ大陸

参加型ナゾトキサイト『クイズ大陸』で、脳トレをどうぞ!

FAQ
feedRSS


■ nothing ( No.37 )
日時: 2010/02/16 16:14
名前: ボムボム

No.34の方法でも、「◯◯だったら」という反事実の用法を、論理式で表せていないように思います。

「(∀x)(∃y)(∃X')((X'∈【論理式】∧ y∈【回答者】∧ x∈【質問者】)
→(Fx,y(X)=「はい」))」

のxが存在しない、ということですが、
反事実的条件文で述べた文章は
「質問者xと、この命題全体を発言する発言者a(つまりこの問題の "あなた" )が必ずしも一致しない」
ことになるのでは?