字典翻译 问答 高中 数学 用归结反演法证明:G是否为F的逻辑结论F:(Ex)(Ey)(P(f(x))︿Q(f(b)))G:P(f(a))︿P(y)︿Q(y)注:E是离散数学的运算符号,把它做镜面旋转再识别
问题标题:
用归结反演法证明:G是否为F的逻辑结论F:(Ex)(Ey)(P(f(x))︿Q(f(b)))G:P(f(a))︿P(y)︿Q(y)注:E是离散数学的运算符号,把它做镜面旋转再识别
问题描述:

用归结反演法证明:G是否为F的逻辑结论

F:(Ex)(Ey)(P(f(x))︿Q(f(b)))

G:P(f(a))︿P(y)︿Q(y)

注:E是离散数学的运算符号,把它做镜面旋转再识别

顾进广回答:
  木菜,分给我,我给你讲!
点击显示
数学推荐
热门数学推荐
  • 语文
  • 数学
  • 英语
  • 政治
  • 地理
  • 历史
  • 化学
  • 生物
  • 物理
  • 综合
  • 高考