UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Yenni Carolina Salazar Gomez

Docente

Hilder Moscote

Curso

Pensamiento Lógico y Matemático

Grupo

200611_110

Maicao

Marzo 7 de 2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

 Operar con proposiciones simples para obtener proposiciones compuestas

mediante operadores lógicos.

 Identificar tautologías, implicaciones lógicas y equivalencias lógicas.

 Comprender los argumentos y los modos de demostración.

 Operar con cuantificadores.

 Identificar números naturales, enteros, racionales, irracionales y complejos.

 Operar con números reales y complejos utilizando sus propiedades.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

Siempre que nosotros hacemos diferentes tipos de afirmaciones nos debemos basar en una serie

de análisis que nos permitan aclarar y rectificar si lo que dijimos anteriormente es verdadero o

falso. En el trabajo que a continuación desarrollaremos podremos encontrar como, cuando y en

qué situación podemos aplicar este tipo de proposiciones también llamados juicios o enunciados).
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el valor de

verdad de la proposición compuesta, a partir del valor de verdad de cada proposición simple:

1 B. p: El rector de la Unad es Jaime Alberto Leal Afanador

q: La Unad es una institución de carácter público

r : En la Unad se estudia de forma presencial

Proposición compuesta en lenguaje Natural:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 2: Tablas de verdad

2 A.

A. Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio entonces en la
noche llueve.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 3: Problemas de aplicación

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo una
descripción basada en el contexto académico, remplazando las variables expresadas
simbólicamente para llevarlas al lenguaje natural.

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

3. C

[(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡

Definición de las proposiciones simples

p: El auto es nuevo

q: Tiene gasolina en el tanque

r: El auto enciende

s: Tiene corriente

t: El auto anda muy rápido

u: El auto es mío

Lenguaje natural de la expresión formal

SI el auto es nuevo ENTONCES tiene gasolina en el tanque, Y el auto enciende Ó tiene corriente.
Y SI el auto enciende ENTONCES el auto anda muy rápido .Y NO tiene gasolina en el tanque, SI
el auto es mío ENTONCES el auto anda muy rápido. Y SI tiene corriente ENTONCES el auto es
nuevo. SI SOLO SI el auto anda muy rápido.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Truth Table
p q r s t u [(p→q)Λ(rVs)Λ(r→t)Λ(¬q)Λ(u→t)Λ(s→p)]→t

T T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
T F F F T F T
T F F F F T T
T F F F F F T
F T T T T T T
F T T T T F T
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
F F F F F F T
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para la

resolución de problemas o la representación de la realidad a nivel de proposiciones.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

https://www.youtube.com/watch?v=ZKg7wt9EGJI&feature=player_embedd ed

Simulador Truth Table:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ u.ENDeJ8
http://campus34.unad.edu.co/ecbti32/mod/forum/discuss.php?d=3109

https://www.youtube.com/watch?v=Gi7e_ENDeJ8&feature=youtu.be