سوال ۴۲ کنکور ارشد علوم کامپیوتر ۱۳۹۸ — کدام گزاره درست است؟

Question

کدام گزاره درست است؟

Accepted Answer

∀ x (p(x) ∨ q(x)) ⇒ ∀ x p(x) ∨ ∃ x q(x)

Answer

∀ x ∃ y p(x,y) ⇒ ∃ y ∀ x p(x,y)

Answer

∀ x (p(x) ∨ q(x)) ⇒ ∀ x p(x) ∨ ∀ x q(x)

Answer

(∃ x p(x) ∧ ∃ x q(x)) ⇒ ∃ x (p(x) ∧ q(x))