logik
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
logik [2024/04/07 07:51] – [Sinnzeichen] Robert-Christian Knorr | logik [2024/04/09 05:58] (aktuell) – [Sinnzeichen] Robert-Christian Knorr | ||
---|---|---|---|
Zeile 69: | Zeile 69: | ||
===== Sinnzeichen ===== | ===== Sinnzeichen ===== | ||
* 𝔸 theoretische Allmenge | * 𝔸 theoretische Allmenge | ||
- | * ∀ [[Allquantor]] | + | * ∀ [[Allquantor]] |
+ | * F Bildmenge | ||
+ | * f ∈ F Bildpunkt | ||
* ∈ Element-Zeichen | * ∈ Element-Zeichen | ||
* ∃ "es gibt mindestens ein" | * ∃ "es gibt mindestens ein" | ||
* ∌ enthält nicht als Element | * ∌ enthält nicht als Element | ||
* ↺ Gegensinn | * ↺ Gegensinn | ||
+ | * ∘ Hintereinanderausführung, | ||
* |{a,b}| = 2 [[Mächtigkeit]] | * |{a,b}| = 2 [[Mächtigkeit]] | ||
* ∅ leere Menge | * ∅ leere Menge | ||
Zeile 87: | Zeile 90: | ||
* ∪ Untermenge | * ∪ Untermenge | ||
* \ Unterschiedsmenge resp. Mengendifferenz erzeugend | * \ Unterschiedsmenge resp. Mengendifferenz erzeugend | ||
+ | * M Urmenge | ||
+ | * m ∈ M Urpunkt | ||
* ¬ (z ∈ X) Verneiner, daß z ein Element von X ist; auch z ∉ X | * ¬ (z ∈ X) Verneiner, daß z ein Element von X ist; auch z ∉ X | ||
* → Zuordnung, Beziehung oder Zusammenhang | * → Zuordnung, Beziehung oder Zusammenhang | ||
* ⇒ drittwirksame | * ⇒ drittwirksame | ||
+ | ==== Relationen ==== | ||
+ | |||
+ | - sechzehn Variationen, | ||
+ | - ∧ UND | ||
+ | - ∨ ODER | ||
+ | - ≠ ⇎ ausschließlich oder XOR, Antivalenz | ||
+ | - ¬ NICHT | ||
+ | - ¬(∧) NICHT UND - Umkehrung des Wahrheitswertes | ||
+ | - ¬(∨) NICHT ODER | ||
+ | - ¬(⇎) = ⇔ | ||
logik.1712469076.txt.gz · Zuletzt geändert: 2024/04/07 07:51 von Robert-Christian Knorr