当前位置 :
【那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀在一届逻辑自然推理系统F中构造下面推理的证明(个体域为人类集合)如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功,】
更新时间:2024-04-26 16:02:19
1人问答
问题描述:

那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀

在一届逻辑自然推理系统F中构造下面推理的证明(个体域为人类集合)

如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功,或者曾经失败过.有些人为失败过.所以有些人不怕困难.

求详解(大概的步骤还是要有滴..)

牛军涛回答:
  已知条件有误,“有些人为失败过”貌似应该是“有些人没有失败过”?-----------------------------------------------------以下以A表示全称量词,E表示存在量词,┐表示否定联结词设F(x):x怕困难,G(x):x获得成功,H(x...
数学推荐
最新更新
我查吗(wochama.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 我查吗 wochama.com 版权所有 闽ICP备2021002822号-4