Definition:
Logik(Symbolbelegung, Belegungsmenge, Syntax, Semantik, Folgerungsoperator)
Symbolmenge = Symbole, über die Aussage gemacht werden kann
Belegung = Abbildung, die Symbol einen Wert zuordnet
Belegungsmenge M: Menge aller möglicher Belegungen
Syntax: Legt fest welche Sätze wohlgeformt / gültig sind
Semantik: Bestimmt den Wahrheitswert eines Satzes in Bezug auf eine Belegung
Folgerungsoperator: b folgt aus a