UNIDAD 1: PROPOSICIONES Y TABLAS DE VERDAD

Universidad Nacional Abierta y a Distancia UNAD

Abril del 2020

Introducción
 En el siguiente trabajo encontraremos tres ejercicios de proposiciones y tablas de verdad,

donde explicaremos el cuantificador existencial y sus ejemplos, en cuanto a las proposiciones y

tablas de verdad encontraran proposiciones simples y compuestas y expresiones en el lenguaje

natural y simbólico, también las tablas de verdad manuales y las del simulador de la UNAD.

Objetivos
1. Presentar que es el cuantificador existencial y sus ejemplos

2. Definir las proposiciones simples y expresarlo en lenguaje simbólico con su tabla de

verdad.

3. Definir las proposiciones simples de proposiciones compuestas expresadas en

lenguaje simbólico y también llevarlas al lenguaje natural con su tabla de verdad.

Desarrollo de los tres ejercicios

Ejercicio 1: Conceptualización de Cuantificadores
Ejercicio 2: Proposiciones y Tablas de verdad.

C. Si el uso de computador es muy básico en la UNAD y Juan no tiene computador, entonces

tendrá dificultad para estudiar o irá al CEAD más cercano para usar los que la universidad le
ofrece.

1. Definir las proposiciones simples del argumento:

p = El uso de computador es muy básico en la UNAD

q=

Juan no tiene computador

r = Tendrá dificultad para estudiar
s = ira al CEAD más cercano para usar los que la universidad le ofrece.
 2. . Definir la expresión del argumento en lenguaje simbólico o formal:

[(p ^ ¬q) → (r ᴠ s)]

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

4. 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.
[(p ^ ¬q) → (r
ᴠ s)]
p q r s ¬q (p ^ ¬q) (r ᴠ s) [(p ^ ¬q) → (r ᴠ s)]

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

Resultado de la tabla de verdad: CONTINGENCIA

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

c. (𝑟 ∨ ¬𝑞) → ¬𝑝

1. 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

r = Cristian debe de estudiar

q = No pasa el examen
p = No podrá ir al lago de pesca
 2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Cristian debe de estudiar o no pasa el examen, entonces no podrá ir al lago de pesca

3. Tabla de verdad con el simulador Lógica UNAD

4. Generar la tabla de verdad manualmente:

p q r ¬p ¬q (r ∨ ¬q) (r ∨ ¬q) → p

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

Resultado de la tabla: CONTINGENCIA

 Conclusiones

Por ultimo quiero decir que aprendí mucho con este trabajo, hace bastante salí del colegio y no

recordaba los temas de matemáticas pero con las web conferencias, los videos y la

retroalimentación de los tutores entendí muy bien el tema de proposiciones y tablas de verdad

aplicando el lenguaje simbólico y lenguaje natural, además con los ejercicios realizados que se

mostraron anteriormente se practicó y se aplicó todo lo aprendido.

 Referencias bibliográficas

■ Campus virtual UNAD, Pensamiento lógico matemático, entorno aprendizaje

colaborativo, unidad 1: tarea 1 – Proposiciones y tablas de verdad (foro de discusión).

Recuperado de https://campus102.unad.edu.co/ecbti68/mod/forum/discuss.php?d=5969
■ Campus virtual UNAD, pensamiento lógico y matemático, entorno de conocimiento,

unidad 1 – Lógica proposicional, E- libro, lógica matemática para ingeniería de sistemas y

computación pág. 106. recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109