- 1、本文档共26页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一章 命题逻辑(Propositional Logic) (1). 是无理数。 (2). 5能被2整除。 (3). 现在开会吗? (4). x+50。 (5). 这朵花真好看呀! (6). 2是素数当且仅当三角形有3条边。 (7). 雪是黑色的当且仅当太阳从东方升起。 (8). 2008年十月一日天气晴好 。 (9). 太阳系以外的星球上有生物。 (10). 小李在宿舍里。 (11). 全体起立! (12). 4是2的倍数或是3的倍数。 (13). 4是偶数且是奇数。 (14). 李明与王华是同学。 (15). 蓝色和黄色可以调配成绿色。 (16). 中国有四大发明。 (17). 吸烟请到吸烟室去! (18). 圆的面积等于半径的平方乘 。 (19). 只有6是偶数,3才能是2的倍数。 二、将下列命题符号化,并指出真值。 (1)如果今天是1号, 则明天是2号。 (2)如果今天是1号, 则明天是3号。 (3)2与5都是素数。(同第4题) (4)不但 是无理数,而且自然对数的底e也是无理数。 (5)虽然2是最小的素数,但2不是最小的自然数。 (6)4既不是素数,也不是偶数。 (7)小丽只能从筐里拿一个苹果或一个梨。 (8)这学期刘晓月只能选英语或日语中的一门外语课。(同7) (9)他一边吃饭,一边看电视。(类似4) (10)除非天下大雨,否则他不乘公共汽车上班。 (11)只有6是偶数(P),3才能是2的倍数(Q)。 ???? (12)只要21(P),就有32(Q)。 (13)如果21,则3≥2。 (14)只有21,才有3≥2。 (15)除非21,才有3≥2。 (16)除非21,否则32 。 (17)21仅当32 。 三、设P:俄罗斯位于南半球,Q:亚洲人口最多。将下面命题用 自然语言表述,并指出真值。 (1) Q→P ,如果亚洲人口最多,则俄罗斯位于南半球。F (2) ? P→Q,如果俄罗斯不位于南半球,则亚洲人口最多。T (3) P→ ? Q,如果俄罗斯位于南半球,则亚洲人口不最多。F (4)?P→?Q,如果俄罗斯不位于南半球,则亚洲人口不最多。F ???? 四、设p,q的真值为0,r,s的真值为1,求下列各命题公式的真值。 (1) p∨(q∧r) ?0∨(0∧1) ?0; (2) (p ?r)∧(┐q∨s) ?(0 ?1)∧(1∨1) ?0; (3) (p∧(q∨r))→((p∨q)∧(r∧s)) ? (0∧(0∨1))→((0∨0)∧(1∧1)) ?1。 五、判断下命题公式的类型,方法不限。 (1) p →(p∨q∨r) ? ┐p∨p∨q∨r ?1(永真); (2) (p→┐p) →┐p?(┐p∨┐p) →┐p?p∨┐p?1(永真); (3) ┐(p→q)∧q ?┐(┐p∨q)∧q ?p∧ ┐q∧q ?0 (永假); (4) (p→q)→(┐q→ ┐p) ? (┐p∨q)→(q∨┐p) ? (p∧ ┐q)∨(q∨┐p) ? (p∨q∨┐p)∧(┐q∨q∨┐p) ?1 六、已知真值函数F,G,H,R的真值表如下所示,分别给出用下列联结词集合中的联结词表示的与F,G,H,R等值的一个命题公式。 真值表 七、设A,B,C为任意的命题公式。(1)已知A?C?B?C,问A?B吗?(2)已知A?C?B?C,问A?B吗?(3)已知┐A?┐B,问A?B吗? 解: (1)不一定。当A?P,B?Q,C?P?Q时, A?C ? B?C,但A?B不成立。 (2)不一定。当A?P?Q,B?P,C?P时, A?C?B?C ,但A?B不成立。 (3)A?B成立。 因为┐A?┐B,所以┐(┐A)? ┐(┐B),即 A?B成立。 八、求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 (1) (P ?(Q ∧R))? (P∧Q∧R) 。 八、求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 (2) ┐ (P ? Q)∧Q∧R 。 九、设P:王冬生于1971年,Q:王冬生于1972年,说明命题“王冬生于1971年或1972年”既可以符号化为“(P∧?Q)∨(? P∧Q)”,又可以符号化为 “P∨Q” 的理由。 十、判断下面论述是否为真:” 是无理数(P)。并且如果3是无理数(Q),则 也是无理数(R)。另外,只有6能被2整除(S),6才能被4整除(W)。 ” 解:命题符号化为
文档评论(0)