Sprache für eine Formel:
Morgan-Regeln:
Zur Wiederholung:
![$\wedge$](img245.png)
bedeutet ,,und'',
![$\vee$](img246.png)
bedeutet ,,oder''.
Länge einer Formel: Die Länge einer Formel
![$\alpha$](img197.png)
ist die Anzahl der Opperatoren in
![$\alpha$](img197.png)
und wird mit
![$\vert\alpha\vert$](img199.png)
bezeichnet. Operatoren sind
![$\vee$](img246.png)
,
![$\wedge$](img245.png)
und
![$\neg$](img247.png)
.
Notationen:
Definitionen:
Tautologie:
Eine Formel ist dann eine Tautologie, wenn sie für alle Belegungen erfüllt ist.