Folienskript zur Aussagenlogik (pdf)

Alphabet einer Aussagenlogik:
Syntax der Aussagenlogik
• Eine unendliche Menge {p 1 , p 2 , . . .} von aussagenlogischen Variablen.
• Eine Menge von Konnektiven wie ¬, ∧, ∨, →, ↔, ⊤ und ⊥ mit Stelligkeiten wie
folgt: 0-stellig: ⊤ und ⊥, 1-stellig: ¬, 2-stellig: ∧, ∨, →, ↔.
Eine atomare aussagenlogische Formel ist eine aussagenlogische Variable.
Die Menge der aussagenlogischen Formeln P für ein aussagenlogisches Alphabet A
ist die kleinste Menge, für die gilt:
1. P enthält alle aussagenlogischen Variablen von A und alle 0-stelligen Konnektive.
2. Wenn F ∈ P , dann auch ¬F .
3. Für alle zweistelligen Konnektive ◦ und F, G ∈ P gilt (F ◦ G) ∈ P .
7