====== Aussagenlogische Ausdrücke ====== Unter aussagenlogischen Ausdrücken versteht man die Zusammenstellung komplizierter Aussagen aus Aussagen und Junktoren. ===== Konstruktionsvorschriften ===== * 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: ^ Junktor ^ Priorität ^ |¬|4| |∧, ∨, __v__|3| |->|2| |<->|1| * Bei gleichen Junktoren wird von links nach rechts ausgewertet. \\