离散数学命题逻辑节.pptxVIP

会计学;2;数理逻辑的主要内容 ;4;例：;第一篇 数理逻辑;第一章 命题逻辑研究的内容;第一章 命题逻辑 学习要求;9;10;请看下面给出的两个陈述句：;12;例子;判断语句是否为命题要注意的问题：;如何判断一个句子是否为真命题？;分子命题;17;18;19;20;二、合取“∧” 二元运算;22;下列语句不是合取联结词组成的命题;三、析取“∨”、异或“ ”二元运算1. 析取“∨”;区分“可兼或”与“不可兼或”;2. 异或“ ”;四、双条件 “?”;例：下面均为双条件联结词;29;P?Q的真值;一位父亲对儿子说：“如果星期天天气好，就一定带你 去动物园。”问：在什么情况下父亲食言？ 父亲的可能情况有如下四种： (1) 星期天天气好，带儿子去了动物园； (2) 星期天天气好，却没带儿子去动物园； (3) 星期天天气不好，却带儿子去了动物园； (4) 星期天天气不好，也没带儿子去动物园。;32;举例：;本节小结;本节小结;36;37;析取和异或示例;39;40;例如;命题公式;命题公式的子公式;44;45;举例;47;48;49;50;构造真值表的步骤;52;53;54;55;56;57;58;59;60;61;62;定理1-4.1 置换定律（等价代换定理）：;64;;;67;命题符号化的练习;命题符号化的练习;命题符号化的练习;71;72;本节小结;