07/07/28 11:16:26
久々に論理学の教科書を引っ張り出してきた。
それによれば、条件文（ＰならばＱ）おいて前件（Ｐ）が偽である場合、
後件（Ｑ）は真であっても偽であっても、条件文全体としては真として
扱うらしい。
これはある意味「論理学のお約束」であるのだが、一応ちゃんと根拠も説明
できる。が、少し長くなるので割愛。
あと、論理学は自然言語とは乖離した「推論に関する学問」だということを
きちんと認識していただきたい。
07/07/28 11:16:26
久々に論理学の教科書を引っ張り出してきた。
それによれば、条件文（ＰならばＱ）おいて前件（Ｐ）が偽である場合、
後件（Ｑ）は真であっても偽であっても、条件文全体としては真として
扱うらしい。
これはある意味「論理学のお約束」であるのだが、一応ちゃんと根拠も説明
できる。が、少し長くなるので割愛。
あと、論理学は自然言語とは乖離した「推論に関する学問」だということを
きちんと認識していただきたい。