Categorie:Bewijsfout
Uit Werkplaats
Markering in de code:
{{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
Deze categorie bevat geen pagina’s of media.
