UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROPOSICIONES Y TABLAS DE VERDAD

INGENIERÍA INDUSTRIAL

PENSAMIENTO LÓGICO MATEMÁTICO

SANTIAGO DE CALI

2019
 INTRODUCCIÓN

La lógica matemática consiste en el estudio matemático de la lógica y en la aplicación de este

estudio a otras áreas de las ciencias. En esta actividad se desarrollan ejercicios prácticos
basados en los temas estudiados en la Unidad 1 “Lógica proposicional” y su aplicación.
 OBJETIVO GENERAL

Adquirir los elementos básicos y conceptos de la lógica matemática, necesarios para el

estudio más profundo de los fundamentos de las matemáticas.

OBJETIVO ESPECÍFICOS
1. Aprender a identificar las clases de proposiciones que se puede encontrar en un
enunciado.
2. Entender la aplicación y el efecto que tienen los términos de enlace en las
proposiciones.
3. Analizar e interpretar proposiciones para simbolizarlas.
4. Analizar los enunciados para la elaboración de las tablas de verdad, teniendo en
cuenta los términos de enlace.
EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES
 EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al

concesionario o Si ella no lo lleva al concesionario entonces, lo lleva taller de
Fernando
p = el vehículo de Gabriela necesita mantenimiento
q = ella lo lleva al concesionario
r = lleva al concesionario
s = lo lleva taller de Fernando
Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico
[(p→ q )∨~r]→ s
Resultado de la tabla de verdad: CONTINGENCIA

p q r s ~r (p→ q) [ (p → q) ˅ ~r] [ (p → q) ˅ ~ r] → s
V V V V F V V V
V V V F F V V F
V V F V V V V V
V V F F V V V F
V F V V F F F V
V F V F F F F V
V F F V V F V V
V F F F V F V F
F V V V F V V V
F V V F F V V F
F V F V V V V V
F V F F V V V F
F F V V F V V V
F F V F F V V F
F F F V V V V V
F F F F V V V F
Simulador Lógica UNAD:
 EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD

B. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario

o Si ella no lo lleva al concesionario entonces, lo lleva taller de Fernando.

p = el vehículo de Gabriela necesita mantenimiento

q = Gabriela lleva el carro al concesionario
r = Gabriela lleva el carro al taller de Fernando

Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

[ (p → q) v - q] →r

Resultado de la tabla de verdad: CONTINGENCIA

p q r -q (p → q) [ (p → q) v - q] [ (p → q) v - q] → r

V V V F V V V
V V F F V V F
V F V V F V V
V F F V F V F
F V V F V V V
F V F F V V F
F F V V V V V
F F F V V V F
Resultado de la tabla de verdad Simulador Lógica UNAD
 Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A. (p ʌ q)→(r ʌ s)

p: Luís es estudiante del programa de Ingeniería Industrial

q: Luís se esmera en cumplir con sus compromisos académicos
r: Luís alcanza calificaciones optimas
s: Luís asegura la aprobación de las materias

Luís es estudiante del programa de Ingeniería Industrial y se esmera en cumplir con sus
compromisos académicos, entonces alcanza calificaciones optimas, lo que le asegura la
aprobación de las materias.

Resultado de la tabla de verdad: CONTINGENCIA

p q r s (p ʌ q) (r ʌ s) (p ʌ q) → (r ʌ s)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
Resultado del Simulador UNAD
 CONCLUSIONES
Al realizar este trabajo logramos distinguir entre razonamientos válidos y razonamientos
inválidos a través del análisis de proposiciones.
La lógica matemática nos ayuda a esclarecer procesos de pensamiento encontrando sentido
a las actividades cotidianas. Lo más importante es que la lógica matemática permite crear
nuevas formas de resolver problemas
 REFERENCIA BIBLIOGRÁFICA

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos
de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 9-28). Ediciones Elizcom, Madrid.
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos
de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 9-28). Ediciones Elizcom, Madrid.