UNIDAD 1: Proposiciones y Tablas de Verdad

Juliana Valentina Parra Rodríguez

Universidad Nacional Abierta y a Distancia

ECBTI

Ingeniería Industrial

Pensamiento lógico y matemático

Tunja

2018
 Introducción

Con el objeto de dar inicio a la unidad 1 que comprende los temas de lógica

proposicional en el curso de pensamiento lógico y matemático se ha decidido realizar la

siguiente actividad, teniendo como base principal la rúbrica de evaluación que se

contempla en el entorno de aprendizaje colaborativo necesaria para tener en cuenta los

pasos a desarrollar en el paso 2.

En este trabajo se pretende dar un inicio a la lógica proposicional, teniendo el

desarrollo de algunas temáticas propuestas como lo son proposiciones simples,

proposiciones compuestas, tablas de verdad en proposiciones compuestas, algebra en

proposiciones, tautologías, contradicciones y contingencias, lenguaje natural, lenguaje

simbólico y proposiciones categóricas.

 Objetivos

Objetivo General:

Dar inicio a las temáticas comprendidas en la Unidad 1 del curso

Objetivos Específicos:

 Determinar el valor de verdad de proposiciones simples teniendo en cuenta el

lenguaje simbólico y el natural que se evidencia en cada una de ellas

 Realizar tablas de verdad manualmente y también usando el simulador TRUTH

 Diferenciar los conceptos dados para determinar el valor de verdad de una

proposición compuesta (Tautología, contradicción y contingencia)

PRIMERA TAREA

Ejercicio A.

p: El estadio del Deportivo Cali se llama “Palmaseca”=V

q: Un equipo de futbol lo componen 12 jugadores=F

Leguaje Simbólico:

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)

Lenguaje Natural:

El estadio del Deportivo Cali se llama “Palamaseca” y un equipo de futbol lo componen

12 jugadores. Si y solo si el estadio del Deportivo Cali no se llama “Palmaseca” o un

equipo de fútbol no lo componen 12 jugadores

Valor de verdad:

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)

(V ⋀ F) ↔ (F ∨ V)

F↔V

SEGUNDA TAREA

Ejercicio B

El sol es redondo y la luna es un satélite si y solo si la tierra hace parte de la vía láctea.

p: El sol es redondo

q: La luna es un satélite
r: la tierra hace parte de la vía láctea

(p ⋀ q) ↔ r Contingencia

SIMULADOR TRUTH vs. TABLA DE VERDAD MANUAL

p q r (p⋀q) (p⋀q) ↔ r
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V

TERCERA TAREA

Ejercicio C

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

P: La UNAD es una universidad pública

Q: Esta universidad brinda múltiples beneficios

R: Goza con ciertos beneficios en descuentos

S: Cuenta con convenios de varias instituciones

T: Ofrece más posibilidades a las personas

u: Es una universidad de modalidad presencial

Lenguaje Natural:

Si la UNAD es una universidad pública, entonces esta universidad brinda múltiples

beneficios y goza con ciertos beneficios en descuentos o cuenta con convenios de varias

instituciones y si goza con ciertos beneficios en descuentos, entonces ofrece más

posibilidades a las personas y esta universidad no brinda múltiples beneficios y si esta

universidad es de modalidad presencial entonces ofrece más posibilidades a las personas

y si cuenta con convenios de varias instituciones entonces la UNAD es una universidad

pública. Por lo tanto ofrece más posibilidades a las personas.

SIMULADOR TRUTH

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
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
TABLA DE VERDAD MANUAL

