La mémoire de mathématiques

数学めも by Müde

論理学一般

必要条件と十分条件

論理学の話で と書いてきましたが、この命題が真であるとするとき、 を十分条件、 を必要条件と言います。中学校で習うことなのですが、恥ずかしながら私は、どちらが十分条件でどちらが必要条件なのか、すぐにパッと出てこなかったりします…。 論理学をちゃ…

前件否定、後件肯定、モーダストレンス(対偶による証明)

前件否定(の誤謬)とは、次の論証「形式」に関する誤謬だそうだ。つまり、次のように推論することは「妥当ではない」。 もしPならば、Qである。 Pではない。 従って、Qではない。 http://ja.wikipedia.org/wiki/%E5%89%8D%E4%BB%B6%E5%90%A6%E5%AE%9A 前件否…