Pecados mortales en Deducción Natural

1. Introducir o eliminar negaciones impares con la ley de la doble negación (ver la ley de doble negación).

X              ¬X

____ o  ____

¬X              X

2. Eliminar una disyunción sin información suficiente (ver Ev):

XvY

____

X

3. Eliminar una implicación sin información suficiente (ver MPP y MTT):

X->Y         X->Y

____   o   _____

X                 Y

4.. Hacer un MPT con una disyunción inclusiva:

XvY

X

____

¬Y

5. Hacer un MPT o un MTP con una implicación.

X->Y           X->Y

X                    ¬X

_____  o    _____

¬Y                 Y

6. Hacer un MPP o un MTT con una disyunción.

XvY         XvY

X               ¬Y

____ o   ____

Y              ¬X 

7. Cometer una falacia de afirmación del consecuente (FAC) o confundirla con el MPP:

X->Y

Y

____

X

8. Cometer una falacia de negación del antecedente (FNA) o confundirla con el MTT

X->Y

¬X

____

¬Y

Tomar una hipótesis como algo demostrado en TD, RC o RA.

8. Distribuir una negación que afecta una proposición compleja entre sus partes.

¬(X^Y)

______

¬X^¬Y