p q r s t u ¬ p r (p r (p→ [(p→q u (p→q)Λ s [(p→q)Λ(r [(p→q)Λ(r

q → V → → q)Λ( )Λ(rV → (rVs)Λ( → Vs)Λ(r→t Vs)Λ(r→t)
q s q) t rVs) s)Λ(r t r→t)Λ( p )Λ(¬q)Λ(u Λ(¬q)Λ(u
Λ( Λ(r →t)Λ( ¬q)Λ(u →t)Λ(s→ →t)Λ(s→p
rV →t) ¬q) →t) p)] )]→t
s)
v v v v v v f v v v v v f v f v v v
v v v v v f f v v v v v f v f v v v
v v v v f v f v v v f f f f f v v v
v v v v f f f v v v f f f v f v v v
v v v f v v f v v v v v f v f v v v
v v v f v f f v v v v v f v f v v v
v v v f f v f v v v f f f f f v v v
v v v f f f f v v v f f f v f v v v
v v f v v v f v v v v v f v f v v v
v v f v v f f v v v v v f v f v v v
v v f v f v f v v v v v f f f v v v
v v f v f f f v v v v v f v f v v v
v v f f v v f v v v v v f v f v v v
v v f f v f f v v v v v f v f v v v
v v f f f v f v v v v v f f f v v v
v v f f f f f v v v v v f v f v v v
v f v v v v v f v f v f f v f v v v
v f v v v f v f v f f f f v f v v v
v f v v f v v f v f f f f f f v v v
v f v v f f v f v f v f f v f v v v
v f v f v v v f v f v f f v f v v v
v f v f v f v f v f v f f v f v v v
v f v f f v v f v f f f f f f v v v
v f v f f f v f v f f f f v f v v v
v f f v v v v f v f v f f v f v v v
v f f v v f v f v f v f f v f v v v
v f f v f v v f v f v f f f f v v v
v f f v f f v f v f v f f v f v v v
v f f f v v v f v f v f f v f v v v
v f f f v f v f v f v f f v f v v v
v f f f f v v f v f v f f f f v v v
v f f f f f v f v f v f f v f v v v
f v v v v v f v v v v v f v f f v v
f v v v v f f v v v v v f v f f v v
f v v v f v f v v v f f f f f f v v
f v v v f f f v v v f f f v f f v v
f v v f v v f v v v v v f v f v v v
f v v f v f f v v v v v f v f v v v
f v v f f v f v v v f f f f f v v v
f v v f f f f v v v f f f v f v v v
f v f v v v f v v v v v f v f f v v
 f v f v v f f v v v v v f v f f v v
f v f v f v f v v v v v f f f f v v
f v f v f f f v v v v v f v f f v v
f v f f v v f v v v v v f v f v v v
f v f f v f f v v v v v f v f v v v
f v f f f v f v v v v v f f f v v v
f v f f f f f v v v v v f v f v v v
f f v v v v v v f f v f f v f f v v
f f v v v f v v f f v f f v f f v v
f f v v f v v v f f f f f f f f v v
f f v v f f v v f f f f f v f f v v
f f v f v v v v f f v f f v f v v v
f f v f v f v v f f v f f v f v v v
f f v f f v v v f f f f f f f v v v
f f v f f f v v f f f f f v f v v v
f f f v v v v v f f v f f v f f v v
f f f v v f v v f f v f f v f f v v
f f f v f v v v f f v f f f f f v v
f f f v f f v v f f v f f v f f v v
f f f v v v v v f f v f f v f f v v
f f f f v f v v f f v f f v f v v v
f f f f f v v v f f v f f f f v v v
f f f f f f v v f f v f f v f v v v

El Argumento es una tautología, ya que su valor de verdad es netamente

verdadero

TABLA 1:PLAN DE ACCION – GRUPO 200611_318

Datos Estudiante Fotografía Ejercicios Ejercicios
seleccionado seleccionado s
sa revisar
desarrollar
Wilmer Enrique Gonzales Tarea 1: C Tarea 1: No
CEAD Tunja
Tarea 2: D Tarea 2: No
Tarea 3: E Tarea 3: No

Diana Carolina Bohórquez Tarea 1: D Tarea 1: Si

CEAD Tunja
Tarea 2: A Tarea 2: Si

Tarea 3: B Tarea 3: Si

Claudia Rocío Gonzales Tarea 1: B Tarea 1: No

CEAD Tunja
Tarea 2: E Tarea 2: No

Tarea 3: A Tarea 3: No
 Conclusiones

 Este trabajo permitió hacer uso lógico de las proposiciones, fomentando así la

posibilidad de emplear este conocimiento de lógica proposicional en los casos

presentados en vida real para dar una perspectiva más lógica a lo que se presenta

a diario.

 El simulador TRUTH es una herramienta innovadora que permite hacer las

tablas de verdad de una manera más sencilla, además al comparar la tabla que

arroja este simulador con la que se hace manualmente se puede evidenciar si se

está llevando a cabo un buen procedimiento para llegar al resultado correcto.

 Los conocimientos que se adquirieron desarrollando este trabajo pueden ayudar

a tener más coherencia en la forma en que se desenvuelve el ser humano día a

día.
 Referencias Bibliográficas

Castaño, C. (16 de 11 de 2017). Proposiciones y Tablas de Verdad. Proposiciones y

Tablas de Verdad. Cali, Colombia.

Chávez, P. (2014). Lógica Simbólica. En P. Chávez, Compendio de Lógica (págs. 151-

162). Guadalajara: Grupo Editorial Patria.

Gonzáles, L., & Miryam, S. (2009). Lógica. En L. Gonzáles, & S. Miryam, Aciertos

matemáticos 11: serie para la educación media (págs. 13-19). Bogotá: Educar

Editores S.A.

Moscote, H. (03 de 08 de 2016). Lógica Proposicional . Lógica Proposicional .

Ríohacha, Colombia.

Villalpando, J. (2014). Lógica y cálculo proposicional. En J. Villalpando, Matemáticas

discretas: aplicaciones y ejercicios (págs. 19-29). Guadalajara: Grupo Editorial

Patria.

Wisniewsk, P., & Ana, G. (2003). Lógica Simbólica. En P. Wisniewsk, & G. Ana,

Introducción a las matemáticas universitarias (págs. 1-5). Monterrey: McGraw-

Hill Interamericana.