命题符号化

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

命题符号化

(1) 杭州不是中国的首都。

(2) 张三虽然学习努力但成绩并不优秀。

解 (1) 令P:杭州是中国的首都。

则命题“杭州不是中国的首都”符号化为:┐P

(2) 令P:张三学习努力。Q:张三成绩优秀。

则命题“张三虽然学习努力但成绩并不优秀。”

符号化为:P∧┐Q。

合取运算特点:只有参与运算的二命题全为真时,运算结果才为真,否则为假。自然语言中的表示“并且”意思的联结词,如“既…又…”、“不但…而且…”、“虽然…但是…”、“一面…一面…”等都可以符号化为∧。注意:不要见到“与”或“和”就使用联结词∧!

下列命题符号化

(1) 北京不仅是中国的首都而且是一个故都

p:北京是中国的首都。 q:北京是一个故都。

p∧q:北京是中国的首都并且是一个故都。

(2)牛启飞和林妹妹是好朋友

P:牛启飞和林妹妹是好朋友

(3) 王晓既用功又聪明.

(4) 王晓不仅聪明,而且用功.

(5) 王晓虽然聪明,但不用功.

(6) 张辉与王丽都是三好生.

(7) 张辉与王丽是同学.

解令 p:王晓用功,q:王晓聪明,则

(3) p∧q

(4) p∧q

(5) p∧

令 r : 张辉是三好学生,s :王丽是三好学生

(6) r∧s.

(7) 令 t : 张辉与王丽是同学,

t 是简单命题 .

设p,q为二命题,复合命题“p或q”称为p与q的析取式,记作p ∨ q,符号∨称为析取联结词。

将下列命题符号化

(1) 2或4是素数.

(2) 2或3是素数.

(3) 4或6是素数.

(4) 小元元只能拿一个苹果或一个梨.

(5) 王晓红生于1975年或1976年.

解令 p: 2是素数, q: 3是素数, r: 4是素数, s: 6是素数

则 (1), (2), (3) 均为相容或.

分别符号化为: p∨r ,p∨q,r∨s,它们的真值分别为 1, 1, 0. 而 (4),(5)为排斥或.

令 t :小元元拿一个苹果,u:小元元拿一个梨,

则 (4) 符号化为 (t∧∨∧u).

令v :王晓红生于1975年,w:王晓红生于1976年,则 (5) 符号化为(v∧w)∨(v∧w)

相关文档
最新文档