Präferenzregeln

Unnötige Klammern können vermieden werden. Hier sind die Regeln:
- Äußerste Klammern können weggelassen werden.
- $\neg$ bindet stärker als die anderen Verknüpfungen.
- $\land, \lor$ binden stärker als $\to, \leftrightarrow$ .
Wenn $Φ = {φ_{1}, \dots, φ_{n}} \subseteq A L$ eine endliche Menge von Formeln ist, schreiben wir:
- $⋁ Φ$ als Abkürzung für $(φ_{1} \lor \dots \lor φ_{n})$ , die Disjunktion über alle Formeln aus $Φ$ .
- $⋀ Φ$ als Abkürzung für $(φ_{1} \land \dots \land φ_{n})$ , die Konjunktion über alle Formeln aus $Φ$ .
- Alternative Schreibweise: $⋀_{i = 1}^{n} φ_{i}, \underset{1 \leq i \leq n}{⋁} φ_{i}, usw.$