Hulp
Boekenmaker (uitschakelen)

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

Uit Werkplaats
Versie door David Jansen (overleg | bijdragen) op 26 apr 2010 om 11:59 (kale boom, mooier geformateerd)
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken

1
p

p ∨ ¬p

      

2
¬(p ∨ ¬p)

¬p

p ∨ ¬p

      

3
¬(p ∨ ¬p)

p ∨ ¬p

Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Overleg:Beweren_en_bewijzen/de_zuilen/Zekerheid/5._Natuurlijke_deductie&oldid=99801"