2006-12-07 火のない処に煙はたたぬ p:火がある q:煙がたつ。 1.p→q 2.¬p→¬q 1が真だとしたら2の命題は真なんでしょうか偽なのでしょうか。 伝統的な論理学に従うなら「真とは限らない」ってなるんでしょうけど。