Tautologías

Lógica Matemáticas
Definición

 Se dice que una proposición es una

tautología o que es lógicamente
verdadera, si y solo si, dicha proposición
es verdadera cualesquiera que sean las
proposiciones atómicas que la formen.

Burgos Alfonso (1973), Introducción a la Lógica Matemática. Selecciones graficas. Madrid

Algunas tablas de Verificación
Algunas tablas de Verificación
Algunas tablas de Verificación
 Modus Ponens

 Modus Tollens

Tautologías de Uso Frecuente

 Silogismo Disyuntivo

 Simplificación

Tautologías de Uso Frecuente

Tautologías de Uso Frecuente

 Adición

 Equivalencia de doble Negación

 Equivalencia contrapositiva

 Equivalencia de Morgan (1)

Tautologías de Uso Frecuente

 Equivalencia de Morgan (2)

 Equivalencia condicional

Tautologías de Uso Frecuente

 Equivalencia Distributiva (1)

 Equivalencia Distributiva (2)

Tautologías de Uso Frecuente

Ejemplos

 Utilizando las equivalencias que se indican

entre paréntesis, deduce una proposición que
sea equivalente a la proposición dada:
 1.
(Equivalencia de Morgan)
Solución
Ejemplos
 Escribe las proposiciones siguientes de
modo que no aparezcan símbolos
condicionales. Use las equivalencias de
Morgan siempre que sea posible.

1.
Solución: Equivalencia Condicional
 Ingresar a:
Introducción a la Lógica
Stefan Waner y Steven R. Costenoble

http://www.zweigmedia.com/MundoReal/lo
gic/logic2.html

Recomendación
 Construyan una demostración formal
para cada uno de los siguientes
razonamientos válidos.

◦ Si ingreso a un colegio mayor, tendré tiempo

libre. Si tengo tiempo libre, intentaré jugar en
el equipo de futbol. No he intentado jugar en el
equipo de futbol. Por tanto, no he ingresado en
un colegio mayor.

◦ Si ahorro, haré un crucero. Si no ahorro, estaré

sin blanca. O invierto mi dinero, o no hago un
crucero. Por tanto, estoy sin blanca.
◦ Si el real Madrid gana la liga, ganaré $100.000
y me iré de fiesta toda la noche. Si me voy de
fiesta toda la noche, tendré resaca por la
mañana. O el Real Madrid gana la liga, o no me
llamo Zorro Rojo. Por tanto, tendré resaca por
la mañana.

◦ O la casa está terminada a tiempo, o no pagaré

al constructor. Si no le pago, entonces, o no
estoy satisfecho, o hay defectos en la obra.
Estoy satisfecho y no hay defectos. Por tanto,
la casa se acabó a tiempo.
 TAREA

 Diseñen 5 enunciados al estilo de los

mostrados en la actividad de clase.
Con sus respectivas demostraciones.