سوال ۱۰۶ کنکور ارشد علوم کامپیوتر ۱۴۰۰ — کدام گزینه در مورد دو استدلال زیر درست است؟ (الف) مقدمه‌ها: ¬(s∧ t)…

Question

کدام گزینه در مورد دو استدلال زیر درست است؟

(الف) مقدمه‌ها: $\neg(s\wedge t)$ ،\ $\neg w\to t$ . نتیجه: $\therefore\ s\to w$ .

(ب) مقدمه‌ها: $\neg(\neg p\vee q)$ ،\ $\neg z\to\neg s$ ،\ $(p\wedge\neg q)\to s$ ،\ $\neg z\vee r$ . نتیجه: $\therefore\ r$ .

Accepted Answer

هر دو معتبر

Answer

هر دو نامعتبر

Answer

(الف) معتبر ولی (ب) نامعتبر

Answer

(ب) معتبر ولی (الف) نامعتبر