> > 論理的には命題の真偽だけじゃ命題の逆の真偽を決められないんだっけ
> > 中学生のころに習った気もするがさっぱり忘れた
> 賢いから殺しちゃだめというのが導出できないな

IQがやたら高い連続殺人犯は頭がいいので殺してはいけない

参考：2004/11/03(水)00時06分39秒