何謂兩個邏輯運算式是有等價(logically equivalence)的關係?(10 分)
假設P(x) 跟Q(x) 是兩個命題函數(propositional function),下列四種邏輯運算式
中,何者是和“¬∃x (P(x) ∨ Q(x))”有等價的關係?(i) ¬∃x P(x) ∧ ¬∃x Q(x),
(ii) ∀x (P(x) ∧ Q(x)),(iii) ∀x (¬P(x) ∧ ¬Q(x)),(iv) ∀x ¬P(x) ∧ ∀x ¬Q(x),若無等價
關係,請舉例說明。(10 分)