Was bedeutet dieser Ausdruck?
A ∨ A
Semantisch das gleiche wie A ∨ A ∨ A.
Was wird damit ausgedrückt? Sinn? Logik?
Wenn ich setze: A = Bier
Bier oder Bier
Welchen Sinn macht das?
Wenn das A eine Aussage ist, dann bedeutet A v A die Oder-Verbindung
von A mit sich selbst. Da in der Logik das "oder" immer das "einschließende oder"
(deshalb v wie lat. vel ) ist, heißt das: Eine oder Verbindung ist immer wahr,
wenn mindestens einer der Ter Teile wahr ist, also hat AvA
immer den gleichen Wahrheitswert wie A selbst, also AvA=A.
Danke. Welchen Sinn macht das Ganze? Wozu braucht man so etwas?
Beispiel?
Das alleine braucht man wohl eher nicht, aber etwa im Zusammenhang
mit der sog. Schaltalgebra kann man durch Anwendung dieses ( und noch
einer Reihe anderer) Gesetze manche Schaltungen vereinfachen.
Die Gesetze der Schaltalgebra und der formalen Logik
entsprechen sich.
siehe auch https://www.mathelounge.de/133842/aussagenlogik-ausdruck-vereinfachen-ba-ba-ca-ba
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
