数理論理学第2回.pptVIP

* * * * * * * * * 数理論理学　第8回 茨城大学工学部情報工学科 佐々木　稔 前回までのあらすじ 命題論理と推論 三段論法 論理的帰結 背理法 クラスによる三段論法の表現 配布資料は以下からダウンロードできます http://sas.cis.ibaraki.ac.jp/logic/ 前回の問題1 以下の前提から命題変数を記号で表し、論理式を導きなさい。また、これらの前提から得られる結論を導き出しなさい． 死刑を怖れる者がいるならば、死刑に犯罪抑止力がある。 死刑に犯罪抑止力があるならば、死刑は正義である。 誤審が防止できていないならば、死刑は正義ではない。 P:「死刑を怖れる者がいる」 Q:「死刑に犯罪抑止力がある」 R:「死刑は正義である」 S:「誤審は防止できている」 死刑を怖れる者がいるならば、死刑に犯罪抑止力がある。 P?Q 死刑に犯罪抑止力があるならば、死刑は正義である。 Q?R 誤審が防止できていないならば、死刑は正義ではない。 ～S?～R 対偶を取って、R?S 三段論法により、 P?S 「死者を怖れる者がいるならば、誤審は防止できている」 前回の問題2 次の論証から命題変数を抜き出し、ベン図を用いて関係を図示せよ。また、この論証が妥当かどうか判定せよ。 「彼の言うことはすべてナンセンスだ。ナンセンスはすべて卑劣だ。彼の言うことはすべて卑劣だ。」