头条考试网作业帮,慧海网手机教育考试作业频道
用归结反演法证明:G是否为F的逻辑结论F:(Ex)(Ey)(P(f(x)) ︿Q(f(b)))G:P(f(a))︿P(y)︿Q(y)注:E是离散数学的运算符号,把它做镜面旋转再识别
来源:学生作业帮助网 编辑:
作业帮
时间:2024/09/17 04:35:32
xPj`}%dtX]Vi bA"H!P:T/e