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