UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

Ejercicio 3 - Estudiar las temáticas de la Unidad 1

Problemas de aplicación

Presentado por:
Albeiro Pedrozo Villarruel

Grupo: 200611D 614

PRESENTADO A:
José Alfonso Olaya

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios.
Septiembre-2019

1
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

DESARROLLO DEL CONTENIDO DEL TRABAJO:

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

A. [ ( p ⋁ q ) ⟷ r ]

A partir de la proposición compuesta en lenguaje simbólico que haya

seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo

una descripción basada en un contexto, el que se solicita es un
contexto académico,

p: el vehículo de Albeiro necesita mantenimiento  

q: lo lleva al concesionario  
r: necesita mantenimiento de primer escalón.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada
estudiante, por lo que de encontrar proposiciones iguales entre
estudiantes se considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.
Rtas:

P v q: si el vehículo de Albeiro necesita mantenimiento o él lo lleva al

concesionario.

<-> r : si, solo si, el vehículo necesita mantenimiento de primer

escalón.

2
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

 Generar una tabla de verdad con el simulador Lógica UNAD a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

 [( p ⋁ q )⟷ r ]

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).
 [( p ⋁ q )⟷ r ]

p q r (pvq) (pvq)<->r
v v v v v
v v f v f
v f v v v
v f f v f
f v v v v
f v f v f

3
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

f f v f f
f f f f v

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia

 El resultado es una CONTINGENCIA: Porque la última columna de la tabla de la

verdad, tiene valores verdaderos y falsos.

4
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

Referencias

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.

https://superinteresante7.wordpress.com/2011/10/16/tautologias-contradiccion-y-contingencia/