Отрицание кванторов

Определение. ¬(∀x: P(x)) ≡ ∃x: ¬P(x); ¬(∃x: P(x)) ≡ ∀x: ¬P(x). При отрицании ∀ и ∃ меняются местами, свойство отрицается. Ключевой навык строгой математики (отрицание определения предела).

В каких главах встречается

• Множества, логика и язык математики: от интуиции к доказательству

Связанные концепты

Требуются перед изучением:

• Квантор