在自然推理结构系统p中构造下面用自然语言给出的推理结构

来源：蜘蛛抓取(WebSpider) 时间：2019-12-31 00:55 标签： 推理结构 
在自然推理结构系统P中构造下面嶊理结构的证明 
如果小张和小王去看电影则小李也去看电影； 
小赵不去看电影或小张去看电影；小王去看电影。 
所以当小赵去看电影時，小李也去看电影
全部 
  • 设P：小张去看电影Q：小王去看电影，R：小李去看电影S：小赵去看电影
前提：P∧Q→R，┐S∨PQ
（1）S 附加前提引入
（2）┐S∨P 前提引入
（6）P∧Q→R 前提引入
（7）R （5)(6)假言推理结构
    全部 
  • 小李不去看电影，则小张或小王不去看电影；
小王不去看电影小赵去看电影且小张不去看电影；
所以，小李不去看电影小赵不去看电影；
所以，当小赵去看电影时小李也去看电影
那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀
在一届逻辑自然推理结构系统F中构造下面推理结构的证明(个体域为人类集合)
如果一个人怕困难,那么他就不会获得荿功.每个人或者获得成功,或者曾经失败过.有些人为失败过.所以有些人不怕困难.
求详解(大概的步骤还是要有滴..)

我要回帖

更多关于 推理结构 的文章

 

随机推荐