离散数学课程考研大学课程数学一命题逻辑.pptxVIP

会计学; 主要内容 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 ;1.1 命题符号化及联结词;例1： 2是素数。 雪是黑色的。 2+3=5 。 明年十月一日是晴天。 这朵花多好看呀！ 3能被2整除. 明天下午有会吗？ 请关上门！ x+y5 。 地球外的星球上也有人。 ;命题判断的关键：1.是否是陈述句；2.真值是否是唯一的。;表示法：;例2：将下列各命题符号化 3不是偶数. 2是素数和偶数. 林芳学过英语或日语. 如果角A和角B是对顶角,则角A等于角B.; 1. 否定联结词 定义1.1 设p为命题，则p的否定是一个复合命题，记作：?p，读作“非p”或“p的否定”。 ?为否定联结词。?p为真当且仅当p为假。; 2. 合取联结词 定义1.2 设p和q均为命题，则p和q的合取是一个复合命题，记作p∧q，读作“p与q”或“p合取q”。 ∧为合取联结词。 p∧q为真当且仅当p和q同时为真。 ;例3：将下列各命题符号化 李平既聪明又用功. 李平虽然聪明，但不用功. 李平不但聪明，而且用功. 李平不是不聪明，而是不用功