Aussagenlogik

Aussage 
AL Formel 
Negation 
Konjunktion 
Disjunktion 
Implikation 
Genau dann wenn 
Belegung 
passende Belegung 
Definition Wahrheitswert 
Erfüllbarkeit 
Tautologie 
semantische Äquivalenz 
Ersetzbarkeitstheorem 
Literal 
$\lor$ - Klausel 
$\land$ - Klausel 
KNF 
Klauselmenge 
DNF 
SAT 
TAU 
Lösugsverfahren für SAT 
Resolution 
Resolutionslemma 
wiederholtes resolvieren  
Resolutionssatz 
Kalkül 
Korrektheit 
Vollständigkeit 
Erfüllbarkeit Formelmenge 
Endlichkeitssatz 
semantisches Folgern 
Folgerungsoperator 
FAQKontaktImpressumDatenschutz Nutzungs­bedingungen
© 2015 - 2024 Philipp Schweers