سوال ۹۸ کنکور ارشد علوم کامپیوتر ۱۴۰۳ — فرض کنیم: K(x) : x کارخانه است C(x) : x خودرو است P(x) : x شخص است…

Question

فرض کنیم: K(x) : x کارخانه است C(x) : x خودرو است P(x) : x شخص است H(x) : x پلاک فعال دارد S(x,y,z) : x ، y را به z می‌فروشد کدام مورد، ترجمه صحیح عبارت زیر است: «کارخانه‌ای هست که فقط به افرادی که پلاک فعال ندارند، خودرو می‌فروشد.»

Accepted Answer

∃ x [ K(x) ∧ ∀ y, z (C(y) ∧ S(x,y,z) → P(z) ∧ ¬ H(z))]

Answer

∀ x [ K(x) → ∀ y, z (P(z) ∧ ¬ H(z) → C(y) ∧ S(x,y,z))]

Answer

∀ x [ K(x) → ∀ y, z (C(y) ∧ S(x,y,z) → P(z) ∧ ¬ H(z))]

Answer

∃ x [ K(x) ∧ ∀ y, z (P(z) ∧ ¬ H(z) → C(y) ∧ S(x,y,z))]