Paso 2.

Ejercitación unidad 1

Andrea Estefany Roa Beltrán

Código: 1007473723

Grupo: 551105_18
Lógica Matemática

Presentado a

Jeisson Rodríguez

Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Escuela Ciencias de la Educación – ECEDU

Licenciatura en matemáticas
Marzo 2020
 Introducción

La lógica matemática es una ciencia que estudia la razón por ende los métodos

de razonamiento, proporciona reglas y técnicas para determinar si un argumento es

válido o no, indica la forma correcta de obtener conclusiones y los métodos adecuados

para llegar a ellas; con acción pedagógica se logra desarrollar una serie de habilidades

del pensamiento como lo son el análisis, síntesis, abstracción, comparación, inducción y

deducción, aparte que genera el llamado aprendizaje autónomo y la autogestión

formativa y luego resolver una multitud de situaciones problémicas.

También aporta nuevos saberes que posteriormente desarrollan unas estrategias

pedagógicas para la teoría de conjuntos, para comprender en sí la lógica, deducción,

inferencia y razonamientos.

En el presente trabajo se aborda la temática de la Unidad 1. Cálculo

Proposicional e Inferencia Lógica donde se hace el estudio y desarrollo de los temas y

conceptos como proposiciones lógicas, enunciados y conectivos, reglas de inferencia y

demostraciones, otras reglas de inferencia, tablas de verdad, tautologías

 Actividad

Preguntas generadoras:

• Un buque que se encuentra anclado en un atracadero tiene fija a unos de sus

costados una escalera en la que la diferencia de altura entre cada peldaño es

de 50 cm. Si el agua está a nivel del segundo escalón y la marea empieza a

subir a razón de 50 cm por hora. ¿Al nivel de qué escalón se encontrará el agua

tres horas después?

N de altura de cada escalera de peldaño→50 cm

P segundo nivel de escalón

Marea sube 50 cm * h

Se supondría que a simple vista estaría en el quinto nivel de escalón al cabo de las tres

horas

Pero debemos analizar la escena y en este caso imaginar para llegar a comprender y

concluir que cambia por el factor marea.

Sube la marea y por ende el objeto en este caso el buque

• Al leer cada uno de los siguientes textos ¿Cuál sería el orden lógico de los

párrafos para tener un texto coherente?

a) Cuando Edison lo vio lo único que dijo fue:

b) Gracias a Dios, podemos empezar de nuevo

c) En aquel momento tenía 67 años

d) El laboratorio de Thomas Edison fue prácticamente destruido por un incendio en

diciembre de 1914

e) Que se pensaba no iba arder

f) Aunque el laboratorio era de cemento

g) Sin embargo, cuando su hijo Charles encontró a Edison

h) Con su cabello blanco ondeando en el viento

i) “este incendio es de gran valor, todos nuestros errores se están quemando con

el”

j) Por lo tanto, gran parte del trabajo de Edison se destruyó esa noche

k) Tres semanas después del incendio Edison fabricó su primer fonógrafo.

d.El laboratorio de Thomas Edison fue prácticamente destruido por un incendio

en diciembre de 1914, f-aunque el laboratorio era de cemento e-que se pensaba

no iba arder j- Por lo tanto, gran parte del trabajo de Edison se destruyó esa

noche, g- Sin embargo, cuando su hijo Charles encontró a Edison -c. en aquel

momento tenía 67 años h. Con su cabello blanco ondeando en el viento a.

Cuando Edison lo vio lo único que dijo fue i. “este incendio es de gran valor, todos
 nuestros errores se están quemando con el” b. Gracias a Dios, podemos empezar

de nuevo

k.Tres semanas después del incendio Edison fabricó su primer fonógrafo.

Orden posterior: D, f, e, j, g, c ,h, a, i, b, k

• En Turquía se acostumbraba que los presos condenados a muerte eligieran la

forma de morir, para ello deberían de decir una proposición. Si la proposición era

verdadera lo decapitaban y si era falsa lo ahorcaban. El día del juicio un preso

judío dijo la siguiente proposición: “Seré ahorcado” y continuó “Si me ahorcan

van a quebrantar la ley puesto que lo que he dicho es verdad, por lo tanto,

deberían de decapitarme; pero si me decapitan, también van a quebrantar la ley

puesto que lo que he dicho es falso”.

¿Qué hacen con el judío, lo decapitan, lo ahorcan, lo dejan libre?

Lo ahorcan, decapitan, dejan libre

pero ¿?

No lo dejan libre de ninguna manera así tuviese la suerte más buena

Muere ya sea decapitado o ahorcado de todas formas

Ahora bien, ¿decapitado o ahorcado?

