Benutzer-Werkzeuge

Webseiten-Werkzeuge


logik

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen RevisionVorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Letzte ÜberarbeitungBeide Seiten der Revision
logik [2019/11/02 07:52] Robert-Christian Knorrlogik [2024/04/08 17:46] – [Sinnzeichen] Robert-Christian Knorr
Zeile 66: Zeile 66:
 - Aufgabe des Zweideutigkeitsprinzips\\ - Aufgabe des Zweideutigkeitsprinzips\\
 - entscheidend sind die Vergleichskriterien - entscheidend sind die Vergleichskriterien
 +
 +===== Sinnzeichen =====
 +  * 𝔸 theoretische Allmenge
 +  * ∀ [[Allquantor]] → ∀ m ∈ M ∃ f ∈ F : (m,f) ∈ g (Für alle Elemente der Quelle m ∈ M gibt es mindestens einen Wert f ∈ F des Ziels, mit dem sie ein geordnetes Paar bilden.)
 +  * F Bildmenge
 +  * f ∈ F Bildpunkt
 +  * ∈ Element-Zeichen
 +  * ∃ "es gibt mindestens ein"
 +  * ∌ enthält nicht als Element
 +  * ↺ Gegensinn
 +  * ∘ Hintereinanderausführung, Kombination R ∘ C, zuerst R ausführen, dann C
 +  * |{a,b}| = 2 [[Mächtigkeit]]
 +  * ∅ leere Menge
 +  * M ∈ 𝔓{a,...,z} veränderliche Menge |{a,b}| = 2, |𝔓{a,b}| = |{0, {a},{b},X}| = 4 = 2x2 = 2²
 +  * { ... } Mengenklammern
 +  * 𝔓{a,b} Potenzmenge aller Teilmengen der Menge {a,b}
 +  * R ⊂ (A × B) Relation
 +  * ∩ Schnitt von Mengen {2,3,5,7} ∩ {2,4,6,8} = {2} (Schnittmenge aus den geraden Zahlen zwischen 1 und 9 und demn Primzahlen zwischen 1 und 9
 +  * ⊂ Teilmenge; Reflexivität A ⊂ A 
 +  * A:={a,...,d} Übertragung, Zuweisung
 +  * ↻ Uhrzeigersinn 
 +  * R⁻¹ ⊂ (A × B)⁻¹ = B × A Umkehrrelation
 +  * ∪ Untermenge
 +  * \ Unterschiedsmenge resp. Mengendifferenz erzeugend
 +  * M Urmenge
 +  * m ∈ M Urpunkt
 +  * ¬ (z ∈ X) Verneiner, daß z ein Element von X ist; auch z ∉ X
 +  * → Zuordnung, Beziehung oder Zusammenhang
 +  * ⇒ drittwirksame  Zuordnung von A zu C: A ⇒ B ⇒ C  
  
  
logik.txt · Zuletzt geändert: 2024/04/09 05:58 von Robert-Christian Knorr