Log of ROYGB

はてなダイアリーが廃止されるので、引っ越しました。

2008-12-12から1日間の記事一覧

論理と偽の仮定

論理学で、 「AならばBである」 という文で、Aがありえない場合は、Bに何をもってきても文は真になります。 数学で、 「1=0」 という式が正しいという仮定からは、どんな等式も正しいと証明できるようです。 どちらも考え方としては同じで、偽の仮定…