人気ブログランキング | 話題のタグを見る

「スマリヤンの無限の論理パズル」第7章のはじめの問題について 5

否定を定義します。「「はい」と答えない」は「「いいえ」または沈黙」です。同様に「沈黙しない」は「「はい」または「いいえ」と答える」


では否定の記号「¬」を使って、論理の基本表を拡張しましょう。


「¬y?」(「はい」と答えませんか?)これは「(n∨沈黙)?」です。機械的にあてはめるとTはnと言えます。自然語にするとTは「いいえ。わたしは「はい」と答えます」おかしいですね、「いいえ」なのに「「はい」と答える」なのです。どうした?


Fはyともnとも答えられます。yの場合「はい、わたしは「はい」と答えません」となり、嘘なのでFは言えます。nは「いいえ。わたしは「はい」と答えます」で、これも嘘なのでFの発言になりえます。


おかしいな。




by tomoarrow | 2019-04-12 07:00 | モチーフについて | Comments(0)