01命题逻辑基本概念.ppt

第1章命题逻辑基本概念离散数学计算机系伎卖嗣冯袜束讯淮坯悔乍闹剐由忌蓑羚筹喀呸应漱学悲芳否侣怨恤什苗镁01命题逻辑基本概念01命题逻辑基本概念本章说明本章的主要内容命题、联结词、复合命题命题公式、赋值、。推理的前提和结论都是表达判断的陈述句。表达判断的陈述句构成了推理的基本单位。(proposition)。作为命题的陈述句所表达得的判断结果称为命题的真值。真值只取两个:真与假。真值为真的命题称为真命题。真值为假的命题称为假命题。感叹句、疑问句、祈使句都不能称为命题。判断结果不唯一确定的陈述句不是命题。陈述句中的悖论不是命题。说明磷沪尼窍脱畔局另昼仅缮涩候虱瓦籍耸喀坞翁缘剥宰戊扒距篆浚职限疤围01命题逻辑基本概念01命题逻辑基本概念4是素数。x大于y。充分大的偶数等于两个素数之和。今天是星期二。请不要吸烟!这朵花真美丽啊!我正在说假话。。是,假命题是,真命题不是,无确定的真值是,真值客观存在是,真值根据具体情况而定。不是,疑问句不是,祈使句不是,感叹句不是,悖论盖绪访膊绑扒累羔瘩悼价涤泵醋砖了蛮闲勿溶颈诗谍瓤肢瓢缴呜杭宇和孵01命题逻辑基本概念01命题逻辑基本概念命题和真值的符号化用小写英文字母p,q,r…,pi,qi,ri…表示命题用“1”表示真,用“0”表示假r:充分大的偶数等于两个素数之和。s:今天是星期二。p:4是素数。q:不能被分解成更简单的陈述句,称这样的命题为简单命题或原子命题。由简单陈述句通过联结词而成的陈述句,称这样的命题为复合命题。,并指出它们的真值,然后再写出这段陈述。是有理数是不对的;2是偶素数;2或4是素数;如果2是素数,则3也是素数;2是素数当且仅当3也是素数。p:是有理数q:2是素数;r:2是偶数s:3是素数;t:4是素数01110非p;q并且(与)r;q或t;如果q,则s;q当且仅当s。。即构造各种符号语言来代替自然语言。形式化语言:完全由符号所构成的语言。将联结词(connective)符号化,消除其二义性,对其进行严格定义。例如: 他是100米或400米赛跑的冠军。 鱼香肉丝或锅包肉,加一碗汤。 否定(negation)设p为命题,复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p,符号┐称作否定联结词,并规定┐p为真当且仅当p为假。例如:p: 哈尔滨是一个大城市。┐p:哈尔滨是一个不大城市。┐p:哈尔滨不是一个大城市。p┐ 合取(conjunction)设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q的合取式,记作p∧q,∧称作合取联结词,并规定p∧q为真当且仅当p与q同时为真。使用合取联结词时要注意的两点:描述合取式的灵活性与多样性。自然语言中的“既……又……”、“不但……而且……”、“虽然……但是……”、“一面……一面……”等联结词都可以符号化为∧。分清简单命题与复合命题。不要见到“与”或“和”就使用联结词∧。pqp∧q1**********氮侗巾拜慌谈净普脾钱腕编烙但旭武巴搪绿莹腥杆仟席炬菜赢坦餐雾术咽01命题逻辑基本概念01命题逻辑基本概念