سوال ۱۱۲ کنکور ارشد علوم کامپیوتر ۱۳۹۸ — نقیض سور (∃x)[p(x) → (q(x) ∧ r(x)) ] کدام است؟

Question

نقیض سور (∃x)[p(x) → (q(x) ∧ r(x)) ] کدام است؟

Accepted Answer

(∀x)[p(x) ∧ (~ q(x) ∨ ~ r(x))]

Answer

(∀x)[~ p(x) ∨ ~ q(x) ∨ ~ r(x)]

Answer

(∀x)[~ p(x) → ~ q(x) ∨ ~ r(x)]

Answer

(∀x)[p(x) → ~ q(x) ∨ ~ r(x)]