UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Luis Alfonso Acevedo Elejalde

Docente

John Jairo Getial Pantoja

Curso

Pensamiento Lógico y Matemático

Grupo

425

Riofrío Valle del Cauca

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

OBJETIVOS

Conocer y manejar los tipos de proposiciones que existen, sus conectores y como
representar argumentos de nuestra vida diaria en las tablas de verdad.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

Al desarrollar la actividad paso 2 de la unidad 1, podremos aprender a resolver

argumentos de nuestra vida cotidiana por medio de las tablas de verdad.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Actividades Para Desarrollar

Tarea 1: Proposiciones

Ejercicio B.

R// Proposición compuesta en lenguaje Natural:

Si El rector de la UNAD es Jaime Alberto Leal Afanador, entonces En la UNAD se

estudia de forma presencial, y La UNAD es una institución de carácter público.
Solo entonces En la UNAD no se estudia de forma presencial o La UNAD no es
una institución de carácter público

Preposiciones:

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

Expresión en lenguaje simbólico o formal.

[(p→r)^q]↔(¬r ˅¬q)

Determinación del valor de verdad:

p: v q: v r: f

[(p→r)^q] ↔ (¬r ˅¬q)

[(V→f)^V] ↔ (V ˅ F)

F^V↔ F

F ↔ F

V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 2: Tablas de verdad

Ejercicio C.

R// Proposición compuesta en lenguaje Natural:

Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa.

Preposiciones:

p: tengo una moto

q: tengo licencia

r: los policías me paran

s: me harán una multa

Expresión en lenguaje simbólico o formal.

(p^¬q^r)→s)

Tabla de verdad manual.

p q r s ¬q (p^¬q^r) (p^¬q^r)→s)
v v v v f f v
v v v f f f v
v v f v f f v
v v f f f f v
v f v v v v v
v f v f v v f
v f f v v f v
v f f f v f v
f v v v f f 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 v f v
f f v f v f v
f f f v v f v
f f f f v f v
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth Table

Expresión: Contingencia

Comprobar el resultado de la tabla de verdad manual versus simulador Truth

Table.

El resultado final de la tabla de verdad y el simulador es igual.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 3: Problemas de aplicación

Ejercicio C.

R// Proposición compuesta en lenguaje Natural:

Si Carlo es estudiante de la UNAD, entonces se presenta al encuentro B-

Learning, en donde está atento a la sustentación del tutor o está inquieto
pendiente del celular, si estando atento a la sustentación del tutor se infiere que
la sustentación es entendida, y al no presentarse al encuentro B-Learning, sigue
teniendo dudas por lo tanto la sustentación seria lo adecuado para entender el
tema, y si por más inquieto que este con el celular entonces Carlo debe
concentrarse en sus estudios de la UNAD de ahí que las sustentaciones de sus
tutores sea entendida.

Preposiciones:

p: Carlo es estudiante de la UNAD

q: se presenta al encuentro B-Learning

r: está atento a la sustentación del tutor

s: está inquieto pendiente del celular

t: la sustentación es entendida

u: sigue teniendo dudas

Expresión en lenguaje simbólico o formal.

[(p→q) ^ (r ˅ s) ^ (r→t) ^ (~q) ^ (u→t) ^ (s→p)] →t

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tabla de verdad manual.

p q r s t u ~q p→q r˅s r→t u→t s→p [(p→q) ^ (r ˅ s) ^ (r→t) ^ (~q) ^ (u→t) ^ (s→p)] →t
v v v v v v f v v v v v v
v v v v v f f v v v v v v
v v v v f v f v v f f v v
v v v v f f f v v f v v v
v v v f v v f v v v v v v
v v v f v f f v v v v v v
v v v f f v f v v f f v v
v v v f f f f v v f v v v
v v f v v v f v v v v v v
v v f v v f f v v v v v v
v v f v f v f v v v f v v
v v f v f f f v v v v v v
v v f f v v f v f v v v v
v v f f v f f v f v v v v
v v f f f v f v f v f v v
v v f f f f f v f v v v v
v f v v v v v f v v v v v
v f v v v f v f v v v v v
v f v v f v v f v f f v v
v f v v f f v f v f v v v
v f v f v v v f v v v v v
v f v f v f v f v v v v v
v f v f f v v f v f f v v
v f v f f f v f v f v v v
v f f v v v v f v v v v v
v f f v v f v f v v v v v
v f f v f v v f v v f v v
v f f v f f v f v v v v v
v f f f v v v f f v v v v
v f f f v f v f f v v v v
v f f f f v v f f v f v v
v f f f f f v f f v v v v
f v v v v v f v v v v f v
f v v v v f f v v v v f v
f v v v f v f v v f f f v
f v v v f f f v v f v f v
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

f v v f v v f v v v v v v
f v v f v f f v v v v v v
f v v f f v f v v f f v v
f v v f f f f v v f v v v
f v f v v v f v v v v f v
f v f v v f f v v v v f v
f v f v f v f v v v f f v
f v f v f f f v v v v f v
f v f f v v f v f v v v v
f v f f v f f v f v v v v
f v f f f v f v f v f v v
f v f f f f f v f v v v v
f f v v v v v v v v v f v
f f v v v f v v v v v f v
f f v v f v v v v f f f v
f f v v f f v v v f v f v
f f v f v v v v v v v v v
f f v f v f v v v v v v v
f f v f f v v v v f f v v
f f v f f f v v v f v v v
f f f v v v v v v v v f v
f f f v v f v v v v v f v
f f f v f v v v v v f f v
f f f v f f v v v v v f V
f f f f v v v v f v v v V
f f f f v f v v f v v v V
f f f f f v v v f v f v V
f f f f f f v v f v v v V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth Table

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Expresión: Tautología

Comprobar el resultado de la tabla de verdad manual versus simulador Truth

Table.

El resultado final de la tabla de verdad y el simulador es igual.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

Gracias a la realización de el paso 2 en la unidad 1, se adquieren conocimientos que

nos permitirán demostrar la valides de argumentos por medio de las tablas de verdad.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de
aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&pp
g=30

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=1034
5286&tm=1492518671601

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado de

http://erenriquez.net/largoty/Ova01MD/