LA LÓGICA MATEMÁTICA

AUTOR

PENAGOS SOACHA EDUAR ENRIQUE

FACULTAD DE EDUCACIÓN

CORPORACIÓN UNIVERSITARIA IBEROAMERICANA

LICENCIATURA EN MATEMATICAS

BOGOTÁ D.C.

2022
 LA LÓGICA MATEMÁTICA

AUTOR

PENAGOS SOACHA EDUAR ENRIQUE

FACULTAD DE EDUCACIÓN

DOCENTE

JAVIER JIMENEZ

CORPORACIÓN UNIVERSITARIA IBEROAMERICANA

LICENCIATURA EN MATEMATICAS

20 DE MARZO 2022
 OBJETIVO GENERAL

Reconocer y desarrollar de forma práctica las diferentes proposiciones

teniendo en cuenta las variaciones que pueden tener y así mismo se puedan

ubicar en una tabla de verdad.

OBJETIVOS ESPECIFICOS

Analizar e identificar cuando una proposición es simple o compuesta

teniendo en cuenta el enunciado que brinde.

Reconocer y manejar el lenguaje simbólico adecuado para cada una de las

proposiciones planteadas usando el material de apoyo que es brindado por el

tutor del área.

TALLER PRÁCTICO

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

respuesta

a. El uranio es un elemento radioactivo (V)

R/ Es una proposición, ya que su valor de verdad es verdadero.
b. ¡Camina rápido!
R/ No es una proposición, pues es una oración de exclamación y por lo
tanto no tiene un valor verdadero o falso.
c. 4 + y = 2x
R/ No es una proposición, pues no podemos definir su valor de verdad por las
variables desconocidas.
d. ¿A qué hora llegaste?
R/ No es una proposición, ya que es una oración interrogativa.
e. Es tarde
R/ No es proposición, pues es una oración de un tiempo que no conocemos y
por lo tanto no podemos darle el valor de verdad.
f. La casa de la esquina es azul (F)
R/ Es una proposición, ya que su valor de verdad es falso.
g. México limita al Norte con Canadá (F)
R/ Es una proposición, pues su valor de verdad es falso
h. Haré lo que pueda
i. El agua es un líquido incoloro (F)
R/ Es una proposición, su valor de verdad es falso.
j. La Luna gira alrededor de la Tierra (V)
R/ Es una proposición, pues su valor de verdad es verdadero.
k. El Sol es el centro del Universo (V)
R/ Es una proposición, pues su valor de verdad es verdadero.
l. El oro es muy lujoso y costoso (V)
R/ Es proposición, pues su valor de verdad es verdadero.
m. El Everest no es la montaña más alta de la Tierra (F)
R/ Es proposición, pues su valor de verdad es falso.

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

a. Sí llueve, entonces me mojo

p: Si llueve
q: me mojare
p→q
b. Los meteorólogos no se equivocan
¬s

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

equivocan
r: Si llueve o hace frio
s: No es cierto que los meteorólogos no se equivocan.
r →¬(¬ s)

d. No es cierto que llueva y me mojo.

p: No es cierto que llueva y me mojo
¬p

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

m: Si llueve
n: Habrá cosechas abundantes de frutas.
m→n

f. Llueve, nieva y graniza.

d: Llueve
e: Nieva
f: Graniza.
d (e^f)

g. Si llueve y hace frio, entonces granizara

p: Si llueve
q: Hace frio
r: Granizara
(p ^ q) → r
h. lré al cine si y solo si no llueve y no hace frio
p: Iré al cine
q: No llueve
r: No hace frio.
p↔ (¬q ^ ¬r)
i. Iremos de vacaciones o a la playa o a la montaña.
r: Iremos de vacaciones a la playa
s: Iremos de vacaciones a la montaña
r˅s
No llueve o no me mojo
¬p: No llueve
¬q: No me mojo
¬p v ¬ q

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

P: Pedro va al cine
q: Luis va al circo
r: Tomaran taxi
s: Tomaran autobús
(p ^ q) → (r ˅ s)
k. Si la Luna gira alrededor de la Tierra hay mareas
p: Si la luna gira alrededor de la tierra hay mareas (V).

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

e: Si hay estrellas o el cielo este sereno
d: No lloverá
e →f
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 F

