ACTIVIDAD 1.

LA LÓGICA MATEMÁTICA

EDNA YULIANA ALVIRA NORIEGA

Docente:
WILLIAM LOPEZ

CORPORACIÓN UNIVERSITARIA IBEROAMERICANA

FACULTAD DE EDUCACIÓN
2023
 OBJETIVOS
OBJETIVO GENERAL
Reforzar el uso de conectores en lógica proposicional, con el fin de desarrollar habilidades
del pensamiento lógico.

Objetivos específicos
1. Aplicar los conectores lógicos según corresponda
2. Identificar una proposición
 TALLER

1. ¿Cuáles de las siguientes oraciones son proposiciones? Justificar la respuesta

a. El uranio es un elemento radioactivo PREPOSICIÓN

b. ¡Camina rápido! NO ES PREPOSICIÓN
c. 4 + y = 2x NO ES PREPOSICIÓN
d. ¿A qué hora llegaste? NO ES PREPOSICIÓN
e. Es tarde NO ES PREPOSICIÓN
f. La casa de la esquina es azul PREPOSICIÓN
g. México limita al Norte con Canadá PREPOSICIÓN
h. Haré lo que pueda NO ES PREPOSICIÓN
i. El agua es un líquido incoloro PREPOSICIÓN
j. La Luna gira alrededor de la Tierra PREPOSICIÓN
k. El Sol es el centro del Universo PREPOSICIÓN
l. El oro es muy lujoso y costoso PREPOSICIÓN
m. El Everest no es la montaña más alta de la Tierra PREPOSICIÓN
Son Proposiciones porque son afirmaciones que pueden ser verdaderas o falsas y las que no lo
son, es debido a que no se puede afirmar su es verdadero o falso.
2. Traducir del lenguaje natural al simbólico las siguientes proposiciones:
a. Si llueve, entonces me mojo
p: llueve
s: me mojo
p ⟹𝑠

b. Los meteorólogos no se equivocan

q: los meteorólogos no se equivocan
∼𝑞

c. Si llueve o hace frío, entonces no es cierto que los meteorólogos no se equivocan

p: llueve
s: hace frio
m: meteorológicos no se equivocan
(p ∨ s) ⟹ ∼(∼m)

d. No es cierto que llueva y me mojo

p: llueva
r: me mojo
∼p ∧ r
e. Si llueve, entonces habrá buenas cosechas abundantes frutas
p: llueve
s: habrá buenas cosechas
r: abundantes frutas
p⟹𝑠∧r

f. Llueve, nieva y graniza .

p∧q∧r

g. Si llueve y hace frío, entonces graniza

p: llueve
s: hace frío
r: graniza
(p ∧ s)⇔ r

h. Iré al cine si y solo si no llueve y no hace frío

p= ir a cine
q: no llueve
r: hace frio
p ⇔ ∼q ∧ r

i. Iremos de vacaciones o a la playa o a la montaña

p: vacaciones
q: playa
r: montaña
p∨q∨r

j. No llueve o no me mojo
p: llueve
q: mojo
∼p ∨ ∼q

k. Si Pedro va al cine y Luis al circo, entonces tomarán un taxi o el autobús.

p: predo va al cine
q: Luis va al circo
r: tomarán taxi
s: tomarán autobús
(p ∧ q)⇔ (r ∨ s)

l. Si la Luna gira alrededor de la Tierra hay mareas

p= la luna gira alrededor de la tierra
q= hay mareas
p ⟹q
m. Si hay estrellas o el cielo está sereno, entonces no lloverá
r= hay estrellas
s= cielo está sereno
q= lloverá
(r ∨ s)⇔ ∼ q

3. Si las proposiciones simples

p y q son falsas y r y s son verdaderas.
¿Cuál es el valor de verdad de las siguientes proposiciones compuestas?

a. ∼ (𝑝 ∨ 𝑟)
∼(F ∨ V)
∼V
F
b. ∼ 𝑝 ∨∼ 𝑟
V ∨ F
V
c. ∼ 𝑞 ∧ 𝑠
V ∧ V
V
d. 𝑝 ∨ 𝑞
F ∨ F
F
e. ∼ (∼ 𝑝 ∧∼ 𝑞)
∼ (V ∧ V)
∼ (V)
F
f. ∼ [(𝑝 ∧ 𝑞) ∨ 𝑟]
∼ [(F ∧ F) ∨ V]
∼ [F ∨ V]
∼ [V]
F
g. ∼ (∼ 𝑝 ∨∼ 𝑞) ⟹ 𝑠
∼ (∼F ∨∼ F) ⟹ V
∼ (V ∨ V) ⟹ V
∼ (V) ⟹ V
F⟹V
V
h. 𝑝 ⟹∼ 𝑝 ∨∼ 𝑟
F⟹V∨F
F⟹V
V
i. ∼ [(𝑝 ∧ 𝑞) ⇔ (∼ 𝑟 ∨ 𝑠)]
∼ [(F ∧ F) ⇔ (∼V ∨ V)]
∼ [(F ∧ F) ⇔ (F ∨ V)]
∼ [F ⇔ V]
 ∼ F
