当前位置 :
离散数学问题,谓词逻辑问题,求解,谢谢!先符号化下述命题,再推出其结论.(8分)如果一个人怕困难就不会获得成功.每一个人或者是获得成功的,或者是失败的.有的人没有失败.所以,存在着不
1人问答
更新时间:2024-05-14 14:07:58
问题描述:

离散数学问题,谓词逻辑问题,求解,谢谢!

先符号化下述命题,再推出其结论.(8分)

如果一个人怕困难就不会获得成功.每一个人或者是获得成功的,或者是失败的.有的人没有失败.所以,存在着不怕困难的人.(个体域是人的集合)

罗亚松回答:
  以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))证明:1Ex(┐H(x))2┐H(c)1EI3Ax(G(x)∨H(x))4...
数学推荐
最新更新
热门数学
PC端 | 移动端 | mip端
问答网(wenda2.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:联系方式:

Copyright©2009-2021 问答网 wenda2.com 版权所有 闽ICP备2022000227号-1