离散数学第2章谓词逻辑新.pptVIP

(3)a)所有有理数是实数，某些有理数是整数，因此某些实数是整数。 设Q(x):x是有理数，R(x):x是实数， I(x):x是整数。 ?x(Q(x)→R(x)), ?x(Q(x)∧I(x)) ? ?x(R(x)∧I(x)) ⑴ ?x(Q(x)∧I(x)) P ⑵ Q(a)∧I(a) ES⑴ ⑶ Q(a) T ⑵ I ⑷ I(a) T ⑵ I ⑸ ?x(Q(x)→R(x)) P ⑹ Q(a)→R(a) US ⑸ ⑺ R(a) T ⑶⑹ I ⑻ R(a)∧I(a) T ⑷⑺ I ⑼ ?x(R(x)∧I(x)) EG⑻ b)任何人如果他喜欢步行，他就不喜欢乘汽车；每个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行车，因此有的人不爱步行。 设 论域:{人}; W(x): x是喜欢步行; C(x): x喜欢乘汽车; B(x): x喜欢骑自行车 符号化表达为: ?x(W(x)→?C(x)), ?x(C(x)∨B(x)), ?x?B(x) ? ?x?W(x) ?x(W(x)→?C(x)), ?x(C(x)∨B(x)), ?x?B(x) ? ?x?W(x) ⑴ ?x?B(x) P ⑵ ?B(a) ES⑴ ⑶ ?x(C(x)∨B(x)) P ⑷ C(a)∨B(a) US⑶ ⑸ C(a) T⑵⑷ I ⑹ ?x(W(x)→?C(x)) P ⑺ W(a)→?C(a) US⑹ ⑻ ?W(a) T⑸⑺I ⑼ ?x?W(x) EG⑻ c)每个大学生不是文科生就是理工科生，有的大学生是优等生，小张不是理工科生，但他是优等生，因此如果小张是大学生，他就是文科生。 设 A(x): x是大学生, B(x): x是文科生, C(x): x是理工科生，D(x): x是优等生, a: 小张 ?x(A(x)→(?B(x)→C(x))), ?x(A(x)∧D(x)), ?C(a)∧D(a) ? A(a)→B(a) ?x(A(x)→(?B(x)→C(x))),?x(A(x)∧D(x)) ?C(a)∧D(a) ? A(a)→B(a) ⑴ A(a) P(附加前提) ⑵ ?x(A(x)→(?B(x)→C(x))) P ⑶ A(a)→(?B(a)→C(a)) US ⑵ ⑷ ?B(a)→C(a)) T ⑴⑶I ⑸ ?C(a)∧D(a) P ⑹ ?C(a) T ⑸I ⑺ ??B(a) T ⑷⑹ I ⑻ B(a) T ⑺ E ⑼ A(a)→B(a) CP 例4. 一些病人喜欢所有医生；任何病人都不喜欢庸医；所以没有医生是庸医。 设: P(x): x是病人, D(y): x是医生, Q(y): x是庸医, L(x,y): x喜欢y. 符号化为： ?x(P(x)∧?y(D(y)→L(x,y)))， ?x(P(x)→?y(Q(y)→?L(x,y))) ???y(D(y)∧Q(y)) ?x(P(x)∧?y(D(y)→L(x,y)))，?x(P(x)→?y(Q(y)→?L(x,y))) ? ??y(D(y)∧Q(y)) ⑴