Unsere Formationsregeln erfordern es, dass man jede Disjunktion klammert. Da (P ∨Q)∨ R ⊢ P ∨ (Q ∨ R) und P ∨ (Q ∨ R) ⊢ (P ∨ Q) ∨ R gilt, ist es gleichgültig, wie wir die Disjunktionen klammern.