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

如题所述

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

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

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

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

温馨提示:答案为网友推荐,仅供参考
第1个回答  2016-04-01
归谬法就是下列等值表达式
(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) 结合律本回答被提问者和网友采纳
相似回答