Ejemplo 7: Premisas y conclusión falsas, inferencia inválida

P1 Si Cervantes escribió el Quijote, entonces la Tierra es esférica.
P2 Cervantes no escribió el Quijote.
C Por lo tanto, la Tierra no es esférica.

(Ejemplo de falacia formal de negación del antecedente)