سوال ۹۴ کنکور ارشد علوم کامپیوتر ۱۴۰۵ — فرض کنید S(x) : x ورزشکار است. M(x) : x مربی است. E(x, y) : x مورد…

Question

فرض کنید S(x) : x ورزشکار است. M(x) : x مربی است. E(x, y) : x مورد اعتماد y است. کدام مورد بهترین ترجمه برای عبارت زیر است: «هرکسی مورداعتماد ورزشکاران است، مورداعتماد حداقل یک مربی است.»

Accepted Answer

∀ x(∀ y(S(y) → E(x, y)) → ∃ z(M(z) ∧ E(x, z)))

Answer

∀ x(∀ y(S(y) ∧ E(x, y)) → ∃ z(M(z) ∧ E(x, z)))

Answer

∀ x(∀ y(S(y) → E(x, y)) → ∃ z(M(z) → E(x, z)))

Answer

∀ x(∀ y(S(y) ∧ E(x, y)) → ∃ z(M(z) → E(x, z)))