c++-離散數學問題：證明等價性。

離散數學問題：證明等價性。

∀x(P(x)→A)≡∃xP(x)→A 。A中不含自由變量x，為什麼左邊不可以化成∀x(P(x)）→A？

最佳回答：

前者是對任意的x滿足P(x)→A，意思是P(x)→A恆為真；而後者是對任意的x滿足P(x)，而後有P(x)→A，其真假性由A決定。