Instituto de Educación Superior Tecnológico Público-Atalaya

“AÑO DE LA UNIVERSALIZACIÓN DE SALUD”

<QUIERO SABER PARA HACER MI PROPIA TECNOLOGÍA>

ACTIVIDAD DE APRENDIZAJE Nº04

PROFESOR: ING. JUAN CARLOS RIOJA TARICUARIMA

INGENIERO AGRÓNOMO

LICENCIADO EN BIOLOGÍA, QUÍMICA Y CIENCIAS AMBIENTALES

MAESTRÍA EN SALUD PÚBLICA.

ESPECIALIDAD: AGROPECUARIA Y ENFERMERÍA

U.D: LÓGICA Y FUNCIONES.

Tema: Análisis de Inferencias con tablas de verdad.

¿Qué es un análisis de inferencia con tabla de verdad?

La tabla de verdad (TdV) es un algoritmo o procedimiento decisorio porque
a través de la aplicación mecánica de un conjunto finito de reglas permite
decidir la validez o invalidez de las inferencias. En consecuencia, una
inferencia es válida, mediante la TdV, si y solo si al ser formalizada y
evaluada su fórmula condicional es una tautología; es inválida si la
fórmula condicional es contradictoria o consistente o ambivalente.
PROCEDIMIENTO:
PASO 1: Se ordena la inferencia, pero solo en el caso de que su forma
lógica haya sido alterada en el lenguaje natural, observando la premisa:
premisa-conclusión.
Paso 2: Se explica su forma lógica.
Paso 3: Se halla su fórmula, expresando simbólicamente sus premisas y
conclusiones.
Paso 4: Se construye una fórmula condicional que tenga como
antecedente a las premisas unidas por el operador conjuntivo y como
consecuente a la conclusión.
Paso 5: Se evalúa la fórmula condicional mediante la TdV. Si efectuada la
evaluación su fórmula condicional es una tautología, entonces la
inferencia es válida; es inválida si la fórmula condicional es contradictoria
o consistente y/o ambivalente.
PROBLEMA.
ARGUMENTO:
Si no me dan el trabajo, entonces sigo viviendo con mis padres. Si sigo
viviendo con mis padres, entonces, no aprendo a ser independiente.
Aprendo a ser independiente o seré un mantenido. No seré un mantenido.
Por lo tanto, me dan trabajo.

Explicación: cada punto en un argumento representa una premisa. Por lo tanto, tenemos 4
premisas (rojo, verde, morado y amarillo) y una conclusión (texto color negro). Las premisas se
detectan con puntos.

ARGUMENTO:
Si no me dan el trabajo, entonces sigo viviendo con mis padres. Si sigo
viviendo con mis padres, entonces, no aprendo a ser independiente.
Aprendo a ser independiente o seré un mantenido. No seré un mantenido.
Por lo tanto, me dan trabajo.

Premisa 1: Si no me dan el trabajo, entonces sigo viviendo con mis padres.

Si no me dan el trabajo, entonces sigo viviendo con mis padres.

P -- q

Premisa 2: Si sigo viviendo con mis padres, entonces, no aprendo a ser

independiente.
Si sigo viviendo con mis padres, entonces, no aprendo a ser
independiente.

q: viviendo con mis padres

r: aprendo a ser independiente.
Premisa 3: Aprendo a ser independiente o seré un mantenido.

Aprendo a ser independiente o seré un mantenido.

r v s

Premisa 4: No seré un mantenido.

No seré un mantenido.

̴ s

Conclusión:
p: Por lo tanto, me dan trabajo.

Por lo tanto, me dan trabajo.

-- p
Explicación: la conclusión se une con las 4 premisas por la condicional ():
por lo tanto.

Fórmula lógica o simbólica del Argumento.

Todo el conjunto de 4 premisas se cierran con corchetes [ ], cada premisa
con cierran paréntesis. Por último, cada premisa pueden unirse con
conectivos diversos dependiendo de la redacción del argumento, pueden
ser: ^, v,  o ↔.
Por lo general, las conclusiones usan la  (condicional): causa – efecto,
antecedente – consecuente o efecto.

[(( ̴ pq) ^ (q  ̴ r))^(r v s)v( ̴ S)]p

Forma lógica:
1: Si no me dan el trabajo, entonces sigo viviendo con mis padres.
2: Si sigo viviendo con mis padres, entonces, no aprendo a ser
independiente.
3: Aprendo a ser independiente o seré un mantenido.
4: No seré un mantenido.

Por lo tanto, me dan trabajo.

FÓRMULA:

1. ( ̴ pq)
2. (q  ̴ r))
3. (r v s)
4. ( ̴ S)
------------------------------------------------------
:.→ p

Fórmula condicional:
[(( ̴ pq) ^ (q  ̴ r))^(r v s)v( ̴ S)]p

Evaluación y análisis: Resolvemos utilizando el algoritmo convencional de los

conectivos lógicos. Empezamos aplicando los conectivos lógicos en cada premisa
unidos entre paréntesis, así ( ), columnas con letras de colores rojos y morados se
obtienen copiando tal como está las variables p, q, r y s en cada conjunto por premisa.
A continuación, las columnas con letras rojas aplicando la regla de la conjunción (^)
obtiene la columna con letras de color verde y las letras moradas generan las letras
celestes usando la disyunción (v). Estas dos, las letras verdes y celestes producen las
letras de color fucsia usando el conectivo de la conjunción. Por último, aplicando el
conectivo lógico de la condicional () con las columnas de letras fucsias obtenemos
las verde oscuro, denominado FMI o Contingencia.

Tabla 1. Solución rápida usando la TdV.

