Overleg:Beweren en bewijzen/de zuilen/Zekerheid/5. Natuurlijke deductie

1 p p ∨ ¬p        2 ¬(p ∨ ¬p) ¬p p ∨ ¬p        3 ¬(p ∨ ¬p) p ∨ ¬p