爱问 爱问共享资料 医院库

离散数学,利用一阶逻辑推理的方法证明:∃x(P(x)→Q(x))=>∀xP(x)→∃xQ(x)

首页

离散数学,利用一阶逻辑推理的方法证明:∃x(P(x)→Q(x))=>∀xP(x)→∃xQ(x)


        

提交回答

全部答案

    2017-10-12 12:10:00
  • 用附加前提证明法前提:∃x(P(x)→Q(x)),∀xP(x)结论:∃xQ(x)证明:1、∀xP(x)2、P(a)3、∃x(P(x)→Q(x))4、P(a)→Q(a)5、Q(a)6、∃xQ(x)

    汪翠林

    2017-10-12 12:10:00

  • 美食/烹饪 相关知识

  • 生活
  • 日常生活

相关推荐

正在加载...

爱问推荐

  • 1-20
  • 21-40
  • 41-60
  • 61-80
  • 81-100
  • 101-120
  • 121-140
  • 141-160
  • 161-180
  • 181-200

相关资料

热点检索

  • 1-20
  • 21-40
  • 41-60
  • 61-80
  • 81-100
  • 101-120
  • 121-140
  • 141-160
  • 161-180
  • 181-200
返回
顶部
帮助 意见
反馈
关注
爱问

关注爱问微信公众号,开启知识之旅,随时随地了解最新资讯。

确定举报此问题

举报原因(必选):