Aussagenlogische Ausdrücke

Unter aussagenlogischen Ausdrücken versteht man die Zusammenstellung komplizierter Aussagen aus Aussagen und Junktoren.

• Die Zeichen W und F sind aussagenlogische Ausdrücke;
  
• Kleinbuchstaben sind logische Ausdrücke.
  
• Sind a und b aussagenlogische Ausdrücke so sind auch (a), (¬a), (a˄b), (a˅b), (a⊕b), (a → b), (a ↔ b) logische Ausdrücke.
  
• Die äußersten Begrenzungsklammern um einen aussagenlogischen Ausdruck können entfallen, wenn dieser nicht mit anderen Ausdrücken verknüpft wird.
  
• Prioritäten:

• Bei gleichen Junktoren wird von links nach rechts ausgewertet.