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

问题描述:

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

木菜,分给我,我给你讲!