In jeder zweiwertigen Logik ist die Aussage „''A'' oder ''nicht A''“ für jedes ''A'' wahr, sie ist also eine ''Tautologie.''
{{K|Logik}} Aussage, die aus ''formalen'' Gründen immer wahr ist, unabhängig von den Wahrheitswerten der in ihr vorkommenden Variablen