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