《应用离散数学》方景龙版24谓词公式的推理演算文档格式.docx
- 文档编号:19055996
- 上传时间:2023-01-03
- 格式:DOCX
- 页数:13
- 大小:16.87KB
《应用离散数学》方景龙版24谓词公式的推理演算文档格式.docx
《《应用离散数学》方景龙版24谓词公式的推理演算文档格式.docx》由会员分享,可在线阅读,更多相关《《应用离散数学》方景龙版24谓词公式的推理演算文档格式.docx(13页珍藏版)》请在冰豆网上搜索。
G(a)
(5)①P(a)Ù
G(b)
(6)①P(y)®
(2)①"
x(P(x)®
Q(x))
(3)①P(x)®
$xQ(x)P规则
US规则:
①P规则
ES规则:
UG规则:
EG规则:
①②"
G(x))
②$x(P(x)Ù
②$x(P(c)®
3.指出下面演绎推理中的错误,并给出正确的推导过程。
x$y(x>
y)
(2)$y(z>
(3)z>
a
(5)a>
(4)"
x(x>
a)P规则
(1)ES规则:
(2)UG规则:
(3)US规则:
(4)解错误出现在步骤
(3)。
因为$y(z>
中含有自由变元,所以不能使用ES规则得到z>
。
正确的推导过程为:
y)P规则
(1)4.指出下面演绎推理中的错误,并给出正确的推导过程。
(2)P(y)®
(3)$xP(x)
(4)P(y)
(5)Q(y)
(6)$xQ(x)P规则
(1)P规则
(3)T规则:
(2),
(4)EG规则:
(5)解错误出现在步骤
(4)。
使用ES规则得到的P(y)
中的y
已经出现在前面的公式中,所以错误,正确的推导过程为:
(4)P(a)
5.用演绎法证明下列推理式
(3)"
证明
(1)式的证明:
(1)$xA(x)
(2)A(a)附加前提
(1),US规则
P规则
(3),US规则
(4),T规则
(5),EG规则
(3)
(4)A(a)®
B(a)
(5)B(a)
(6)$xB(x)
根据附加前提法知"
(2)式的证明:
(1)Ø
(2)"
x(A(x)Ù
Ø
xA(x)Ù
xØ
B(x)
xA(x)
(5)A(a)附加前提
(1),E规则
(2),E规则
(3),T规则
(4),US规则
(6)$xA(x)
(8)$xB(x)
(9)B(b)
(11)Ø
B(b)
(6),
(7),T规则
(8),ES规则
(10),US规则
(9),
(11),T规则
(12),E规则
(7)$xA(x)®
(10)"
(12)B(a)Ù
(13)0
所以根据附加前提法知$xA(x)®
(2)A(y)
(3)式的证明:
附加前提
(4)A(y)®
B(y)
(5)B(y)
所以根据附加前提法知"
(4)式的证明略。
6.用演绎法证明下列推理式
(1)$xP(x)®
y((P(x)Ú
Q(y))®
R(y)),$xP(x)Þ
$xR(x)
,$xP(x)Þ
$x(P(x)Ù
R(x))
(Q(x)Ù
R(x)))
x(P(x)Ú
Q(x)),Ø
$xQ(x)Þ
$xP(x)
Q(x)),"
x(Ø
Q(x)Ú
R(x)),"
xR(x)Þ
xP(x)
(1)$xP(x)
(2)P(a)P规则
(1),ES规则
(3),E规则
(3)Ø
P(x)Ú
(5)Ø
P(a)Ú
R(a)
(6)Ø
(5),T规则
(7)"
(8)P(a)®
(Q(a)Ù
R(a))
(9)Q(a)Ù
R(y)
(10)R(a)
据附加
(7),US规则
(8),T规则
(9),T规则
(10),T规则
(11),E规则
前提法知
(11)R(a)Ù
(12)0
所以根
R(x))),$xP(x)Þ
(4)式的证明:
(2)Ø
Q(y)Ú
xR(x)
(4)R(y)
Q(y)P规则
(5),
(8),UG规则
(7)P(y)Ú
(8)P(y)
(9)"
(1),
(3)式的证明略。
7.将下列命题符号化,并用演绎推理法证明其结论是有效的。
(1)有理数、无理数都是实数;
虚数不是实数。
因此,虚数既不是有理数,也不是无理数。
(个体域取全总个体域)
(2)所有的舞蹈者都很有风度;
万英是个学生并且是个舞蹈者。
因此,有些学生很有风度。
(个体域取人类全体组成的集合)
(3)每个喜欢步行的人都不喜欢骑自行车;
每个人或者喜欢骑自行车或者喜欢乘汽车;
有的人不喜欢乘汽车。
所以有的人不喜欢步行。
(4)每个旅客或者坐头等舱或者坐经济舱;
每个旅客当且仅当他富裕时坐头等舱;
有些旅客富裕但并非所有的旅客都富裕。
因此有些旅客坐经济舱。
(个体域取全体旅客组成的集合)解
(1),
(2)略。
(3)命题符号化为:
F(x):
x
喜欢步行,G(x):
喜欢骑自行车,H(x):
喜欢坐汽车。
前提:
x(F(x)®
,"
x(G(x)Ú
H(x))
,$x(Ø
结论:
$x(Ø
F(x)).①$x(Ø
②Ø
H(c)
③"
④G(c)Ú
⑤G(c)
⑥"
⑦F(c)®
G(c)
⑧Ø
F(c)
⑨$x(Ø
F(x))P规则
①,ES规则
③,US规则
②,④,T规则
⑥,US规则
⑤,⑦,T规则
⑧,EG规则
(4)命题符号化为:
坐头等舱,G(x):
坐经济舱,H(x):
富裕。
x(F(x)Ú
x(F(x)«
,$xH(x)Ù
$xØ
H(x)
$xG(x).①$xH(x)Ù
③Ø
④"
⑤F(c)«
⑥Ø
⑦"
⑧F(c)Ú
⑨G(c)
⑩$xG(x)
8.令谓词P(x)
、Q(x)
和R(x)
分别表示“x
是教授”,“x
无知”和“x
爱虚荣”,个体域为所有人的集合。
用P(x)
、R(x)
、量词和逻辑联接词符号化下列语句。
(1)没有无知的教授。
(2)所有无知者均爱虚荣。
(3)没有爱虚荣的教授。
请问,能从
(1)和
(2)推出
(3)吗?
若不能,请写出
(2)的一个有效结论,P规则
②$xØ
①,T规则
②,ES规则
④,US规则
③,⑤,T规则
⑦,US规则
⑥,⑧,T规则
⑨,EG规则
并用演绎推理法证明之。
9.令谓词P(x)
和S(x)
是婴儿”,“x
的行为符合逻辑”、Q(x)
、S(x)
、“x
能管理鳄鱼”和“x
被人轻视”,个体域为所有人的集合。
用P(x)、量词和逻辑联接词符号化下列语句。
(1)婴儿行为不合逻辑。
(2)能管理鳄鱼的人不被人轻视。
(3)行为不合逻辑的人被人轻视。
(4)婴儿不能管理鳄鱼。
(1)、
(2)和
(3)推出
(4)吗?
(3)的一个有效结论,并用演绎推理法证明之。
解四个语句符号化为:
Q(x)®
S(x))
x(R(x)®
能从
(1)、
(2)、
证明如下:
(4)Ø
Q(y)®
S(y)
(5)P(y)®
S(x))P规则
(6),US规则
(9),UG规则
(7)R(y)®
(9)P(y)®
(8)S(y)®
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 应用离散数学 应用离散数学方景龙版24 谓词公式的推理演算 应用 离散数学 方景龙版 24 谓词 公式 推理 演算