本ブログは更新を停止しました。Aerieをよろしくお願いいたします。
投稿カレンダーはJavaScriptが有効でない環境では使用できません。
αετο? / aetos / あえとす
シャノン？ 誰それ。
埼玉を馬鹿にする奴は俺が許さん。
基本的に知ったかぶり。興味を持った技術に手を出して、ちょっと齧りはするものの、それを応用して何か形にするまでは及ばずに飽きて放り出す人。
「俺の家にある車はすべて赤い」
この命題は、俺の家に車が一台もない時は真か偽か？
投稿日時 : 2007年6月18日 17:04
既に命題が成り立ってないので「解なし」ってのは駄目？ # 成り立ってない場合、どう扱うか忘れた...
答えは真らしいのですよ。 「俺の家にある車はすべて赤い」と「俺の家には赤くない車は無い」は等価であり、俺の家に車が一台もない時、後者は真だかららしいです。 で、なんとなくしっくり来ないから「そうなのか？」というわけ。
bool 命題の答え = true; foreach ( 車 俺の家の車 in 俺の家のすべての車 ) if ( 俺の家の車.色 != 赤 ) { 命題の答え = false; break; }
プログラムだとわかり易いですね。 同時にこちらも真なのかな？ 「シャノンさんの家にある車はすべて赤くない」
「俺の家にある車はすべて赤い」と「車は赤くないか、または、俺の家にない」が同値ですね。 俺の家に車が一台もない時は真です。
修正: 「俺の家にある車はすべて赤い」と「車は赤いか、または、俺の家にない」が同値ですね。
俺の家にある車はすべてフェラーリですが何か？ とか...!?(笑)
「俺の家にある車はすべて赤い」は ∀c∈{俺の家にある車} ; c は赤い 否定は ∃c∈{俺の家にある車} ; c は赤くない 「俺の家に赤くない車が存在する」となります。 一台もないときはこの否定が偽となるので、 元の命題は真ですね。
じつのところ、論理的に説明されても納得がいかないから投降したわけでｗ 「解なし」が許されるなら、それがしっくり来るのですよｗ # でも「解なし」が答えだったら「命題」じゃないな。 > 2リットルさん え？ 俺の家に車がない時、「俺の家にある車はすべて赤い」と「俺の家にある車はすべて赤くない」が同時に真？ ますます混乱しそうだｗｗ 日常会話では、「俺の家にある車はすべて赤い」の中に、暗黙的に「俺の家には車がある」が含まれているんですよね。 > なか-chanさん 学校の友達に「俺んちの車は全部フェラーリなんだぜ」って自慢して「ホントか？ じゃあ見せてみろよ」って言われて、論理学を駆使して煙に巻こうとするも理解されずいじめられる小学生の図を想像してしまったｗｗ
> 投降したわけでｗ 投降はシテマセンｗ
面白そうなので参戦いたします。 家に有る車の台数をXとして 赤い車の台数をYとした時。 X == Y ならばTRUEとなる訳だから… 家に有る車の台数は１台もないので X=NULL 赤い車の台数は０台なので Y=0 この時の X == Y の比較演算の結果は～ ん？ 昔の言語と最近の言語では結果が違うじゃないか～～ P.S. STRING型を触り始めた頃に、 NOTHINGとNULLと""（空文字）の違いを理解するのに苦労したのを思い出しました
IS NULL なワケ？
Powered by: Copyright © αετος / aetos