当前位置 :
谓词逻辑问题帮我证明式子或者用例子来说明,就是将生活中的东西带入.V代表任意,E代表存在。式子是Vx(A(x)->B)E(x)A(x)->B可以互相推出来,即等价。详见北大版离散数学教程第6页
1人问答
更新时间:2024-04-27 02:03:07
问题描述:

谓词逻辑问题

帮我证明式子或者用例子来说明,就是将生活中的东西带入.

V代表任意,E代表存在。

式子是

Vx(A(x)->B)E(x)A(x)->B

可以互相推出来,即等价。

详见北大版离散数学教程第6页

李东栋回答:
  等价式子尤其是逻辑证明里面很好用的一个方法就是用一条定理:原命题和逆否命题是等价的.   所以你可以直接把原命题逆否即可,记得E的否是V,V的否是E即可.   具体例子的话,我举一个:在地球上,V一个生命体->检测它的集体化学成分含有碳基   检测化学成分不含有碳基-->E一个非生命体
最新更新
热门数学
PC端 | 移动端 | mip端
问答网(wenda2.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:联系方式:

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