سوال ۹۵ کنکور ارشد علوم کامپیوتر ۱۴۰۴ — فرض کنید: A(x) : x یک کاربر است C(x) : x به سرور وصل شده است R(x,y)…

Question

فرض کنید: A(x) : x یک کاربر است C(x) : x به سرور وصل شده است R(x,y) : x، y را دریافت می‌کند k(x) : x پیام کدگذاری شده است کدام مورد بهترین ترجمه برای عبارت زیر در منطق سورها است؟ «کاربرانی که به سرور متصل شده باشند، همه پیام‌های کدگذاری شده را دریافت می‌کنند.»

Accepted Answer

∀ x[A(x)∧ C(x)→ ∀ y(k(y)→ R(x,y))]

Answer

∀ x[(A(x)∧ C(x))→ ¬∀ y(k(y)→ R(x,y))]

Answer

∀ x[A(x)→ ∀ y(k(y)∧ R(x,y)→ C(x))]

Answer

∀ x[A(x)∧ ∃ y(k(y)∧ ¬ R(x,y))→ ¬ C(x)]