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.
