题目内容

“我选修了数理逻辑和离散数学，因此我选修了数理逻辑” ，这是一个有效推理。

查看答案

搜索结果不匹配？点我反馈

更多问题

直接证明法H Þ P→S与H∧P Þ S（附加结论引入）等价。

（A → Ｂ）∧ （C → D） ∧（┐B ∨ ┐D） ⇒（ ┐A ∨ ┐C ）是正确的。

（A → Ｂ）∧┐Ｂ⇒Ａ是正确的。

G→ H 的结果不是命题公式。