Question

离散数学中的归谬律证明过程

Answer 1

归谬法就是下列等值表达式：(H₁∧H₂⋯) → C ⇔ (H₁∧H₂⋯∧¬C) → (R∧¬R)

但无论我们的天赋如何，都是可以得到改进和加强的。学习逻辑正是改进人们天赋的推理和论证能力的最好办法之一。通过学习逻辑，人们能够掌握进行良好思考、避免错误推理的策略，并掌握评价论证的有效技术。

人人都要思考，人人都要推理，人人都要论证，而且每一个人都要面对和他人的推理和论证。我们每天都被来自诸多媒体如书籍、话语、收音机、电视、报纸、雇主、朋友和家人的推理所包围。

有些人善于思考，善于推理，擅长论证，但有些人则不是这样。良好的思考、推理、论证能力，部分来自某种自然的天赋。

Answer 2

归谬法就是下列等值表达式
(H₁∧H₂⋯) → C ⇔ (H₁∧H₂⋯∧¬C) → (R∧¬R)
证明过程如下：
(H₁∧H₂⋯) → C
⇔¬(H₁∧H₂⋯) ∨C
⇔¬(H₁∧H₂⋯) ∨C∨ (R∧¬R)
⇔[¬(H₁∧H₂⋯) ∨C]∨ (R∧¬R) 结合律
⇔¬[¬(H₁∧H₂⋯) ∨C]→ (R∧¬R)
⇔((H₁∧H₂⋯) ∧¬C)→ (R∧¬R) 德摩根定律
⇔(H₁∧H₂⋯∧¬C)→ (R∧¬R) 结合律