判断(∀.xA(x)→∀xB(x))→∀.x(A(x)→B(x)))是否是永真式

我要回帖

 

随机推荐