Semantik aussagenlogischer Formeln

Einfache Sprache

Def. Semantik aussagenlogischer Formeln

Semantik von aussagenlogische Formel ohne Variablen können entsprechend der Junktoren ausgewertet werden. Dabei steht $\top$ für wahr und $\bot$ für falsch. Junktoren werden zunächst mit Wertetabellen definiert -> Später kommen hier mathematische Operationen. Also Funktionen (z.B.: $f_\neg$ für die Negation)

Mehr dazu in der Auswertung einer aussagenlogischen Formel unter einer Belegung

Beispiel

$(\neg\bot\land\bot)\lor\neg\bot$ wird zu $f_\lor(f_\land(f_\neg(0),0),f_\neg(0))=f_\lor(f_\land(1,0),1)=f\lor(0,1)=1$