نفي العبارة المسورة

من الملخص

قواعد نفي العبارات المسورة

لنفي عبارة مسورة كلياً: $~(∀ س: ق(س)) ≡ ∃ س: ~ق(س)$. لنفي عبارة مسورة جزئياً: $~(∃ س: ق(س)) ≡ ∀ س: ~ق(س)$. لاحظ أن النفي يؤثر على السور (يقلبه) وعلى العبارة المفتوحة (ينفيها). سؤال سريع: ماذا يحدث للسور الجزئي عند نفي العبارة؟

سؤال من بنك الأسئلة

ما هو نفي العبارة المسورة كلياً $\forall x: P(x)$؟

• $\forall x: \sim P(x)$
• $\exists x: \sim P(x)$
• $\exists x: P(x)$
• $\sim \exists x: P(x)$

موضوعات أخرى في الوحدة