离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式
2014-06-16
展开全部
一般用真值表或者是等价变换,,,我看不太懂你写的什么,但是方法可以用这个。。
追答
注意这里是一阶逻辑。
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询
注意这里是一阶逻辑。
类别
我们会通过消息、邮箱等方式尽快将举报结果通知您。
说明
0/200