命题逻辑——推理理论(5)

推理理论推理的形式结构—问题的引入推理的形式结构判断推理是否正确的方法例题推理定律——重言蕴涵式推理规则构造证明之一——直接证明法构造证明之二——附加前提证明法构造证明之三——归谬法(反证法)第一章结束了/(ㄒoㄒ)/~~

命题逻辑——范式(4)

范式析取范式与合取范式命题公式的范式求公式的范式举例极小项与极大项主析取范式与主合取范式求公式的主范式主范式的用途——与真值表相同要哭了(手动哭/(ㄒoㄒ)/~~)

命题逻辑——命题逻辑等值演算(3)

命题逻辑等值演算等值式基本等值式等值演算与置换规则应用举例——证明两个公式等值应用举例——证明两个公式不等值应用举例——判断公式类型再次吐槽,学离散数学真的好枯燥(手动哭)~

命题逻辑——命题公式及分类(2)

命题公式及分类命题变项与合式公式合式公式的层次例题公式的赋值真值表例题公式的类型真值函數命题公式与真值函数

命题逻辑——命题符号化及联结词(1)

命题符号化及联结词命题与真值命题:判断结果惟一的陈述句命题的真值:判断的结果真值的取值:真与假真命题:真值为真的命题假命题:真值为假的命题注意感叹句、祈使句、疑问句都不是命题。陈述句中的悖论以及判断结果不惟一确定的也不是命题。习题下列句子中那些是命题?命题的分类简单命题(原子命题):简单陈述句构成的