やっぱり動的言語では安全なソフトは作れない 4
■ このスレッドは過去ログ倉庫に格納されています
0086デフォルトの名無しさん
2011/09/19(月) 00:04:24.43いや、お前はAならばBといっただけで何も証明してないだろ。
AならばB 具体的に言えば、りんごならばバナナ。
これが間違っているのは明らかだよな。
AならばBというのはただの命題。お前は命題を言っただけで、
「AならばB」が正しいという証明をしてないんだよ。
「アヒルのように振る舞うならばアヒルである 」
この命題を出発点として、正しいかを考えるのが論理学だ。
やってみ。「アヒルのように振る舞うならばアヒルである 」という
”命題” が 正しいか。
■ このスレッドは過去ログ倉庫に格納されています