[(( ̴ pq) ^ (q  ̴ r))^ (r v s)v ( ̴ S)] p

p q r s
V V V V F V V F V F F F V V V V F V V
V V V F F V V F V F F F V V F V V V V
V V F V F V V V V V V V F V V V F V V
V V F F F V V V V V V V F F F V V V V
V F V V F V F V F V F V V V V V F V V
V F V F F V F V F V F V V V F V V V V
V F F V F V F V F V V V F V V V F V V
V F F F F V F V F V V V F F F V V V V
F V V V V F V F V F F F V V V V F V F
F V V F V V V F V F F F V V F V V V F
F V F V V V V V V V V V F V V V F F F
F V F F V V V V V V V V F F F V V F F
F F V V V F F F F F F F V V V V F V F
F F V F V F F F F V F F V V F V V V F
F F F V V F F V F V V V F V V V F F F
F F F F V F F V F V V V F F F V V F F

4º
1º 3º 2º

FMI: FÓRMULA MOLECULAR INCOSISTENTE O CONTINGENCIA.

MATRIZ - FMI

Respuesta:
La inferencia analizada no es válida porque su fórmula condicional es una
contingencia o ambivalencia.

Tabla 2. Tabla de verdad para el análisis de la inferencia mediante la

fórmula condicional.

[(( ̴ pq) ^ (q  ̴ r))^(r v s)v( ̴ S)]p

p q r s
V V V V F V V F V F F F V V V V F V V
V V V F F V V F V F F F V V F V V V V
V V F V F V V F V V V F F V V V F V V
V V F F F V V F V V V F F F F V V V V
V F V V F V F F F V F F V V V V F V V
V F V F F V F F F V F F V V F V V V V
V F F V F V F F F V V F F V V V F V V
V F F F F V F F F V V F F V F V V V V
F v V V V V v F v F F F V V V V F V F
F V V F V V V F V F F F V V F V V V F
F V F V V V V V V V V V F V V V F F F
F V F F V V V V V V V F F F F V V V F
F f V V V F f V f V F V V V V V F F F
F F V F V F F V F V F V V V F V V F F
F F F V V F F V F V V V F V V V F F F
F F F F V F F V F V V V F F F V V V F
9 10 1 1 1
1 2 3 5 6 7 8
4 3 4
1 1 1 1 1 1 5 1
1 1 1
2 9

MATRIZ – FMI

Col. 18º

¿CÓMO SABER CALCULAR EL NÚMERO DE FILAS DE LA TdV?

La fórmula del número de filas se obtiene así:
n
Nº de filas = 2 = 2 x 2 x 2 x 2 = 16 filas.
n = 4 (p, q, r, s).

CÓMO SABER EL ORDEN DE CADA VARIABLE O PROPOSICIÓN SIMPLE O ATÓMICA:

p q r s
2V 1V
4V 1F
4 2F
2V
Nº de filas = 2 = 16 filas 8v 2F
4F
z
2V
4V
2F
8F
4F
2V
2F

Figura 1. Forma del llenado de la TdV.

Cada columna siempre tendrá 16 filas como se especifica en cada variable

(p, q, r y s). Siempre el orden debe ser respetado como está en la figura 1.
En la variable “s” hay que completar hasta llenar las 16 filas.

EXPLICACIÓN DEL LLENADO DE LA TABLA DE VERDAD

Para el llenado de las columnas (Tabla. 2) desde 5ª hasta 19ª, primero rellenamos
todas las columnas que están dentro el paréntesis en el conjunto de las premisas y
conclusión, son las columnas (5, 7, 9, 11, 13, 15,17 y 19) de acuerdo al orden de la
fórmula condicional [(( ̴ pq) ^ (q  ̴ r))^(r v s)v( ̴ S)]p columnas de color verdes
que deben llenarse tomando como referencia el orden de las variables. En caso, de
haber el conectivo de la negación ( ̴) como los casos de las columnas 5, 11 y 17, se
copian a la inversa del orden de las variables (p, r y s). Después rellenado todas las
columnas verdes hacemos lo siguiente:
Paso 1: Llenamos la columna 6º usando las columnas 5º y 7º con el conectivo de la
condicional (V  F) = F, en otra condición es verdad. De igual modo, llenamos la
columna 10º usando las columnas 9º y 11º. Luego la 14º se llena con la 13º y 15º
columnas. Por último llenamos la columna 16º usando la 14º y 17º columnas, todas de
color fucsia.
Paso 2: a continuación llenamos la columna 8º con las columnas 6º y 10º. Igualmente,
se llena la columna 12º Color anaranjado se llena usando la columnas 8º y 16º,
respectivamente (colores celeste).
Paso 3: Por último, se llena con el conectivo condicional la columna 18º usando las
columnas 12º y 19º, que forman la matriz o Fórmula Molecular de Inconsistencia
(FMI), de color plomo.

REFERENCIA:
Tomado: video YouTube: Aplicación de Leyes de inferencias lógicas.
Cristhian Casteblanco Gómez. UNAD Universidad Nacional Abierta y
Distancia.
ESTEBAN DUARTE, PEDRO V. Taller de Lógica proposicional y teoría de
conjuntos. Libro Tomado de Google Internet. UNIVERSIDAD EAFIT.

ANEXOS. Fotos del libro y apuntes personales

Foto1. Conectivos lógicos

Foto 2. La negación.

Foto 3. La conjunción.
Foto 4. La disyunción.

Foto 5. La condicional
Foto 6. La bicondicional

Foto 7. Disyunción excluyente

Foto 8. Llenado de tabla de verdad.

Foto 9. Apuntes del Resumen de las claves de los conectivos lógicos.