2. Aussagenlogik

Syntax 
Respräsentantentheorem 
Erfüllbarkeit einer Formel 
Allgmemeingültigkeit 
Kontradiktion 
Beweis Repräsentantetheorem 
Bestandteile Logik 
Ausdruck / Formel 
Semantik 
Literal 
$\lor - Klausel$ 
$\land -Klausel$ 
Konjunktive Normalform 
Disjunkte Normalform