Paso 2.

Proposiciones y tablas de verdad

xxxxx
CÓDIGO:

Docente
John Freddy Ruano

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
11/03/2018
 Introducción
En el siguiente trabajo vamos a desarrollar las actividades planteadas, donde podremos ver
ejercicios relacionados con las tablas de la verdad e interpretación del lenguaje simbólico al
lenguaje natural, atreves de preposiciones simples y compuestas. También podemos comprobar
las soluciones en simulador truth table.
 Objetivos
Comprender las tablas de la verdad, poder identificar que es una disyunción, conjunción,
condicional y bicondicional. Poder desarrollar las tablas de la verdad y poder interpretar el
lenguaje natural al lenguaje simbólico. Poder interpretar una proposición simple de una
compuesta.
Tarea 1: Preposiciones
A-) El estadio del deportivo Cali se llama “palmaseca”, y un equipo lo componen 12 jugadores
si y solo si el estadio del deportivo Cali no se llama palmaseca o un equipo no de futbol lo
componen 12 jugadores
P: v q: v
(𝑝⋀q)↔(¬pv¬q)
𝑣 ⋀𝑓 ↔ 𝑓 𝑣 𝑣
𝑓 ↔𝑣
𝑓

B-) el rector de la unad es Jaime leal afanador si entonces la unad es una institución de carácter
público y en la unad se estudia de forma presencial si y solo si en la unad no se estudia de forma
presencial o la unad es una no es una institución de carácter público.
P:v q:v r:f
[(𝑝 → 𝑟)⋀𝑞] ↔ (¬𝑟 𝑣 ¬𝑞)
[𝑓 ⋀𝑣 ] ↔ (𝑣 𝑉 𝑓)
𝑓↔𝑣
𝑓
C-) Falcao García no fue el mejor jugador de Colombia en la copa mundial Brasil 2014 y
Colombia no llego a la semifinal de la copa mundial 2014 si y solo si falcao no fue el mejor
jugador de Colombia en la copa mundial de Brasil 2014 o Colombia llego a la semifinal de la
copa mundial 2014.
P: f Q: f
¬(𝑝⋀𝑞) ↔ (¬𝑝𝑉𝑞)
𝑣⋀𝑣 ↔ 𝑣𝑉𝑓
 𝑣↔𝑣
𝑣

D-) si en el año 2020 será un año bisiesto entonces en un año bisiesto febrero tiene 29 dias, los
años bisiestos se dan cada dos años. si y solo si, en un año bisiesto febrero no tiene 29 dias o los
años bisiestos se dan cada dos años.
P: v Q: v R: f
[(𝑝 → 𝑞) → 𝑟] ↔ (¬𝑝𝑉𝑟)
[𝑣 → 𝑓] ↔ 𝑓𝑉𝑓
𝑓↔𝑓
𝑣
E-) en la UNAD hay 5 periodos académicos anualmente y la unad no tiene 3 periodos de 8 se
semanas, si entonces en la unad no hay 5 periodos académicos anuales.
P: v Q: f

(𝑝⋀¬𝑞) → (¬𝑝)
𝑣⋀𝑣 → 𝑓
𝑣→𝑓
𝑓
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.

(𝑝 → 𝑞)⋀(𝑞 → 𝑟)
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
(𝑝⋀𝑞) ↔ 𝑟
C- Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una multa
(𝑝⋀𝑞)⋀(𝑟 → 𝑠)

D- Si hoy e lunes y pasado mañana e miércoles entonces mañana es martes y mañana no es

jueves
(𝑝 ⋀𝑞) → (𝑟⋀¬𝑠)
E- Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31 dias
(𝑝⋀𝑞) → (𝑟⋀¬𝑠)
A- [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)
P: Luis es el más pequeño
Q: Jorge es el más alto
R: Jorge es el más bajo
S: Brian es el más grande
Luis es el más pequeño entonces Jorge es el más alto y Luis no es el más pequeño
entonces Jorge es el más bajo entonces Brian es el más grande entonces Jorge no es el
más alto entonces Brian es el más grande.
B- {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
P: luisa ha llegado demasiado tarde
Q: Mabel ha venido demasiado pronto
R: el señor juan está enfadado
S: pedro hubiese llegado a tiempo
T: la reunión hubiera sido un éxito
Luisa ha llegado demasiado tarde si entonces Mabel ha venido demasiado pronto y el
señor juan está enfadado si entonces pedro hubiera llegado a tiempo y Mabel ha venido
demasiado pronto y pedro hubiese llegado a tiempo si entonces la reunión hubiera sido un
éxito y luisa ha llegado demasiado tarde y el señor juan está enfadado si entonces la
reunión hubiera sido un exito
C- [(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡
P: pago el agua
Q: me quedo sin dinero
R: me cortan el agua
S: pediré prestado
T: pagare la deuda
U: seré organizado
Si pago el agua si entonces me quedo sin dinero y me cortan el agua o pediré prestado y
me cortan el agua si entonces pagare la deuda y no me quedo sin dinero y seré
organizado si entonces pagare la deuda y pediré prestado si entonces pago el agua si
entonces seré organizado.
D- {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞
P: Villavicencio en una ciudad grande
Q: en Villavicencio se baila joropo
R: también se baila vallenato
S: Villavicencio es la puerta del llano
T: en Villavicencio hay un bioparque
Villavicencio es una ciudad grande si entonces en Villavicencio se baila joropo o también se
baila vallenato y Villavicencio es la puerta del llano si entonces en Villavicencion no se baila
vallenato y Villavicencio es una ciudad grande y en Villavicencio hay un bioparque si entonces
en Villavicencio se baila joropo.

E- [[(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧(𝑝∧𝑟)] →𝑡

P: juan va a la escuela podrá aprender
Q: juan es juicioso será un ingeniero
R: Jorge es un niño inteligente
S: Luis podrá jugar futbol
T: pedro será un gran futbolista
Si juan va a la escuela podrá aprender si entonces juan es juicioso será un ingeniero o Jorge es un
niño inteligente si entonces Luis podrá jugar futbol, si juan va a la escuela podrá aprender y Luis
Podrá jugar futbol si entonces pedro será un gran futbolista y juan va a la escuela podrá aprender
y Jorge es un niño inteligente si entonces pedro será un gran futbolista.
 Conclusiones

En el primer paso del taller podemos interpretar las preposiciones compuestas, desarrollo de los
ejercicios determinando el valor de verdad de cada uno de los ejercicios y pasándolos del
lenguaje natural al simbólico con lo anterior podemos afianzar nuestro conocimiento acerca de
las tablas de verdad y las preposiciones compuestas y simples. En los ejercicios del paso 2
ponemos en práctica lo aprendido con las tablas de verdad.
 Bibliografía
Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp. 151-
162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=1104600
0&tm=1489704594878

Conectores Lógicos y Tablas de Verdad

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado
de http://erenriquez.net/largoty/Ova01MD/
.
Uso del simulador Truth Table:
https://www.youtube.com/watch?v=ZKg7wt9EGJI&feature=player_embedd ed

Suppes, Patrick. Introducción a la lógica simbólica. Editorial reverter s.a (pp.1 - 43 . México, 2007.