「スマリヤンの無限の論理パズル」第7章のはじめの問題について 5
否定を定義します。「「はい」と答えない」は「「いいえ」または沈黙」です。同様に「沈黙しない」は「「はい」または「いいえ」と答える」
では否定の記号「¬」を使って、論理の基本表を拡張しましょう。
「¬y?」(「はい」と答えませんか?)これは「(n∨沈黙)?」です。機械的にあてはめるとTはnと言えます。自然語にするとTは「いいえ。わたしは「はい」と答えます」おかしいですね、「いいえ」なのに「「はい」と答える」なのです。どうした?
Fはyともnとも答えられます。yの場合「はい、わたしは「はい」と答えません」となり、嘘なのでFは言えます。nは「いいえ。わたしは「はい」と答えます」で、これも嘘なのでFの発言になりえます。
おかしいな。