Ejercicios propuestos de introducción a la lógica

SEMESTRE : Primero APELLIDOS : HERRERA MATA

ASIGNATURA : Matemática Básica NOMBRES : HERNAN AUGUSTO

22-10-
DOCENTE : Mg. Elsa Lagos Quispe FECHA: NOTA:
20202

INSTRUCCIONES: Lee, analiza y resuelve los siguientes ejercicios.

¡Se honesto contigo mismo, no copies, ni dejes copiar!

Proposiciones

Entre las siguientes expresiones unas son proposiciones y otras no. Escriba dentro de los paréntesis
que se encuentra frente a cada expresión la palabra Sí en caso de que ésta sea proposición y la
palabra No, en caso contrario.

1. El manco de Lepanto ( No ) 23. “la noche está estrellada y tiritan azules los
2. El manco es de Lepanto ( si ) astros a lo lejos” ( No )
3. El cuadrado de dos ( No ) 24. El dios de los Incas ( Si )
4. ¡Eureka! ( No ) 25. La Biblia es la palabra de Dios ( Si )
5. El hijo de Ulises ( No ) 26. “¡Amado sea el niño, que cae y aun llora, y el
6. El teorema de Pitágoras ( No ) hombre que ha caído y ya no llora!”
7. No matarás a tu prójimo ( No ) ( No )
8. El quinto dice no matarás ( No ) 27. Dos más dos son cinco ( Si )
9. La mujer del Cesar ( No ) 28. El rio que cruza Paris ( No )
10. La mujer del Cesar debe ser honesta ( Si ) 29. El rio no es caudaloso ( Si )
11. La mujer del Cesar fue honesta ( Si ) 30. Es el hijo de Héctor ( Si )
12. Cómprame una novela ( No ) 31. ¿Es el hijo de Héctor? ( No )
13. El teorema es de Pitágoras ( Si ) 32. El hijo de Héctor y Luisa ( No )
14. La espada de Damocles ( Si ) 33. a 2 es siempre par ( Si )
15. El solitario de Sayán ( No ) 34. Las olimpiadas de Atenas ( No )
16. El culpable de la crisis ( NO ) 35. Las olimpiadas fueron en Atenas( Si )
17. Listos … ¡Fuego! ( No ) 36. ¡Ojalá me amaras! ( No )
18. ¡Fuego! ( No ) 37. Hay un universo sin objetos ( Si )
19. Tres al cubo ( No ) 38. ‘Gato’ es un animal ( Si )
20. Tres no es cúbico ( Si ) 39. ‘Carla’ es bisilábica ( SI )
21. Ojalá hubiera marcianos ( No ) 40. ‘2 ×3=6’ es el nombre de 2 ×3=6 ( Si )
22. Existe a los más un gato ( Si ) 41. ‘Perro’ es un mamífero ( Si )

El lenguaje de la lógica proposicional

La conjunción

Escriba las proposiciones componentes de las siguientes expresiones, reemplace cada proposición
componente por una variable proposicional y luego construya una formula conjuntiva.

1. Juan y Pedro viajarán al Japón p^q

2. El profesor de historia es amistoso pero estricto p ^q
3. El hijo de Ulises fue paciente pero no buen arquero p^~q
4. El problema de la cuadratura del círculo ha tenido solución, aunque fue difícil encontrarla p ^q
5. Gustavo tiene dificultades con su investigación, sin embargo perseverará en su desempeño p
^q
6. El número ocho es una potencia par y Lima es una ciudad grande p ^q
7. 2nes una potencia par pero 3n es una potencia impar p ^q
8. Pedrito predica caridad; sin embargo vive con mucho lujo p ^q
9. Francisco es a la vez juez y parte p ^q
10.Fortunato cobra dinero a pesar de que no trabaja p^~q
11.Sam, el defensor de los torturados, es también empresario p ^q
12.Pan y circo destruyeron a los romanos p ^q
13.Fútbol y circo distraen a las multitudes Una sola proposición
14.La integral de Newton era correcta pero la de Riemann era más sencilla Una sola
proposición

