Este sistema tiene dos axiomas, y tiene la regla de Modus Tollens. Dadas las siguientes opciones, marque con una “X” el axioma que deberíamos agreg...

Este sistema tiene dos axiomas, y tiene la regla de Modus Tollens. Dadas las siguientes opciones, marque con una “X” el axioma que deberíamos agregar para que el sistema resulte INCONSISTENTE.


Axioma 1: Si Juan es madrileño, entonces es español.
Axioma 2: Juan no es español
a. Juan no es madrileño.
X b. Juan es madrileño.
c. Hay españoles que no son catalanes.
d. Algunos europeos no son españoles.
e. Juan no es español ni madrileño.