言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2009-02-27から1日間の記事一覧

Coq で遊ぶその8: 真実とは何か?

coq

真の定義 真実とは何でしょうか?それは人類始まって以来の謎に満ちた疑問に思えますが、プログラムの世界では割と簡単です。真と偽を表す値と演算子を使って真偽表で判定します。例えば真理表はこんなのです。 真 ならば 真 => 真 真 ならば 偽 => 偽 偽 な…