Akademik
logisch wahr
l
o
gisch wahr,
Tautolog
ie
,
in der
Logik
eine
Aussageform
, die für alle Belegungen der in ihr auftretenden Aussagenvariablen mit Wahrheitswerten den Wahrheitswert wahr ergibt.
Beispiel:
A
∨ ¬
A
, ¬ (
A
∧ ¬
A
).
Universal-Lexikon
.
2012
.