V
j. ∼ [∼ (∼ 𝑝) ∧∼ (∼ 𝑞)]
∼ [∼ V ∧∼ V]
∼[F∧ F]
∼F
V

4. Sean las proposiciones simples:

f: Como frutas y verduras
s: Estoy sano

Traducir del lenguaje simbólico al natural las siguientes proposiciones:

a. 𝑓 ∧ 𝑠
Como frutas y verduras y estoy sano

b. ∼ 𝑓
No como frutas y verduras

c. ∼ (∼ 𝑓)
Es falso que no Como frutas y verduras

d. 𝑓 ∧∼ 𝑠
Como frutas y verduras y no estoy sano

e. ∼ (𝑓 ∨ 𝑠)
No como frutas y verduras o no estoy sano

f. (𝑓 ⟹∼ 𝑠)
Si Como frutas y verduras entonces no estoy sano

g. ∼ (𝑓 ⇔ 𝑠)
No como frutas y verduras si y solo si no estoy sano

h. 𝑓 ⟹∼ (𝑓 ∧ 𝑠)
Si Como frutas y verduras entonces no como frutas y verduras y estoy sano

i. ∼ (𝑓 ⟹ 𝑠)
Si no como frutas y verduras entonces estoy sano

j. ∼ (∼ 𝑓) ⟹∼ (∼ 𝑠)
Si como frutas y verduras si entonces estoy sano

5. Obtener la tabla de verdad de las siguientes proposiciones compuestas.

a. ∼ 𝑟 ∧∼ 𝑠
r s ∼𝑟 ∼𝑠 ∼ 𝑟 ∧∼ 𝑠
V V F F F
V F F V F
F V V F F
F F V V V

b. ∼ (𝑟 ∧ 𝑠)
r s r ∧s ∼ (𝑟 ∧ 𝑠)
V V F V
V F F V
F V F V
F F V F

c. ∼ 𝑟 ∨∼ 𝑠
r s ∼𝑟 ∼𝑠 ∼ 𝑟 ∨∼ 𝑠
V V F F F
V F F V V
F V V F V
F F V V V

d. 𝑟 ∧ (𝑟 ∨ 𝑠)
r s r ∨s 𝑟 ∧ (𝑟 ∨ 𝑠)
V V V V
V F V V
F V V F
F F F F

e. (𝑟 ∨∼ 𝑟) ∧∼ 𝑠
r s ∼𝑟 ∼𝑠 𝑟 ∨∼ (𝑟 ∨∼ 𝑟) ∧∼
𝑟 𝑠
V V F F V F
V F F V V V
F V V F V F
F F V V V V

f. (𝑟 ∧ 𝑠) ∧∼ 𝑠
r s ∼𝑠 𝑟∧𝑠 (𝑟 ∧ 𝑠) ∧∼ 𝑠
V V F V F
V F V F F
F V F F F
F F V F F
g. ∼ (𝑟 ∨ 𝑠)
r s 𝑟∨s ∼ (𝑟 ∨ 𝑠)
V V V F
V F V F
F V V F
F F F V

h. ∼ (∼ 𝑟) ∨ (𝑠 ∧ 𝑡)
r s t ∼𝑟 𝑠∧ ∼ (∼ 𝑟) ∼ (∼ 𝑟) ∨ (𝑠 ∧ 𝑡)
𝑡
V V V F V V V
V V F F F V V
V F V F V V V
V F F F F V V
F V V V F F F
F V F V F F F
F F V V F F F
F F F V F F F

i. (𝑟 ∧∼ 𝑠) ⟹ ( 𝑟 ∨ 𝑡)
r s t ∼s 𝑟 ∧∼ 𝑠 𝑟∨𝑡 (𝑟 ∧∼ 𝑠) ⟹ ( 𝑟
∨ 𝑡)
V V V F F V V
V V F F F V V
V F V V V V V
V F F V V V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F F V

j. 𝑟 ∧ (𝑠 ⟹∼ 𝑡)
r s t ∼t 𝑠 ⟹∼ 𝑡 𝑟 ∧ (𝑠 ⟹∼
𝑡)

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