1

1.1

Aussagenlogik (AL)
Semantik

AL-Interpretation (oder Belegung oder Welt)

Eine AL-Interpretation ist eine Abbildung I , die jeder atomaren Formal von
AL einen der Wahrheitswerte wahr oder falsch zuordnet
Wahrheit unter einer AL-Interpretation

1. ist wahr unter I genau dann wenn falsch unter I ist.

2. ( ) ist wahr unter I gdw. sowohl als auch wahr unter I sind.
3. ( ) ist wahr unter I gdw. wahr unter I oder wahr unter I ist
(oder beides)
4. ( ) ist wahr unter I gdw. falsch unter I oder wahr unter I ist
(oder beides).
5. ( ) ist wahr unter I gdw. , beide wahr oder beide falsch unter
I sind.

Es sei eine w von AL.

1. heit (AL-)allgemeingltig (oder AL-Tautologie) gdw.
wahr unter jeder AL-Interpretation ist.
2. heit (AL-)widersprchlich (oder AL-Kontradiktion) gdw.
unter jeder AL-Interpretation falsch ist.
3. heit (AL-)erfllbar gdw.
es eine AL-Interpretation gibt, unter der wahr ist.
(Eine erfllende Interpretation einer wohlgeformten Formel heit Modell der
Formel.)
Ein (AL-)Argument ist eine Menge von ws {1 , 2 , . . . , n } (genannt Prmissen) zusammen mit einer weiteren w (genannt (gewnschte) Konklusion).
Ein (AL-)Argument heit (AL-)semantisch gltig, wenn es keine ALInterpretation I gibt, unter der 1 , 2 , . . . , n alle wahr sind, aber falsch
ist. Man sagt dann auch folgt aus 1 , 2 ,...n .
Man schreibt: 1 , 2 ,...n |=
Deduktionstheorem:

Es gilt:
1 , 2 ,...n |= genau dann wenn 1 2 ...n eine Tautologie ist.
Widerspruchsbeweis:

Es gilt:
1 , 2 ,...n |= genau dann wenn 1 2 ...n eine Kontradiktion
ist.