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

Uit Werkplaats
Ga naar: navigatie, zoeken

1
p


p ∨ ¬p

      

2
¬(p ∨ ¬p)


¬p


p ∨ ¬p

      

3
¬(p ∨ ¬p)


p ∨ ¬p