暇つぶしに見て (A∧B)→C⇔A→(B→C)の証明 これまでに証明した命題論理の定理を用いた証明を行います。 (A∧B)→C⇔A→(B→C) 証明 1.(仮定)2.¬(A∧B)∨C(→言い換え)3.¬A∨¬B∨C(ド・モルガンの法則)4.¬A∨(¬B∨C)(結合法則)5.A→(¬B∨C)(→... 2023.07.19 暇つぶしに見て
暇つぶしに見て 推論規則に従い三段論法を演繹 除去、導入の推論規則に従い三段論法が論理的に正しい演繹であることを確認していきます。 三段論法は大前提「pならばqである」小前提「qならばrである」結論「pならばrである」といった風に二つの前提となる命題から結論を演繹する妥当な推論です。 ... 2023.04.07 暇つぶしに見て
暇つぶしに見て 