AI_02_1命题逻辑.pptVIP

１·１　命题符号化及联结词 命题：能判断真假的陈述句 真值：命题所表达的判断结果 命题：英文字母 p,q,r,…,pi,qi,ri,… 真值：0,1 (F,T) 例6　将下列命题符号化 (1)小王是游泳冠军或百米赛跑冠军。 (2)小王现在在宿舍或在图书馆里。 (3)选小王或小李中的一人当班长。 (4)王一乐生于1968年或1969年。 §1.2命题公式及其分类 (2)如果A是合式公式，则(﹁A)也是合式公式 (3)如果A,B是合式公式，则(A∧B),(A∨B), (A→B) (A?B)也是合式公式； (4)只有有限次的应用(1) ～(3)组成的符号串才是合式公式。 赋值： 成真赋值 若指定的一组值使A的值为真，则称这组值为A的成真赋值 成假赋值 若指定的一组值使A的值为假，则称这组值为A的成假赋值 定义1.9　设A为一个命题公式 (1)若A在它的各种赋值下取值均为真，则称A为重言式或永真式；　 (2)若A在它的各种赋值下取值均为假，则称A为矛盾式或永假式； (3)若A至少存在一组赋值是成真赋值，则称A是可满足式。 §1.3等值演算 定义1.10　设A,B为两命题公式，若等价式A B是重言式，则称A与B是等值的 定理1.1( 置换定理) 设φ(A)是含命题公式A的命题公式，φ(B)是用命题公式B置换了φ(A)中的A之后得到的命题公式。如果A B，则 φ(A) φ(B)。 * * 命题 真命题 假命题 任何命题的真值都是唯一的 第一章 命题逻辑 例１　判断下列句子中哪些是命题 １、２是素数。　　　　　　　　　　　　　　２、雪是黑色的。　　　　　　　　　　　　　３、２＋３＝５　　　　　　　　　　　　　　４、明年十月一是晴天。　　　　　　　　　　５、３能被２整除。　　　　　　　　　　　　６、这朵花多好看呀！　　　　　　　　　　　７、明天下午有会吗？　　　　　　　　　　　８、请关上门！　　　　　　　　　　　　　　９、x+y5.　　　　　　　　　　　　　　　　10、地球外的星球上也有人。 ２真值是否唯一 １ 是否是陈述句 注：真值是否存在与能否给出真值是两回事 命题 简单命题 （原子命题） 复合命题 简单的陈述句 简单命题用联结词联结而成的命题 例2 将下列这段陈述句中所出现的原子命题符号化，并指出它们的真值，然后再写出这段陈述。 2是无理数是不对的；2是偶素数；2或4是素数；如果2是素数，则3也是素数；2是素数当且仅当3也是素数。 命题和真值的符号化： 2是无理数是不对的；2是偶素数；2或4是素数；如果2是素数，则3也是素数；2是素数当且仅当3也是素数。 p: 2是无理数 q: 2是偶数 r: 2是素数 s: 4是素数 t: 3是素数 非p;q并且r;r或s; 如果r,则t;r当且仅当t. 定义1·1 设p为任一命题。复合命题〝非p 〞（或〝p的否定〞）称为p的否定式。 ﹁p 否定联结词 ﹁ 1 0 ﹁p p 1 0 定义1·2 设p,q为两命题。复合命题〝p 并且q〞（或〝p和q〞）称作p与q的合取式。 p∧q ∧ 合取联结词 既……又，不仅……而且，虽然……但是 1 1 0 1 1 0 0 0 p∧q q p 1 0 0 0 例3　将下列命题符号化 　(1)李平既聪明又用功。 (2)李平虽然聪明，但不用功。 (3)李平不但聪明，而且用功。 (4)李平不是不聪明，而是不用功。 p:李平聪明 q:李平用功 p∧q p∧﹁q p∧q p∧﹁q 李平与王丽都是三好学生 定义1·3 设p,q为两命题。复合命题〝p 或q〞称作p与q的析取式。 p∨q ∨ 析取联结词 1 1 0 1 1 0 0 0 p ∨ q q p 0 1 1 1 定义1·4 设p,q为两命题。复合命题〝如果p，则q〞称作p与q的蕴涵式。　　　　　　　　　 p→q → 蕴涵联结词 p：蕴涵式的前件　　q：蕴涵式的后件 1 1 0 1 1 0 0 0 p→q q p 0 1 1 1 “只要p就q”, “ p仅当q”, “因为p,所以q”, “只有q才p”, “ 除非q否则非p”, “ 除非q 才p”,…… 例4　将下列命题符号化 (1)只要不下雨，我就骑自行车上班. (2)若2+2=4，则太阳从东方升起. 定义1·5 设p,q为两命题。复合命题〝p当且仅当q〞称作p与q的等价式。　　　　　　　 ? p?q 等价联结词 1 1 0 1 1 0 0 0 p?q q p 1 1 0 0 例5　分析下列各命题的真值。 (1)