4. Implicaciones Tautológicas y Equivalencias Tautológicas https://www.zweigmedia.com/MundoReal/logic/logic4.

html

Introducción a Lógica
por
Stefan Waner y Steven R. Costenoble

4. Implicaciones Tautológicas y Equivalencias Tautológicas

Implicaciones Tautológicas

En esta sección ampliamos nuestra lista de tautologías "estándares" por agregar la condicional y la bicondicional. De ahora en adelante, utilizaremos letras minúsculas como p y q solo para denotar proposiciones atómicas, y
letras mayúsculas como A y B para denotar proposiciones de todo tipo, compuestas o atómicas.

Primero vemos algunas implicaciones tautológicas; tautologías de la forma A B. Debes comprobar las tablas de verdad para cada una de estas proposiciones para ver que ciertamente son tautologías.

Modus Ponens o Razonamiento Directo

[(p q) p] q.

En palabras: Si p implica q, y si p es verdadera, entonces q debe ser verdadera.

Ejemplo
Si p: "Amo matemáticas" y q: "Pasare este curso," entonces.

Si mi amor por las matemáticas implica que pasaré este curso, y si de hecho amo matemáticas, entonces pasaré este curso.

Otra forma de configurar esto es en la siguiente forma argumental:

Si amo matemáticas, entonces pasaré este curso.

Amo matemáticas.
Por lo tanto, pasaré este curso.

En símbolos:

p q
p
q

Nota que trazamos una línea en la forma argumental para separar lo que nos da en la conclución que sacamos. Esta tautología representa la forma más directa de razonamiento cotidiano, de ahí su nombre "razonamiento
directo". Otro poco de terminología: decimos que p q y p juntas lógicamente implican q.

Para comprobar que es una tautología, utilizamos una tabla de verdad.

p q p q (p q) p [(p q) p] q
Sección anterior Ejersicios Sección siguiente Más texto en línea Página principal de lógica Página principal

1 de 1 31/10/2019 21:45