Categorie:Bewijsfout

{{Standaardfout|Bewijsfout|commentaar}}

Vastlopen na verkeerde keuze

∃I 

Als je dit te vroeg doet, gooi je nodige informatie weg.

∨I

Als je dit te vroeg doet, gooi je nodige informatie weg.

Doodzonden bij natuurlijke deductie

kleine lettertjes 

verwarren van onbesproken variabelen met speciale gevallen. Een mooi voorbeeld is ∃E toepassen om ∃x, P x |- P a op te lossen.

verboden context 

toepassen van een regel niet op de te bewijzen formule maar op een onderdeel ervan