注意:此页面搜索的是所有试题
xA(x)→xB(x) 的前束范式为 x(﹁A(x)∨B(x))

参考答案