Kapittel 24 – Naturlig deduksjon / Reglene for disjunksjon