Ejercicio II Le presentamos algunos componentes de un sistema axiomático. Determine qué regla de inferencia le permite demostrar el teorema: “Somos...

Ejercicio II
Le presentamos algunos componentes de un sistema axiomático. Determine qué regla de inferencia le permite demostrar el teorema: “Somos todos donantes de órganos sin consentimiento expreso” y si el sistema axiomático es consistente o inconsistente. Marque con una “X” la opción elegida en cada caso.
Axiomas:
Somos todos donantes de órganos sin consentimiento expreso o manifestamos nuestro deseo de no donar.
No manifestamos nuestro deseo de no donar.
No somos todos donantes de órganos sin consentimiento expreso.
La regla inferencial utilizada es
1. Modus Ponens.
¿El sistema axiomático es consistente?
SI
2. Modus Tollens.
3. Silogismo disyuntivo. X
NO X
4. Simplificación.