暇つぶしに見て 後件否定と前件肯定の証明 後件肯定と前件肯定と後件否定と前件否定 前件肯定の証明 1.(A→B)∧A(仮定)2.(A→B),A(∧除去)3.B(→除去)4.((A→B)∧A)→B(→導入) 後件否定の証明 1.A→B,¬B(仮定)2.A(仮定)3.B(→除去)4.B... 2023.07.23 暇つぶしに見て
暇つぶしに見て 【モーダスポネンス】単純で妥当な論証 【前件肯定】 論理的な論証とは何かを前回学びました。それは「前提が真であれば結論が真となる「妥当」且つ、前提が全て真である「健全」な論証のことでした。妥当性は論証が形式的に正しいかどうか、健全性は具体的に前提の命題が真であるかどうかが焦点です。 前件肯定... 2023.03.09 暇つぶしに見て
暇つぶしに見て 暇つぶしに見て 
暇つぶしに見て