数理論理学やりたいのになんで哲学科なんだよ!

このエントリーをはてなブックマークに追加
658132人目の素数さん
自分、論理学初心者なのですが
ど〜〜〜しても解らないことがあるんです。
「ならば」に関することなのですが。


命題Aと命題Bがあり、「AならばB」の真偽を考えます。

1、AもBも真ならば、「AならばB」は真
2、Aが真でBが偽ならば、「AならばB」は偽

これは解るんです。でも、

3、Aが偽でBが真ならば、「AならばB」は真
4、AもBも偽ならば、「AならばB」は真

ってのが解らないんです。何故真になるのか。
マジ教えてください。。。
659132人目の素数さん:2006/01/20(金) 16:34:09
>>658
集合Aが集合Bに含まれている図を見て考えれば分かりやすい。
660132人目の素数さん:2006/01/20(金) 16:38:59
>>658
入試を控えたA君に、B君がこう言った。
「もしお前が合格したらならば、俺はフリチンで校内一周してやるよw」

このとき、Bが「嘘つき」呼ばわりされるのは次のどの場合か?

(1) Aが合格し、Bがフリチンで一周する
(2) Aが合格し、Bがフリチンで一周しない
(3) Aが不合格、Bがフリチンで一周する
(4) Aが不合格、Bがフリチンで一周しない