steht das Negationszeichen für den Term „Es ist nicht so, dass _“ und ein aussagelogischer Satz ¬p, dessen Hauptjunktor ein Negationszeichen ist, wird...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

„Negation“ (a) der sprachliche Ausdruck der Verneinung (zum Beispiel das Negationszeichen „¬“ oder die Formulierung „es ist nicht der Fall, dass …“), (b) seine...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Sinne der Aussagenlogik ist es eine Elementaraussage. → Hauptartikel: Negationszeichen Die Verneinung bzw. Negation (auch: Satzverneinung, äußere Verneinung...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃ Leere Menge ∅ Logik Folgepfeil ⇒, ⇔, ⇐ Allquantor ∀ Existenzquantor ∃ Konjunktion, Disjunktion ∧, ∨ Negationszeichen ¬...

nicht-ableitbaren Ausdruck gibt. Besitzt die zu Grunde gelegte Sprache das Negationszeichen (wie in der klassischen oder der intutionistischen Logik), so lässt...

verallgemeinerten Bedeutung als Ableitungsrelation. Ferner kann das heute übliche Negationszeichen ¬ {\displaystyle \neg } , das Arend Heyting 1930 einführte (ursprünglich...