Eine Aussagenform ist allgemeingültig, wenn bei jeder Belegung der Aussagenform eine wahre Aussage entsteht.
Beispiel \(\left(a \rightarrow b\right) \Leftrightarrow \neg a \vee b\)
Beispiel in Worten: Die Aussage ?Wenn es regnet, bleibe ich zu Hause? ist logisch äquivalent mit der Aussage ?Es regnet nicht oder ich bleibe zu Hause?.