“Año de la Diversificación Productiva y del Fortalecimiento

de la Educación”

Unidad Didáctica: Lógica y Funciones

Tema: Introducción a la Lógica Matemática
Asesor: Oscar Neyra Quijandría
Grupo: 2MSAB
Integrantes:

 IDIÑO JOVER QUISPE RAYMUNDEZ (Responsable)

 WILMER JHON FLORES TORRE
 LARRY HARDANS URBANO QUISPE
 ANGELICA FERNANDEZ DIAZ
 JOISE OVANDO CORVACHO
 MARY QUISPE CURI
 LEYDER LEÓN GARCÍA
 ERICKA MACEDO PILLCO
 ALBIN SMITH VARGAS ROSALES

Perú- Lima 2015

 Parte Teórica

Responder en forma clara, precisa, rigurosa y debidamente justificada cada una de las
siguientes preguntas planteadas:

1. A lo largo de la historia de la lógica, los conectivos lógicos se han venido representando

de diversas maneras, muchas de estas, aportes de quienes estudiaban esta rama de la
filosofía. Investigar cuáles son las notaciones más utilizadas para representar este aspecto
de la lógica.

2. Nosotros, por lo general estamos acostumbrados a manejar dentro de la llamada “lógica

proposicional” las denominadas tablas de verdad, en donde a la letra V se le emplea para
indicar lo verdadero y a la letra F para señalar lo falso. Investigar cuáles son las notaciones
y las tablas de verdad utilizadas en el mundo de la informática.

3. Para simplificar fórmulas lógicas se emplean las llamadas “leyes del álgebra
proposicional”. Mencionar ordenadamente todas estas leyes indicando su respectivo
nombre.

4. Explicar brevemente la relación existente entre la Teoría de conjuntos y la Lógica

matemática.

Lógica y Funciones
 Parte Práctica:
Desarrollar en forma ordenada, clara y precisa, cada una de las actividades planteadas:

01. Simboliza las siguientes proposiciones:

a) No vi la película, pero leí la novela: ¬p ˄ q

b) Ni vi la película ni leí la novela: ¬p ˄ ¬q

c) No es cierto que viese la película y leyese la novela: ¬(p ˄ q)

d) Vi la película aunque no leí la novela: p ˄ ¬q

e) No me gusta trasnochar ni madrugar: ¬p ˄ ¬q

f) O tú estás equivocado o es falsa la noticia que has leído: p˅q

g) Si no estuvieras loca, no habrías venido aquí: ¬p → ¬q

h) Llueve y o bien nieva o sopla el viento: p ˄ (q ˅ r)

i) está lloviendo y nevando o está soplando el viento: (p ˄ q) ˅ r)

j) Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras

violaciones de los derechos civiles: p → (¬q ˄ ¬r)

k) Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura: p ↔ q

l) Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis.

Luego, tanto si viene en tren como si viene en coche, llegará antes de las seis:

p → q, r → q |- (p ˅ r) → q

Lógica y Funciones
02. Con la ayuda del software DERIVE 6 simplifica cada una de las fórmulas mostradas:

a. [(∼ 𝑝 →∼ (𝑝 → 𝑞)]⋁{[𝑝⋀(𝑝 → 𝑞)] → 𝑝}

b. [(∼ 𝑞 →∼ 𝑝)⋀ ∼ (∼ 𝑝 →∼ 𝑞)]⋁(𝑝 →∼ 𝑞)

c. (𝑝 →∼ 𝑞) ∧ [(𝑞 →∼ 𝑝) ∨ (𝑞 →∼ 𝑟)]

d. ∼ {[∼ 𝑝 ∧ (𝑞 ∨∼ 𝑟)] △ [(𝑞⋀ ∼ 𝑝)⋁ ∼ (𝑝 ∨ 𝑟)]}

e. ∼ (𝑞 ∨ 𝑟) → (𝑝 ∨∼ 𝑝)

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

g. [(𝑝 ∧ (𝑞 ∨ 𝑝) ∨∼ 𝑝] ∧ 𝑞

h. [∼ 𝑞 ∨ (𝑝 ∨ (∼ 𝑞 ∧∼ 𝑝))] ∧ 𝑝

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

j. {[(𝑟 ∨ 𝑠) ∨ (∼ 𝑟 ∨∼ 𝑠)] ∧∼ 𝑠} ∨ [𝑟 ∧ (𝑝 ∨∼ 𝑟)]

03. Suponiendo que el costo de instalación de cada llave es de $15, en cada uno de los circuitos
mostrados. ¿En cuánto se reducirá el costo de la instalación, de cada uno de estos, si se
reemplaza dicho circuito por el más simple posible?
Marcar también como respuesta, la alternativa que contenga el circuito sustituto.
(Ayudarse del software DERIVE 6).

I.

∼𝑝 𝑞

p ∼𝑞

a) 𝑝 ∨∼ 𝑝
b)
c) ∼ 𝑞
d)
e) 𝑝 ∨ 𝑞