b. ∼𝑝∨∼𝑟
𝑝 𝑟 ∼𝑝 ∼𝑟 ∼𝑝∨∼𝑟
F V V F V

c. ∼𝑞𝖠𝑠
𝑞 𝑠 ∼𝑞 ∼ 𝑞𝖠𝑠
F V V F

d. 𝑝∨𝑞
𝑝 𝑞 𝑝∨𝑞
F F F

e. ∼(∼𝑝𝖠∼𝑞)
𝑝 𝑞 ∼𝑝 ∼𝑞 ∼(∼𝑝𝖠∼𝑞)
F F V V F
f. ∼[(𝑝𝖠𝑞)∨𝑟]
𝑝 𝑞 𝑟 𝑝𝖠𝑞 (𝑝𝖠𝑞)∨𝑟 ∼[(𝑝𝖠𝑞)∨𝑟]
F F V F V F

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

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

F F V V V V F V

h. 𝑝⟹∼𝑝∨∼𝑟
𝑝 𝑟 ∼𝑝 ∼𝑟 ∼𝑝∨∼𝑟 𝑝⟹∼𝑝∨∼𝑟
F V V F V V

i. ∼[(𝑝𝖠𝑞)⇔(∼𝑟∨𝑠)]
𝑝 𝑞 𝑟 𝑠 𝑝𝖠𝑞 ∼𝑟 ∼𝑟∨𝑠 (𝑝𝖠𝑞)⇔(∼𝑟∨𝑠) ∼[(𝑝𝖠𝑞)⇔(∼𝑟∨𝑠)]
F F V V F F V F V

j. ∼[∼(∼𝑝)𝖠∼(∼𝑞)]
𝑝 𝑞 ∼𝑝 ∼𝑞 ∼(∼𝑝) ∼(∼𝑞) ∼(∼𝑝)𝖠∼(∼𝑞) ∼[∼(∼𝑝)𝖠∼(∼𝑞)]
F F 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. ∼(∼𝑓)
No es cierto, que no como frutas y verduras.
d. 𝑓𝖠∼𝑠
Como frutas y verduras y no estoy sano.
e. ∼(𝑓∨𝑠)
No es cierto, que como frutas y verduras o estoy sano
f. (𝑓⟹∼𝑠)
Si como frutas y verduras, entonces no estoy sano.
g. ∼(𝑓⇔𝑠)
No es cierto, que como frutas y verduras si solo si estoy sano.
h. 𝑓⟹∼(𝑓𝖠𝑠)
Si como frutas y verduras entonces no es cierto que, como frutas y verduras y
estoy sano.
i. ∼(𝑓⟹𝑠)
No es cierto que, si como frutas y verduras entonces estoy sano.
j. ∼(∼𝑓)⟹∼(∼𝑠)
Si no es cierto que no como frutas y verduras, entonces no es cierto que
estoy sano.

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

a. ∼𝑟𝖠∼𝑠
r s r^s ∼𝑟 ∼s ∼𝑟𝖠∼𝑠
V V V F F F
V F F F V F
F V F V F F
F F F V V V

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

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

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

f. (𝑟𝖠𝑠)𝖠∼𝑠
r s 𝑟𝖠𝑠 ∼𝑠 (𝑟𝖠𝑠)𝖠∼𝑠
V V V F F
V F F V F
F V F F F
F F F V F

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

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

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

r s t ∼𝑡 𝑠 ⟹∼𝑡 𝑟𝖠(𝑠 ⟹∼𝑡)

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

CONCLUSIONES

En el desarrollo de esta actividad se lograron comprender de una manera más

práctica la temática de lógica proposicional teniendo en cuenta si el término es
verdadero o falso.

El conocimiento del lenguaje simbólico es importante en la medida del

desarrollo de las proposiciones, las disyunciones y poderlas ubicar en la tabla de
verdad.

Referencias

GONZÁLEZ, G. A. (2012). Lógica matemática. UNAD. Medellín.

Villalpando, J., & García, A. (2014). Matemáticas discretas: Aplicaciones y ejercicios.

México: Grupo Editorial Patria, SA de CV.

Fundamentos de matemáticas y lógica de Eduardo Gutierrez Gonzalez (2010)

Matemáticas básicas de Rafael Escudero (2015).

Matemáticas discretas: aplicaciones y ejercicios de Francisco Villalpando Becerra

(2015).