سوال ۹۴ کنکور ارشد علوم کامپیوتر ۱۴۰۲ — فرض کنیم: J(x) : x جنگل است A(x) : x حیوان است B(x,y) : x متعلق به y…

Question

فرض کنیم: J(x) : x جنگل است A(x) : x حیوان است B(x,y) : x متعلق به y است S(x,y) : x قوی‌تر از y است کدام گزینه بهترین ترجمه برای عبارت زیر است؟ «هر جنگل حیوانی دارد که از تمام حیوانات آن جنگل قوی‌تر است.»

Accepted Answer

∀ x[ J(x) → ∃ y(A(y) ∧ B(y,x) ∧ ∀ z(A(z) ∧ B(z,y) → S(y,z)))]

Answer

∀ x[ J(x) ∧ ∃ y(A(y) ∧ B(y,x) ∧ ∀ z(A(z) ∧ B(z,y) → S(y,z)))]

Answer

∀ x[ J(x) ∧ ∃ y(A(y) ∧ B(x,y) ∧ ∀ z(A(z) ∧ B(y,z) → S(y,z)))]

Answer

∀ x[ J(x) → ∃ y(A(y) ∧ B(y,x) ∧ ∀ z(A(z) ∧ B(z,y) ∧ S(y,z)))]