Unidad I – Sesión 4

Facultad de Estudios Generales

INFERENCIAS
LÓGICAS – TABLAS
DE VERDAD

LÓGICA EQUIPO DE DOCENTES DE LÓGICA

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

LOGRO DE SESIÓN
Al término de la sesión, el estudiante
formaliza premisas además
determina la validez de una
inferencia lógica por medio de las
tablas de verdad, de forma correcta.

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

INFERENCIA LÓGICA Forma vertical

Es un proceso de razonamiento lógico el cual

P1
consiste en procesar un conjunto de P2
proposiciones llamadas PREMISAS a otra Premisa .
proposición llamada CONCLUSIÓN. La .
Inferencia es una condicional de la forma:
.
Pn
Forma horizontal
Conclusión C
P1 ^ P2 ^ … ^ Pn C

Inferencia válida Razonamiento correcto

Inferencia no válida Razonamiento incorrecto
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

1) Método de la tabla
de verdad

¿Cómo
validar una 2) Método abreviado
inferencia? de la tabla de verdad

3) Método de las
implicaciones notables
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

1) MÉTODO DE LA TABLA DE VERDAD

La inferencia será valida si la fórmula implicativa resulta ser una TAUTOLOGÍA, en caso
contrario será no válida. Una inferencia válida también se le conoce como una implicación
lógica.
¿Cómo construir
una tabla de
Paso 1: Determine el numero de filas y columnas:
verdad?
2n(donde “n” es el numero de proposiciones).
Paso 2: Se identifica el conectivo que aparece dentro
del paréntesis, y los de mayor jerarquía.
Paso 3: Se desarrollan las columnas con el operador
lógico correspondiente.
Paso 4: Interpretas la columna resultante
(Tautología, contradicción y contingencia)
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

Tablas de verdad
Replicador
p q p  q
V V V p q p ∧ q
p q p  q
V F F V V V
V V V
F V V V F F 𝒑 ~𝒑
V F F
F F V F V F V F
p q p ∨ q F V V
F F F
V V V F F V
p q p ↔ q F V
DISYUNCIÓN
EXCLUYENTE () V V V
V F V
p q p q V F F
F V V
V V F F V F
F F F
V F V F F V
F V V
F F F

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

RESUMEN DE LAS TABLAS DE VERDAD

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

PARTES DE LA TABLA DE VERDAD

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

VALIDACIÓN DE INFERENCIAS POR TABLA DE VERDAD

• Identifique las premisas y la conclusión

1) Formalice los • Formalice las premisas y la conclusión
argumentos

• Forme el cuerpo de las premisas con conjunciones

2) Genere el • Una el cuerpo de las premisas con la conclusión
argumento con una implicación.

• Si el resultado de la tabla es una tautología el

3) Pruebe con la tabla argumentos es válido de lo contrario es invalido.
de verdad

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

PRACTIQUEMOS LO APRENDIDO

Determine la validez del siguiente argumento mediante las tablas de verdad

1) Si Esteban esta bien informado del acontecer internacional

entonces participara en la mesa redonda. Pero Esteban no participa
en la mesa redonda. Por lo tanto no está bien informado del
acontecer internacional.

P1:
P2:
Conclusión:
Argumento formalizado:
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

2) Si Angola logra la estabilidad entonces ambos Botswana y Chad

adoptan políticas mas liberales. Pero Botswana no adoptará una
política más liberal. Por lo tanto, Angola no logrará estabilidad.
Premisa 1:
Premisa 2:
Conclusión:
Argumento formalizado:

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

Tautologías,
Formalización
contradicción,
de argumentos
contingencia.

CONCLUSIONES
Tablas de
Simbología
verdad

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

Tautología

Tablas de
Contingencia
verdad

Ideas claves

Argumentos
Contradicción
deductivos

Inferencias Argumentos

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

Retroalimentación
• Premisas
• Conclusiones
¿Argumentos? • Deductivos e inductivos

• Operadores, conectivos lógicos

• Contingencia, contradicción, tautologías
¿Tablas de verdad?

• Formalización de premisas y conclusiones

¿Formalización de • Técnica del uso de tablas de verdad
argumentos?

• Aprecio por el aprendizaje de técnicas de formalización

• Desarrolla ejercicios
Actitudes • Formar grupos de trabajo

• Optimismo
• Interés por aprender
• Aprecio al estudio
Motivaciones
• Afición a la lectura

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

BIBLIOGRAFÍA

• Cardona T., S. (2010). Lógica Matemática para Ingeniería de Sistemas y

computación. Colombia: Ediciones Elizoon
• Figueroa G. R. (2000). Matemática Básica 1. Lima; Editorial América.
• Soto C. J.( 2010). Apunte para una Historia de la Lógica.
etimologias.dechile.net/?lo.gica
• Copi, Cohen, Mc.Mahon (2011). Introducción a la Lógica. México: Editorial Limusa
• https://www.youtube.com/watch?v=OGiap9yRy-M

« Nuevos tiempos, nuevas ideas »

Universidad Inca Garcilaso de la Vega

« Nuevos tiempos, nuevas ideas »