Taller De Afianzamiento N.

º 1

Lógica Proposicional

Johan Jair Adrada Acevedo

Docente:
William Camilo López Vega

Curso:
Lógica Matemática

Corporación Universitaria Iberoamericana

24 de marzo de 2023
 Objetivos

General:

➢ Desarrollar eficientemente cada uno de los puntos establecidos en taller de Lógica

Proposicional.

Específicos:

➢ Detallar la finalidad de cada enunciado en el taller.

➢ Organizar de manera correcta cada proposición.

➢ Comprar el resultado en cada punto para asegurarme que están bien.

Problemas propuestos:

1. ¿Cuáles de las siguientes oraciones son proposiciones? Justifica tu respuesta.

a. El uranio es un elemento radiactivo

b. ¡Camina rápido¡

c. 4 + y = 2x

d. ¿A qué hora llegaste?

e. Es tarde

f. La casa de la esquina es azul

g. México limita al norte con Canadá

h. Hare lo que pueda

i. El agua es un líquido incoloro

j. La luna gira alrededor de la tierra

k. El sol es el centro del universo

l. El oro es muy lujoso y costoso

m. El Everest no es la montaña más alta de la tierra.

Solución: Las oraciones que son proposiciones son: a, c, e, f, g, i, k, l, m porque si realizamos

una búsqueda podemos determinar si son verdaderas o falsas.

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

a. Si llueve, entonces me mojo

▪ p⟹q

b. Los meteorólogos no se equivocan

▪ ~p
c. Si llueve o hace frio, entonces no es cierto que los meteorólogos no se equivocan.

▪ (p V q) ⟹ ~ (~r )

d. No es cierto que llueva y me mojo.

▪ ~p ∧ q

e. Si llueve, entonces habrá buenas cosechas y abundantes frutas.

▪ p ⟹ (q ∧ r)

f. llueve, nieva y graniza

▪ p∧q∧r

g. si llueve y hace frio, entonces graniza.

▪ (p ∧ q) ⟹r

h. iré al cine si y solo si no llueve y no hace frio.

▪ p ⇔ (~q ∧ ~r)

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

▪ p∨q∨r

j. No llueve o no me mojo.

▪ ~p ∨ ~ q

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

▪ (p ∧ q) ⟹ (r ∨ s)

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

▪ p⟹q

m. Si hay estrellas o el cielo está sereno, entonces no lloverá.

▪ p ∨ q ⟹ ~r
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. ∼ (𝑝 ∨ 𝑟)

p r (p v r) ~ (p v r)

f v v f

b. ∼ 𝑝 ∨∼ 𝑟

p r ~p ~r ~pV~r

f v v f v

c. ∼ 𝑞 ∧ 𝑠

q s ~q ~q^s

f v v v

d. 𝑝 ∨ 𝑞

p q pVq

f f f

e. ∼ (∼ 𝑝 ∧∼ 𝑞)
 p q ~p ~q (~p ^ ~q) ~(~p ^ ~q)

f f v v v f

f. ∼ [(𝑝 ∧ 𝑞) ∨ 𝑟]

p q r (p ^ q) [(p ^ q) V r] ~ [(p ^ q) V r]

f f v f v f

g. ∼ (∼ 𝑝 ∨∼ 𝑞) ⟹ 𝑠

p q s ~p ~q (~p V ~q) (~p V ~q) ⟹ s ~ (~p V ~q) ⟹ s

f f v v v v v f

h. 𝑝 ⟹∼ 𝑝 ∨∼ 𝑟

p r ~p ~r ~p V ~r p ⟹ ~p V ~r

f v v f v v

i. ∼ [(𝑝 ∧ 𝑞) ⇔ (∼ 𝑟 ∨ 𝑠)]

p q r s ~r (p ∧ q) (~r V s) [(p ^ q) ⇔ (~r V s)] ~ [(p ^ q) ⇔ (~r V s)]

f f v v f f v f v

j. ∼ [∼ (∼ 𝑝) ∧∼ (∼ 𝑞)]
 p q ~p ~q ~(~p) ~(~q) ~(~p) ∧ ~(~q) ~ [~(~p) ∧ ~(~q)]

f f v v f f f v

4. Las proposiciones simples:

f. Como frutas y verduras

s. Estoy sano.

Traducir al lenguaje simbólico al Natural las siguientes proposiciones:

a. f∧s

▪ Como frutas y verduras y estoy sano.

b. ∼f

▪ No como frutas y verduras.

c. ∼ (∼f)

▪ Como frutas y verduras

d. f ∧ ~ s

▪ Como frutas y verduras y no estoy sano

e. ~ (f ∨ s)

▪ No como frutas y verduras o estoy sano

f. (f ⟹ ~s)

▪ Si como frutas y verduras, entonces no estoy sano.

g. ~ (f ⇔ s)

▪ No como frutas y verduras si y solo si estoy sano

h. f ⟹ ~(f ∧ s)
 ▪ sí como frutas y verduras, entonces no como frutas y verduras y estoy sano

i. ~ (f ⟹ s)

▪ No como frutas y verduras, entones estoy sano.

j. ~ (~f) ⟹ ~ (~s)

▪ no no como frutas y verduras, entonces no no estoy sano.

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

a. ~r ∧ ~s

r s ~r ~s ~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 (r ∧ s) ~ (r ∧ s)

v v v f

v f f v

f v f v

f f f v

c. ~r V ~s
r s ~r ~s ~r V ~s

v v f f f

v f f v v

f v v f v

f f v v v

d. r ∧ (r V s)

r s r V s r ∧ (r V s)

v v v v

v f v v

f v v f

f f f f

e. (r V ~r) ∧ ~s

r s ~r ~s r V ~r (r V ~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) ∧ ~s
r s ~s r∧s (r ∧ s ) ∧ ~s

v v f v f

v f v f f

f v f f f

f f v f f

g. ~ (r V s)

r s r V s ~(r V s)

v v v f

v f v f

f v v f

f f f v

h. ~ (~r) V (s ∧ t)

r s t ~r (s ∧ t) (~r) V (s ∧ t) ~(~r) V (s ∧ t)
v v v f v v f

v v f f f f v

v f v f f f v

v f f f f f v

f v v v v v f

f v f v f f v

f f v v f v f

f v f v f v f

i. (r ∧ ~s) ⟹ (r V t)

r s t ~s r ∧ ~s rVt (r ∧ ~s) ⟹ (r V t)

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 f

f f v v f v v

f f f v f f f

j. r ∧ (s ⟹ ~t)
r s t ~t s ⟹ ~t r ∧ (s ⟹ ~t)

v v v f f f

v v f v v v

v f v f f f

v f f v v v

f v v f f f

f v f v v f

f f v f f f

f f f v v f
 Bibliografía

➢ Escudero Trujillo, R., & Rojas Álvarez, C. (2015). Matemáticas básicas: Vol. 4a edición

revisada. Barranquilla: Universidad del Norte

➢ Villalpando Becerra, J. F. (2015). Matemáticas discretas: aplicaciones y ejercicios.

México: Grupo Editorial Patria.

➢ Gutiérrez González, E. (2010). Fundamentos de matemáticas y lógica. México: Instituto