Lógica y Funciones
II.

p ∼𝑞

∼𝑝 q

a) 𝑝∨𝑞
b) 𝑝→𝑞
c) 𝑝↔𝑞
d) 𝑝⋀𝑞
e) 𝑝△𝑞

I
I
I
.

∼𝑝 ∼𝑞

q p

a) 𝑝↔𝑞
b) ∼𝑝∨𝑞
c) 𝑝△𝑞
d) 𝑝→𝑞
e) V

IV.

(𝑝 ∧ 𝑞 )

a)
b) 𝑝 ∨ 𝑞
c) ∼ 𝑝

Lógica y Funciones
 d)
e) 𝑝⋀𝑞

V.

∼ (𝑝 ∧ 𝑞 )

∼ (𝑝 ∧ 𝑞 ) ∼𝑞

a)
b) ∼ 𝑝
c)
d) ∼ 𝑞
e) 𝑝⋀𝑞

VI.

~𝑝

p (𝑝 ∧ 𝑞 )

a) 𝑝 ∨ 𝑞
b)
c)
d) ∼ 𝑞
e) 𝑝⋀𝑞

VII.

p ∼𝑟
p q r p
q q

a) 𝑝 ∧ 𝑞 ∨∼ 𝑟

Lógica y Funciones
 b) 𝑝→𝑞∨𝑟
c) 𝑝∧𝑞∧𝑟
d) 𝑝∨𝑞∧𝑟
e) (𝑝 ∧ 𝑟) → 𝑞

VIII.

p p

q ∼𝑞

a) ∼ 𝑝
b)
c)
d) ∼ 𝑞 ∧ 𝑝
e) 𝑞 ∧ 𝑝

IX.

p q

∼𝑝 q

q r

a) ∼𝑝
b) 𝑝∧𝑞
c) ∼𝑞
d)
e) 𝑝∨𝑞

X.

Lógica y Funciones
 p p

∼𝑞 q

p q

a) 𝑝 ∨ 𝑞 b) 𝑝 → 𝑞 c) d) e) ∼ 𝑝

04. Dados los siguientes circuitos; encontrar su función lógica

I.

II.

III.

Lógica y Funciones
IV.

V.

VI.

VII.

Lógica y Funciones
 05. Determinar los circuitos, tanto en términos de interruptores como de compuertas,
correspondientes a las proposiciones.

a) ~𝒑 ∨ 𝒒
b) (∼ 𝒑 ∨ 𝒒) ∧ (∼ 𝒒 ∨ 𝒑)

c) (𝒑 ∧∼ 𝒒) ∨ (𝒒 ∧∼ 𝒑)

06. Análisis de situaciones lógica.

Problema 1: Si el examen comenzó a las 8 am y Lucy llegó a la hora indicada, entonces Petra no llegó
15 minutos más temprano que Lucy o no se presentó al examen.

Sabiendo que la proposición anterior es falsa, contestar las siguientes preguntas:

a) ¿Llegó Lucy a la hora indicada para el examen?

b) ¿A qué hora llegó Petra?
c) ¿Se presentó Petra al examen?

Problema 2: El campeonato no dio sorpresas y los Tiburones ganaron la copa si y sólo si o los
Cardenales no participaron o los Tiburones no ganaron la copa.

Sabiendo que la proposición anterior es verdadera y que los Cardenales si participaron, contestar las
siguientes preguntas:

a) ¿Dio sorpresas el campeonato?

b) ¿Ganaron la copa los Tiburones?

Lógica y Funciones
Problema 3: Si la función de las 9:30 pm en el cine empezó a la hora exacta y Pedro llegó a tiempo,
entonces María no llegó 30 minutos más temprano que Pedro o no asistió a esta función. Sabiendo
que esta proposición es falsa, responder a las siguientes preguntas:

a) ¿Llegó a tiempo Pedro?

b) ¿Asistió María a la función?
c) ¿A qué hora llegó María?

Problema 4: Lloré por mi amada y el alcaraván compañero le contó al barranco, si y sólo si o el gallito
lagunero no la fue a buscar o el alcaraván compañero no le contó al barranco.

Si la proposición mostrada es verdadera y el gallito lagunero si la fue a buscar, contestar las siguientes
preguntas:

a) ¿Lloré por mi amada?

b) ¿El alcaraván compañero le contó al barranco?

Problema 5: O no veo televisión y hago gimnasia o si hago gimnasia, no hago dieta ni veo televisión.

Si la proposición es falsa y si se hizo dieta, determinar:

a) ¿Se hizo gimnasia?

b) ¿Se vio televisión?

Lógica y Funciones
Lógica y Funciones