Implicación Lógica

Implicación Lógica

1. 1.- Reglas de interferencia

   • Cuando p, q son proposiciones arbitrarias y p -> q, la implicacion p -> q es una tautologia y decimos que p -> q es una implicacion logica.
     • Tautologia
       • En las disciplinas de la lógica y la retórica, se emplea el término tautología para referirse a aquellos enunciados autoevidentes, obvios o redundantes, o sea, que resultan verdaderos desde cualquier posible interpretación, pues se explican y afirman a sí mismos. Por ello, una tautología es un argumento falaz, inválido, vacío.
     • Los tres puntos (.:) representan las palabras "Por lo tanto", e indican que q es la conclusión de las premisas, las cuales aparecen por encima de la linea horizontal. Esta regla srge cuando argumentamos que si (1)p es verdadera y (2)p->q es verdadera (o P -> Q), entonces la conclusión q tambien debe ser verdadera.
     • Antes de terminar el análisis de nuetra primera regla de inferencia haremos una ultima observacion.

2. Leyes de la lógica

   • Regla de separación (Modus ponens), Ley del Silogismo, Modus Tollens, Regla de la conjuncion, Regla del Silogismo disyuntivo, Regla de contradiccion, Regla de simplificacion conjuntiva, Regla de amplificacion disyuntiva, Regla de demostracion condicional, Regla de demostracion por casos, Regla del dilema constructivo y Regla del dilema destructivo.
     • 1.- Reglas de inferencia
       • Proposiciones primitivas
       • Premisas
       • Argumento
       • Tabla de verdad
       • 2.- Ley del Silogismo
         • Ya no necesitamos preocuparnos por lo que represente las proposiciones. Nuestro objetivo es usar las dos reglas de inferencia que hemos estudiado hasta ahora para deducir la verdad de la proposición.
         • En lógica matemática, la ley del silogismo dice que si los siguientes dos enunciados son verdaderos: (1) Si p, entonces q . (2) Si q, entonces r . Entonces podemos derivar un tercer enunciado verdadero: (3) Si p, entonces r .
       • 3.- Modus Tollens
         • Esto se obtiene de una implicacion logica. Modus Tollens viene del latin y puede traducirse como "metodo de negacion". Este nombre se debe a que negamos la conclusion, q, para demostrar ¬P.
       • 1.- Modus Ponens
         • El modus ponendo ponens es un tipo de argumento lógico, de inferencia razonada, perteneciente al sistema formal de las reglas de deducción de la conocida lógica proposicional. Esta estructura argumentativa es la pauta inicial que se transmite en la lógica proposicional y se relaciona directamente con los argumentos condicionales.