Dado un sistema axiomático que incluye los siguientes axiomas y regla de inferencia, determine cuál de los enunciados que se enumeran a continuació...

Dado un sistema axiomático que incluye los siguientes axiomas y regla de inferencia, determine cuál de los enunciados que se enumeran a continuación es un teorema del sistema y responda a la pregunta que se formula a continuación.
Regla de inferencia: Modus ponens Axiomas:
Si A entonces B - Si Los Glaciares es un parque nacional, entonces es un área protegida por el Estado.
A - Los Glaciares es un parque nacional.
B - Los Glaciares no es un área protegida por el Estado.
A. Seleccione el teorema y escriba el número en el talón de respuestas.
1. Los Glaciares es un parque nacional.
2. Los Glaciares no es un parque nacional.
3. Los Glaciares es un área protegida por el Estado.
4. Los Glaciares no es un área protegida por el Estado.
B. ¿El sistema es consistente? Escriba "SI" o "NO" en el recuadro correspondiente del talón de respuestas.


1. Los Glaciares es un parque nacional.
2. Los Glaciares no es un parque nacional.
3. Los Glaciares es un área protegida por el Estado.
4. Los Glaciares no es un área protegida por el Estado.