Analicemos:
Si la proposición era verdadera lo decapitaban y si era falsa lo ahorcaban. El día del juicio

un preso judío dijo la siguiente proposición:

“Seré ahorcado” y continuó “Si me ahorcan van a quebrantar la ley puesto que lo

que he dicho es verdad, por lo tanto, deberían de decapitarme; pero si me

decapitan, también van a quebrantar la ley puesto que lo que he dicho es falso”.

P: seré ahorcado

q: si me ahorcan van a quebrantar la ley puesto que lo que he dicho es verdad,

r: por lo tanto, deberían de decapitarme; pero si me decapitan, también van a quebrantar

la ley puesto que lo que he dicho es falso”

¬(p ^ ¬q ^ r) Proposición

v(p) = V, v(¬q) = V, v(r) = F Interpretación

v ¬(p ^ ¬q ^ r) = V Evaluación de la proposición, entonces lo decapitan.

Ejercicios trabajo individual

1. ¿Cuáles de las siguientes frases son proposiciones? ¿Cuál es el valor de verdad

de aquellas que son proposiciones?

• Cali es la capital de Colombia.

Es proposición al ser una frase de carácter declarativo y su valor de

verdad es falso

• Buenos Aires es la capital de Argentina.

Es una proposición de carácter declarativo y su valor verdad es verdadero

V

• 2+3=5. Es una proposición y su valor de verdad es verdadero V

 • ¿qué día es hoy? No es proposición. Se utiliza un lenguaje interrogativo

2. ¿Cuál es la negación de cada uno de los siguientes enunciados?

• Hoy es jueves.
Hoy no es jueves

• No hay polución en Bogotá.

Hay polución en Bogotá

• 2+1=3.
2+1≠ 3

• El verano de Villavicencio es cálido y soleado.

El verano de Villavicencio no es cálido ni soleado

3. Sean p y q los enunciados

p: “Está permitido nadar en la costa de

Cartagena”
q: “Se han divisado tiburones cerca de la
costa”

Exprese cada una de las siguientes proposiciones en lenguaje natural.

a) q
No se han divisado tiburones cerca de la Costa de Cartagena

b) p ∧ q
No está permitido nadar en la costa de Cartagena
Y se han divisado tiburones cerca.

c) p ∧ q

Está permitido nadar en la costa de Cartagena y se han divisado

tiburones cerca de la costa

d) p ∨ q
 No está permitido nadar en la Costa de Cartagena o se han divisado
tiburones cerca de la costa

4. Sean p y q los enunciados

p: “Estamos bajo cero”

q: “Nieva”,

Escriba los siguientes enunciados utilizando p, q y conectivos lógicos:

a) Estamos bajo cero y nieva. R= p∧ q

b) Estamos bajo cero, pero no nieva. R= p∧q

c) No estamos bajo cero y no nieva. R= p∧ q

d) Bien estamos bajo cero o bien nieva (o ambas cosas). R= (𝒑 ∨ 𝒒) ∨ (𝒑 ∧ 𝒒)

5. Sean p y q los enunciados

p: “Conduces a más de100 Km/h”

q: “Te multan por exceso de velocidad”,

Escriba los siguientes enunciados utilizando p, q y conectivos lógicos:

a. No conduces a más de 100 Km/h.

R=⌐p

b. Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad.

R=p∧⌐q

c. Te multarán por exceso de velocidad si conduces a más de 100 Km/h.

R= q→ p

d. Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad.

R= ∽ 𝒑 →∽ 𝒒
e. Conducir a más de 100 Km/h es suficiente para que te multen por exceso de
velocidad.

R= p→q

6. Sean p, q y r los enunciados:

p: “Se han visto osos pardos por la zona”

q: “Es seguro caminar por el sendero”
r: “Las bayas del sendero están seguras”.

Exprese los siguientes enunciados utilizando p, q, r y conectivos lógicos:

a. Las bayas del sendero están seguras, pero no se han visto osos pardos
por la zona.

R= r∧⌐p

b. No se han visto osos pardos por la zona y es seguro caminar

por el sendero, pero las bayas del sendero están seguras.

R=(⌐p∧q)∧ 𝒓

c. Si las bayas del sendero están seguras, es seguro caminar por el sendero
si, y sólo si, no se han visto osos pardos por la zona.

R= (r→ q) ↔⌐p

7. Escriba cada uno de los siguientes enunciados en la forma “si p, entonces q”.

a. Nieva siempre que el viento sopla del noreste.

Q= si sopla el viento del noreste entonces nieva

b. El manzano florecerá si el tiempo se mantiene cálido durante una semana.

Q= Si se mantiene el tiempo cálido durante una semana, entonces el

manzano florecerá

c. Que el Real Madrid gane el campeonato implica que venció al Barcelona.

