Download presentation
Presentation is loading. Please wait.
1
太郎が優しく、かつ、太郎が優しくない、ということはない。
命題 太郎が優しい 記号、真理値表の種類 恒真 真理値表、記号 太郎が優しい 太郎が優しくない 太郎が優しく、かつ、太郎が優しくない 太郎が優しく、かつ、太郎が優しくない、ということはない。 1 p ￢p p∧￢p ￢(p∧￢p)
2
金持ちならケンカしない。 命題 記号、真理値表の種類 真理値表、記号 金持ちである ケンカする 偶然的 金持ちである ケンカする
1 1 [0] p q ￢p p⇒￢q [ p⇔￢q ]
3
外が暗く寒いならば外は寒い。 命題 外は暗い 外は寒い 記号、真理値表の種類 真理値表、記号 恒真 [偶然的] 外は暗い 外は寒い
A.外が暗く寒い 外が暗く寒いならば外は寒い A⇒q [A⇔q] 1 1 [0] p q p∧q (p∧q)⇒q [ (p∧q)⇔q ]
![外が暗く寒いならば外は寒い。 命題 外は暗い 外は寒い 記号、真理値表の種類 真理値表、記号 恒真 [偶然的] 外は暗い 外は寒い](http://slidesplayer.net/slide/16960874/97/images/3/%E5%A4%96%E3%81%8C%E6%9A%97%E3%81%8F%E5%AF%92%E3%81%84%E3%81%AA%E3%82%89%E3%81%B0%E5%A4%96%E3%81%AF%E5%AF%92%E3%81%84%E3%80%82+%E5%91%BD%E9%A1%8C+%E5%A4%96%E3%81%AF%E6%9A%97%E3%81%84+%E5%A4%96%E3%81%AF%E5%AF%92%E3%81%84+%E8%A8%98%E5%8F%B7%E3%80%81%E7%9C%9F%E7%90%86%E5%80%A4%E8%A1%A8%E3%81%AE%E7%A8%AE%E9%A1%9E+%E7%9C%9F%E7%90%86%E5%80%A4%E8%A1%A8%E3%80%81%E8%A8%98%E5%8F%B7+%E6%81%92%E7%9C%9F+%5B%E5%81%B6%E7%84%B6%E7%9A%84%5D+%E5%A4%96%E3%81%AF%E6%9A%97%E3%81%84+%E5%A4%96%E3%81%AF%E5%AF%92%E3%81%84.jpg "A.外が暗く寒い. 外が暗く寒いならば外は寒い. A⇒q [A⇔q] 1. 1 [0] p. q. p∧q. (p∧q)⇒q. [ (p∧q)⇔q ]")
4
太郎が犯人でありかつ次郎が犯人ではない、とはならなく、かつ、 太郎が犯人ではないとき、そしてそのときだけ、太郎は犯人である。
命題 太郎が犯人 次郎が犯人 記号、真理値表の種類 恒偽 真理値表、記号 太郎が犯人 次郎が犯人 A.次郎が犯人ではない B.太郎が犯人でありかつ次郎が犯人ではない p∧A C.太郎が犯人でありかつ次郎が犯人ではない、とはならなく ￢B D.太郎が犯人ではない ￢p E.太郎が犯人でありかつ次郎が犯人ではない、とはならなく、かつ、太郎が犯人ではない C∧D 太郎が犯人でありかつ次郎が犯人ではない、とはならなく、かつ、太郎が犯人ではないとき、そしてそのときだけ、太郎は犯人である。 E⇔p 1 p q ￢q p∧￢q ￢(p∧￢q) ￢(p∧￢q)∧￢p (￢(p∧￢q)∧￢p)⇔p かつ かつ そしてそのときだけ 太郎は犯人
5
優秀ではないくしかも勤勉でもないなら人生に失敗する、というわけではない。
記号化 優秀である 勤勉である 人生に失敗する 記号、真理値表の種類 偶然的 真理値表、記号 優秀である 勤勉である 人生に失敗する A.優秀ではない B.勤勉ではない C.優秀ではなく、しかも勤勉でもない A∧B D.優秀ではないく、しかも勤勉でもないなら、人生に失敗する (A∧B)⇒r [ (A∧B)⇔r ] 優秀ではないく、しかも勤勉でもないなら、人生に失敗する、というわけではない。 ￢((A∧B)⇒r) [ ￢((A∧B)⇔r) ] 1 1 [0] 0 [1] p q r ￢p ￢q ￢p∧￢q (￢p∧￢q)⇒r [ (￢p∧￢q)⇔r ] ￢((￢p∧￢q)⇒r) [ ￢((￢p∧￢q)⇔r) ]
Similar presentations
