クイズ大陸クイズ大陸

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

 FAQ
feedRSS

■ pc ( No.52 )
日時： 2010/02/18 21:15
名前： ボムボム

では
（F(A)=「はい」∨F(A)＝「いいえ」）∨（¬（F(A)=「はい」∨F(A)＝「いいえ」））
は恒真としていいですか？

結局言いたいのは
質問Aに対して、Aを使った恒真になる命題T'[A]、対応する質問をT[A]と書いたとして、正直者は

F(T[A])＝「はい」と答えたいのに、
「T'[A]は真か？」という質問は「いいえ」になるのでは？

ということです。