PENSAMIENTO LOGICO Y MATEMATICO

(200611A_612)
Unidad 1: Tarea 1
Proposiciones y tablas de verdad

REALIZADO POR: Jose Fernando Serna

-ESTUDIANTE-

PROGRAMA:
Tecnología En Gestión De Transporte
GRUPO: 395

PRESENTADO A:
YERSSON DAVID MOSQUERA (tutor)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD DOSQUEBRADAS
2018
 DESARROLLO DE LOS EJERCICIOS
Ejercicio 2: Proposiciones y Tablas de verdad

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

A. Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene
una alta probabilidad de accidentarse o Laura puede dañar su automóvil
B. Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee
una buena comprensión lectora y buena ortografía
C. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces
Pereira es un sustantivo
D. Juan juega básquet por hobby o practica tenis de forma profesional. Si
practica tenis de forma profesional entonces juega por más de tres horas
diarias y quema muchas calorías.
E. Si Lina consume alimentos balanceados y practica ejercicio regularmente,
entonces goza de buena salud. Si Lina no practica ejercicio regularmente o
se dedica a otras actividades, no gozará de buena salud
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
 Definir las proposiciones simples del argumento.
 Definir la expresión del argumento en lenguaje simbólico o formal.
 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)
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.
 Desarrollo

proposiciones simples:

P: Laura chatea en su celular

Q: Laura conduce por la autopista
R: Laura tiene una alta probabilidad de accidentarse
S: Laura puede dañar su automóvil

lenguaje simbólico o formal

(𝑷 ∧ 𝑸) → (𝑹 ∨ 𝑺)
Simulador de lógica UNAD:
Tabla de verdad manual:

P Q R S 𝑷∧ 𝑸 𝑹∨𝑺 (𝑷 ∧ 𝑸)
→ (𝑹 ∨ 𝑺)

V V V V V V V
V V V F V V V
V V F V V V V
V V F F V F F
V F V V F V V
V F V F F V V
V F F V F V V
V F F F F F V
F V V V F V V
F V V F F V V
F V F V F V V
F V F F F F V
F F V V F V V
F F V F F V V
F F F V F V V
F F F F F F V

Como uno de los resultados es falso y no todos son verdaderos, entonces la

proposición compuesta es una contingencia.
 REFERENCIAS

 Blog Matemáticas Discretas. (2017). Lógica de Cuantificadores. Sitio web:

https://medium.com/@matematicasdiscretaslibro/6-logica-de-
cuantificadores-d453d859dd20
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 107 - 108). Ediciones Elizcom, Madrid.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=
12&docID=3199701&tm=1529335849013
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=
109&docID=3199701&tm=1529510366591
 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961
 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.
Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=2
0&docID=3226457&tm=1529246259924