用归结反演法证明:G是否为F的逻辑结论
问题描述:
用归结反演法证明: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是离散数学的运算符号,把它做镜面旋转再识别
木菜,分给我,我给你讲!