Usuario:Maka/euristica/ejercicio 6
REGLAS DE INFERENCIA Y DEMOSTRACIÓN
Modus Ponendo Ponens: Permite demostrar Q → Q Y P la regla permite pasar de dos premisas a la conclusión. Decir que la conclusión es consecuencia logica de las premisas es afirmar, que siempre las premisas son ciertas y la conclusión tambien lo es. La regla se aplica siempre que se de una proposición condicional y se de precisamente el antecedente, se sigue necesariamente el consecuente.
La Doble Negación:
Permite pasar de una premisa unica a la conclusión.
P ______________ ¬¬P
Modus Tollendo Tollens: Esta regla se aplica también a las proposiciones condicionales, pero este caso negando el consecuente (tollendo), se puede negar tollens ( el antecedente) del condicional
P → Q ¬Q ________________________
¬P
Ejercicio Demostrar ¬¬R
1.P→Q 2.¬Q 3.¬P → R _______________ 4.¬P Tollendo Tollens 1y2 5.R Ponendo Ponens 3y4 6.¬¬R Doble negación. 5