DICCIONARIO DE PREDICADOS:
M(x): x es musulmán
P(x): x se sujeta al papa
S(x): x es salvo
FORMALIZACIÓN:
Premisa 1: ∀x (¬P(x) → ¬S(x))
Premisa 2: ∀x (M(x) → ¬P(x))
DEMOSTRACIÓN PASO A PASO:
1. ∀x (¬P(x) → ¬S(x)) [Premisa] (Para todo x tal que no se sujete al papa, implica que no será salvo)
2. ∀x (M(x) → ¬P(x)) [Premisa] (Para todo x tal que sea musulmán, implica que no se sujeta al papa)
3. M(a) → ¬P(a) [Instanciación Universal del paso 2] (Existe a, que es musulmán, por ende, a no se sujeta al papa)
4. ¬P(a) → ¬S(a) [Instanciación Universal del paso 1] (a no se sujeta al papa, implica que no será salvo)
5. M(a) → ¬S(a) [Silogismo Hipotético de 3 y 4] (a siendo musulman, implica que no será salvo)
6. ∀x (M(x) → ¬S(x)) [Generalización Universal del paso 5] (Para x tal que sea musulmán, implica que no será salvo)
He utilizado simplemente reglas de lógica formal, específicamente de inferencia válida, afirmar que esto es una falacia, es rechazar literalmente el método de deducción.
Y puedo seguir continuando, preguntar a docentes de filosofia, etc., puedo apostar mi mano a que ninguno dira que la conclusión no se sigue de las premisas