Q=Si el Real Madrid ganó el campeonato entonces venció al

 Barcelona

8. Escriba cada uno de los siguientes enunciados en la forma “p si, y sólo si q”.

a) Si hace calor afuera, te compras un helado, y si te compras un helado,

hace calor afuera.

• Compras un helado si, y solo si hace calor afuera

b) Para ganar la rifa es necesario y suficiente tener el número ganador.

• Ganas la rifa si, y solo si tienes el numero ganador

c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si asciendes.

• Ascenderás si, y solo si tienes contactos

9. Enuncie la recíproca, la contrarrecíproca y la inversa de cada uno de los

siguientes condicionales.

a. Si un entero es par, entonces es divisible por 2.

Reciproca: Es divisible por dos entonces si es un entero

Contra reciproca: No es divisible por dos entonces si es un entero no es par

Inversa: Si un entero no es par, entonces no es divisible por dos

b. Voy a clases siempre que vaya a haber un control.

Reciproca: Cuando hay un control, entonces voy a clases

Contra reciproca: No va a haber control, entonces no voy a clases

Inversa: No voy a clases, entonces no va a haber control

c. Cuando me acuesto tarde, es necesario que duerma hasta el mediodía.

Reciproca: Es necesario que duerma hasta el mediodía, entonces me

acuesto tarde

Contra reciproca: No es necesario que duerma hasta el mediodía, entonces

no me acuesto tarde

Inversa: Cuando no me acuesto tarde, entonces no es necesario dormir

hasta el medio día

d. Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él

mismo.

Reciproca: Si no tiene otros divisores distintos de uno y él mismo, un entero

positivo es primo

Contra reciproca: Si tiene otros divisores distintos de uno y el mismo,

entonces un entero positivo, no es primo.

 Inversa: Un entero positivo no es primo, entonces si tiene otros divisores

distintos de uno y él mismo

10. Construir la tabla de verdad para:

a) p → q  ( q →  p )

b) r  s → q  (s   q ) →  r 
c) p → (q → r)

11. Utilizando el modus ponendus ponens, llegue a la conclusión C

a. P1: Si hoy es domingo, entonces hay futbol

P2: Hoy es domingo

C: Hay Futbol

b. P1: Si x es un número para, entonces x 2 es par

P2: x es un número par

C: x2

c. P1 : − p → q  s
 P2 : − p

C :𝒒 ∨ 𝒔

12. Utilizando el modus tollendo tollens, llegue a la conclusión C

a. P1 : Si estoy preparado profesionalmente, entonces triunfaré en mis negocios.

P2 : Fracasé en los negocios

C : No estoy preparado profesionalmente

b. P1 : S → t

P2 : (t )
C: ∽𝒔

c. P1 : p  q → r

P2 : (r )
C : ∽ (𝒑 ⋁ 𝒒)→r

13. Traduzca de dos formas cada una de las siguientes frases a expresiones

lógicas utilizando funciones proposicionales, cuantificadores y conectivos lógicos.

En primer lugar, el dominio consistirá en los estudiantes de tu clase, y en segundo

lugar, será el conjunto de todas las personas.

a) Alguien de tu clase habla inglés.

Tenemos la denominación

Alguien= A

Inglés = I

R=∃𝔁(𝑨𝔁 ⟶ 𝑰𝔁)

b) Todos en tu clase son amigables.

C=Amigables

R=A𝔁(𝑨𝔁 ⟶ 𝑪𝔁)

c) Hay una persona en tu clase que no nació en Bogotá.

B= Bogotá

R=∃𝔁(𝑨𝔁 ⟶ ¬𝑩𝔁)

d) Un estudiante de tu clase ha visto una película.

P= película

R==∃𝔁(𝑨𝔁 ⟶ 𝑷𝔁)
14. Traduzca cada una de las siguientes frases a expresiones lógicas utilizando

funciones proposicionales, cuantificadores y conectivos lógicos. El dominio es el

conjunto de todas las personas.

a) Nadie es perfecto.

∀= Todo

R=∀𝔁(𝔼𝔁 ⟶ ¬𝑷𝔁)

b) No todo el mundo es perfecto.

R=∀𝔁(𝑨𝔁 ⟶ 𝑷𝔁)

c) Todos tus amigos son perfectos.

𝑹 = ∃(𝑨𝔁 ⟶ 𝑷𝔁)

d) Cada uno de tus amigos es perfecto.

𝑹 = ∃(𝑨𝔁 ⟶ 𝑷𝔁)
 15. Traduzca cada una de las siguientes frases a expresiones lógicas de tres formas

diferentes, variando el dominio y utilizando funciones proposicionales con una y con

dos variables.

