ThreshHolden

离散数学

C/C++(9) visual studio(1) 题解(2)

/ 注册

全部文章 / 离散数学（共1篇）

离散数学--Chap3 命题逻辑的推理理论

Chap3 命题逻辑的推理理论 1.核心知识点 1.推理：由前提推出结论 2.推理正确当且仅当对应的蕴含式为重言式 3.推理定律（重言蕴含式）：构造性二难推理：(A→B)∧(C→D)∧(A∨C)⇒(B∨D) (A→B)∧(┐A→B)⇒B (特殊形式) 破坏性二难推理：(A →...

离散数学命题逻辑推理

2022-03-03

1 1039