离散数学知识点总结（命题逻辑的基本概念及等值演算）

1.命题：   定义：能够判断真假的陈述句叫做命题（不以句号结尾的句子，以及悖论，2*x>10这样的都不是命题）   2.连接词：否定：┓  合取：∧ 析取：∨ 蕴含：→ 等价：<->  (其中最容易让人记混的符号是合取∧ 和析取∨，我的记忆方法是合取是要倒过来盖上才能合上；而析取就像碗里装水，正着放水才能析出来，开口方向反过来的话，水直接就洒了，就谈不上析出了) 3.命题公式的层次计算：  先从

>>阅读原文<<