سوال ۱۰۵ کنکور ارشد علوم کامپیوتر ۱۴۰۰ — «هر کسی که از همهٔ بسکتبالیست‌ها بلندقدتر است از همهٔ فوتبالیست‌ها…

Question

«هر کسی که از همهٔ بسکتبالیست‌ها بلندقدتر است از همهٔ فوتبالیست‌ها بلندقدتر است.»

Accepted Answer

∀ x[ ∀ y(B y → T x y) → ∀ y(F y → T x y) ]

Answer

∀ x[ ∀ y(B y → T x y) ∧ ∀ y(F y → T x y) ]

Answer

∀ x[ ∀ y(B y ∧ T x y) → ∀ y(F y ∧ T x y) ]

Answer

∀ x[ ∀ y(B y ∧ T x y) ∧ ∀ y(F y ∧ T x y) ]