Disyunción y negación

Usando el lenguaje lógico expresar las siguientes proposiciones, distinguiendo las disyunciones
inclusivas de las exclusivas.

1. Jaime es pimponista o tenista pvq

2. Este polígono es un triángulo o un cuadrado p v q
3. Volverás con el escudo o sobre el escudo pvq
4. Se presentarán al Jurado los que tengan DNI o sean mayores de 18 años pvq
5. Ingresarán a la Escuela Politécnica los que aprueben el examen de ingreso o los que estén
exonerados de él. p v q
6. El soldado sobrevivirá o perecerá en combate p v q
7. El libro es voluminoso o interesante p v q
8. Borges es cuentista o novelista pvq
9. O aceptas el aumento o vas a la cárcel pvq
10.Recibirás el dinero o la casa pero no ambas cosas pvq
11.Perico es alto o bajo pvq
12.Perico es alto o María es estudiosa pvq
13.César conquista las Galias o Cleopatra no es reina de Egipto p v q
14.Perico no es piadoso o Jaime no es belicoso pvq
15.Perico nunca ganará el premio o será feliz pvq

Usando lenguaje lógico expresar las siguientes proposiciones (no debe usarse la disyunción
exclusiva)

1. No es el caso que seis sea impar o que existan agujeros negros en el cosmos p⊿q
2. No es el caso que seis sea impar, o que existan gatos p⊿q
3. No es el caso que el acusado sea inocente y que sea sentenciado p⊿q
4. No es el caso que un número sea divisible entre dos y que no sea par p⊿q
5. No es el caso que una persona obligatoriamente sea atea o inmoral p⊿q
6. Es el caso que Lina es estudiosa o no es aplicada p⊿q
7. No es el caso que no te diviertas o seas infeliz p⊿q
8. No tengo nada o soy muy rico p⊿q

El condicional y la implicancia

Subrayar el antecedente y el consecuente de cada una de las siguientes proposiciones

1. Si vas a la iglesia, entonces eres creyente

2. Si comes alimentos, entonces no adelgazarás
3. Si lloras, entonces no demostrarás valor
4. Si Arístides no es honrado, entonces nadie es honrado en Atenas
5. Si Pancho no es deshonesto, entonces nadie es deshonesto
6. Si los precios suben por la crisis, entonces hay quien está ganando dinero con la crisis.
7. Si la Aritmética es consistente, luego la Geometría también lo es.
8. Si hay problemas sociales, entonces seremos muy cautos con las distracciones.

Expresar en el lenguaje lógico las siguientes proposiciones

1. Iré al cine solamente si tengo dinero p→q

2. Las crisis se producen porque alguien toma malas decisiones p→q
3. Un número es par si es divisible por 2. p→q
4. Una figura es un triángulo siempre que tenga exactamente 3 lados p→q
5. La Geometría de Riemann fue posible porque existió la de Euclides p→q
6. Los vendedores de armas ganan dinero solamente si hay guerra p→q
7. Si alguien gana dinero con la crisis, entonces hay alguien que tiene interés en mantener la crisis.
p→q
8. No es posible gastar en distracciones porque no hay dinero para la solución de las necesidades
primarias. ↝p→ ↝q

Bicondicional, funciones de verdad y equivalencia

Sabiendo que las letras p, q, etc. representan proposiciones, expresar completamente en lenguaje
lógico las siguientes afirmaciones.

1. p, si y solamente si p p↔p
2. No p si y solamente si no p ↝p↔ ↝p
3. Si no p, entonces no q ↝p→ ↝q
4. Si no q, entonces p ↝q→p
5. No p si y solamente si q p↔q

Traducir al lenguaje lógico las siguientes afirmaciones

1. Un número es par si y solamente si es divisible por 2 p⟷ q

2. Iré a juicio si y solamente si estoy seguro de ganar p⟷q
3. Ganarás dinero solamente si trabajas p⟷ q
4. Juan campeonará si gana la pelea p⟷q
5. El postulado V es verdadero si y solamente si el espacio es recto p⟷ q