سوال ۱۱۵ کنکور ارشد علوم کامپیوتر ۱۳۹۸ — همه استنتاج‌های زیر درست‌اند، به‌جز:

Question

همه استنتاج‌های زیر درست‌اند، به‌جز:

Accepted Answer

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

Answer

∀ x ∃ y (S(x) → R(x,y)) ⇒ ∀ x (S(x) → ∃ y R(x,y))

Answer

∀ x (S(x) → ∃ y R(x,y)) ⇒ ∀ x ∃ y (S(x) → R(x,y))

Answer

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