سوال ۷۰ کنکور ارشد مهندسی کامپیوتر ۱۴۰۲ — جهت استفاده از روش تجزیه در منطق مرتبه اول، جملۀ منطقی ∀ x(∃ yG(x) ⇒

Question

جهت استفاده از روش تجزیه در منطق مرتبه اول، جملۀ منطقی $\forall x(\exists yG(x) \Rightarrow H(x\,,y)) \vee (\neg\forall yF(x\,,y))$ به کدام جمله زیر باید تبدیل شود؟

Accepted Answer

¬ G(x) ∨ H(x ,f(x)) ∨ ¬ F(x ,g(x))

Answer

¬ G(x) ∨ H(x ,f(x)) ∨ ¬ F(x ,f(x))

Answer

G(x) ∨ ¬ H(x ,f(x)) ∨ ¬ F(x ,g(x))

Answer

(G(x) ⇒ H(x ,f(x))) ∨ ¬ F(x ,f(x))