8.1命题与逻辑连接词概念.pptVIP

第八章 命题逻辑基础;人是动物。;地表达命题及其间的关系。;说：“我现在年纪大了，搞了这;就要回去学逻辑。”;数理逻辑是计算机程序设计、硬;数理逻辑的两个最基本逻辑----;我们班是三好班集体。;符合事实的判断其命题真值为真;例 判断下列语句哪些是命题；;个质数的和（哥德巴赫猜想）。;子的人刮胡子。;（9），（10）都是祈使句;刮胡子，又不能不给自己刮胡子;原子命题(atoms)或简单命题;逻辑连接词（logical connectives）;重要而基本的内容。;或一个真值，我们叫做赋值或真值;例 将下列命题写成原子命题与连;解:本例中的5个语句都是复合命题;(1) 非p;可能有二义性。为排除二义性, 在;8.1.2 逻辑连接词;（用逗号表示逻辑联结词“并且”）;P真时，? P假，;设P 表示“3是奇数”，;? P的真值应为真。;其真值状况;设P：他去了教室，;析取词(disjunction)“或”（or）;其真值状况;今晚我去书店或者去打球。;设P，Q表示两命题，;其真值状况;如果有辆车,那么我去接你。;许多程序设计语言中用if…then…;“如果2+2=5，那么雪是黑的”;设P，Q为两命题，;其真值状况;偶数a是质数,当且仅当a=2.;上述五个联结词来源于日常使用;表示为“∨”。;8.1.3 命题公式与真值表 ;真值不确定因而（?P∧Q）? R;而变化。;（3）只有有限步使用规则(1),(2);约定：;且B也为一公式。;例 构造公式?P∨Q的真值表。;说明： （1）若公式中含有两个命题变元;（2）为简化计算，可以逐步算出;解：该公式的真值表为：;例求公式?(p→(Q∨R))的真值表;例求p→(q→r), (p→q)→r的真值表;8.1.4 语句的形式化;② 选用恰当逻辑联接词，;例 将下列语句形式化：;设P:我去海南岛,Q：你去海南岛;解：;Q：计算机能正常工作，;（3）如果他没来见你，;（4）如果袁翼和王津都是聪明人;（5）风雨无阻，我去上学。;(6) 除非你已满16周岁，否则只要;(┐A∧B→┓C)