那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:语文作业 时间:2024/08/12 10:04:34
那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀
在一届逻辑自然推理系统F中构造下面推理的证明(个体域为人类集合)
如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功,或者曾经失败过.有些人为失败过.所以有些人不怕困难.
求详解(大概的步骤还是要有滴..)
在一届逻辑自然推理系统F中构造下面推理的证明(个体域为人类集合)
如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功,或者曾经失败过.有些人为失败过.所以有些人不怕困难.
求详解(大概的步骤还是要有滴..)
![那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀](/uploads/image/z/4563186-42-6.jpg?t=%E9%82%A3%E4%B9%88%E4%B8%80%E9%81%93%E7%AE%80%E5%8D%95%E7%9A%84%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E8%AF%81%E6%98%8E%E9%A2%98%E5%93%A6%7E%E5%85%84%E5%BC%9F%E5%A7%90%E5%A6%B9%E4%BB%AC%E5%BF%AB%E6%9D%A5%E6%8D%A1%E5%88%86%E5%91%80)
已知条件有误,“有些人为失败过”貌似应该是“有些人没有失败过”?
-----------------------------------------------------
以下以A表示全称量词,E表示存在量词,┐表示否定联结词
设F(x):x怕困难,G(x):x获得成功,H(x):x失败
前提:Ax(F(x)→┐G(x)),Ax(G(x)∨H(x)),Ex(┐H(x))
结论:Ex(┐F(x))
证明:
1 Ex(┐H(x))
2 ┐H(c)
3 Ax(G(x)∨H(x))
4 G(c)∨H(c)
5 G(c)
6 Ax(F(x)→┐G(x))
7 F(c)→┐G(c)
8 ┐F(c)
9 Ex(┐F(x))
-----------------------------------------------------
以下以A表示全称量词,E表示存在量词,┐表示否定联结词
设F(x):x怕困难,G(x):x获得成功,H(x):x失败
前提:Ax(F(x)→┐G(x)),Ax(G(x)∨H(x)),Ex(┐H(x))
结论:Ex(┐F(x))
证明:
1 Ex(┐H(x))
2 ┐H(c)
3 Ax(G(x)∨H(x))
4 G(c)∨H(c)
5 G(c)
6 Ax(F(x)→┐G(x))
7 F(c)→┐G(c)
8 ┐F(c)
9 Ex(┐F(x))