谓词逻辑问题帮我证明式子或者用例子来说明,就是将生活中的东西带入.V代表任意，E代表存在。式子是Vx(A(x)->B)E(x)A(x)->B可以互相推出来，即等价。详见北大版离散数学教程第6页

　　谓词逻辑问题

　　帮我证明式子或者用例子来说明,就是将生活中的东西带入.

　　V代表任意，E代表存在。

　　式子是

　　Vx(A(x)->B)E(x)A(x)->B

　　可以互相推出来，即等价。

　　详见北大版离散数学教程第6页