当前位置 :
用归结反演法证明:G是否为F的逻辑结论F:(Ex)(Ey)(P(f(x))︿Q(f(b)))G:P(f(a))︿P(y)︿Q(y)注:E是离散数学的运算符号,把它做镜面旋转再识别
更新时间:2023-09-23 00:01:47
1人问答
问题描述:

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

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

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

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

顾进广回答:
  木菜,分给我,我给你讲!
数学推荐
最新更新