a) Un estudiante de tu universidad ha vivido en Cali.

b) Hay un estudiante de tu escuela que no habla ruso.

c) Un estudiante de tu escuela sabe Java, Prolog y C++.

Trabajo colaborativo

1. Responder los tres problemas iniciales dados en las preguntas generadoras

2. Verifique, con tablas de verdad, que los siguientes condicionales son tautologías

(p ∧ q) → (p → q)
3. Utilice una tabla de verdad para verificar la ley distributiva:

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ ( p ∧ r)

4. ¿Qué reglas de inferencia se utilizan en las siguientes deducciones?

• Alicia estudia matemáticas. Por tanto, Alicia estudia o bien matemáticas o

bien ingeniería.

Entonces tenemos:
p= Alicia estudia matemáticas
q=Alicia estudia ingeniería

pvq

Regla de la adición
 • Henry estudia matemáticas e ingeniería. Por tanto, Henry estudia

matemáticas.

p= Henrry estudia matemáticas

q= Henry estudia ingeniería

𝒑∧ 𝒒 Regla de la simplificación

• Si llueve, se cierra la piscina. Llueve; por tanto, está cerrada.

p= Llueve
q= se cierra la piscina

p
p=›q

Regla Modus ponens

• Si nieva hoy, se cerrará la universidad. La universidad no está cerrada

hoy. Por tanto, no nieva hoy.

p= Nieva hoy
q= Hoy se cerrará la universidad
p→q y ᷈ q son las premisas

᷈ q Conclusión

• Si voy a nadar, entonces estaré al sol demasiado tiempo. Si estoy al sol

demasiado tiempo, me quemaré. Por tanto, si voy a nadar me quemaré.

P= Voy a nadar
Q= estoy al sol demasiado tiempo
R= me quemaré

Premisas
 p→q y q →r
Entonces por conclusión p →r

p→q
q →r
_____
֒p →r

Regla de silogismo hipotético

5. Demuestre que la conclusión es consecuencia lógica de las premisas dadas.

Si el reloj está adelantado, entonces Juan llegó antes de la diez y vio partir el coche

de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés.

O Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj está

adelantado. Por lo tanto, Andrés estaba en el edificio en el momento del crimen.

p=el reloj está adelantado

q= Juan llegó antes de las diez vio partir el coche de Andrés

r= Andrés dice la verdad

p=›q

________

∴𝑞

r=Andrés dice la verdad

∽ 𝑞 𝐽𝑢𝑎𝑛 𝑛𝑜 𝑣𝑖𝑜 𝑝𝑎𝑟𝑡𝑖𝑟 𝑒𝑙 𝑐𝑜𝑐ℎ𝑒 𝑑𝑒 𝐴𝑛𝑑𝑟é𝑠

r= 𝑟 ⇒∽ 𝑟(𝐴𝑛𝑑𝑟é𝑠 𝑛𝑜 𝑑𝑖𝑐𝑒 𝑙𝑎 𝑣𝑒𝑟𝑑𝑎𝑑 )

o s=Andrés estaba en el edificio en el momento del crimen

𝒓∨𝒔

p= El reloj está adelantado

▪ 1.𝑝 => 𝑞

▪ 2.𝑟 =>∽ 𝑞

▪ 3.𝑟 ∨ 𝑠

▪ 4. p

▪ q MPP (1,4)

▪ ∽ 𝑟 𝑀𝑀𝑇 (2,4)

▪ q MMN (5,2)

Por lo tanto, Andrés si se encontraba en el edificio en el momento del crimen

 Conclusión

• Las proposiciones son expresiones lingüísticas que se clasifican en

simples y compuestas. Las simples son las que tienen un sentido

completo y su valor puede ser falso o verdadero, las compuestas por su

parte son la unión de dos o más proposiciones simples a través de

términos de enlace.

• Los términos de enlace son letras o símbolos que permiten unir

proposiciones sin perder el sentido lógico; estos se clasifican en:

Y= Conjunción Ʌ

O = Disyunción ⱽ

No= Negación ⌐

Si…entonces=Condicional →

Si, y sólo si=Bicondicional ↔

• Se utiliza un sistema de signos que expresan ideas este es el lenguaje

que puede ser natural o artificial.

• Se logró e identifico el propósito y temática de estudio de los temas

relacionados en la presente unidad mediante la realización de las

situaciones problemas planteadas.

 Bibliografía

• Cardona, S.(2010). Lógica matemática para ingeniería de sistemas

y computación. Recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3199701
 • Domingo A. (2009). Lógica matemática. Junio 14 de 2014. De

monografías. Recuperado de http://www.monografias.com/trabajos-pdf3/logica-

matematica/logica-matematica.pdf