1

FACULTAD DE CIENCIAS CONTABLES Y FINANCIERAS

ESCUELA PROFESIONAL DE MATEMÁTICAS
MATEMÁTICA BASICA

LOGICA PROPOCISIONAL
I. Clasifique cada una de los siguientes enunciados:

1) La lógica es una ciencia formal que se encarga del estudio del razonamiento correcto.
2) ¿Qué hora es?
3) x + 3 = 10
4) El Perú es un país de gran diversidad ecológica.
5) El es un eminente profesor de La Unión.
6) Tumbes es frontera con el Ecuador.
7)  a, b ∈ ℕ, ( a + b) ² = a² + 2a b +b²
8) ¡Cierra la puerta!
9) x + y = 14, cuando x = 3, y = 5.
10) El orden de los sumandos no altera la suma.
11) 5>7
12) -4<t<8
13) La historia es una ciencia social que estudia, analiza e interpreta los hechos importantes del
pasado a través del tiempo y el espacio.
14) Cuando x  3 entonces x2  9
15) Peter Drucker es autor de la obra “El líder del futuro”
16) ¡Viva el Perú!
17) ¿A qué hora termina el examen?
18) Del dicho al hecho hay mucho trecho.
19) Hoy tendré un mal dia, se cruzo um gato negro.
20) La luna es un satélite natural de la tierra.
21) El dos es un número primo.
22) 4+3 = 7
23) New York es llamada la capital del mundo
24) ¡Millonarios será el próximo campeón!
25) Mañana lloverá
26) ojalá que pase el examen de matemáticas
27) x+7 = 18

MATEMÁTICA BASICA LIC. DANDY ALBERT SANCHEZ ESCURRA MSC

 2

II. De las siguientes proposiciones, identificar las proposiciones simples y las proposiciones
compuestas:

1. No existe la capa de ozono.

2. El SIDA y la TBC son enfermedades
3. Los ofidios tienen extremidades o bien vértebras.
4. Los medios de comunicación son necesarios en la pedagogía.
5. i2  − 1
6. Cero es un número par o impar.
7. La relación {(𝑥, 𝑦) ∈ ℝ2 /𝑥 2 + 𝑦 2 = 1}es una función y representa una circunferencia.
8. Si 2 es un numero irracional entonces es un número real.
9. x − h = 0 si y solo si x = h
10. Manipular la computadora y la impresora son ejemplos de aprendizaje motor
11. x + 6 = 4 , si x = −2
12. si estudio entonces apruebo el semestre
13. Un triángulo es equilátero si y solo si tiene sus tres lados iguales

III. Negar las siguientes proposiciones.

1. Diana es modista
2. 12 es un número par
3. estas dos rectas son paralelas
4. todos los hombres son mortales
5. algunos deportistas son ciclistas
6. ningún loro vive en el polo norte

IV. EJERCICIOS PROPUESTOS DE FORMALIZACIÓN DE PROPOSICIONES

1. Formalizar: “Las mujeres no tienen iguales derechos o sólo no son libres”.

2. Dado el argumento: “Si Luis tiene razón, entonces José y Edgar son culpables. José no es culpable”.
Su formalización es:

3. La formalización de: “El Perú es un país democrático o únicamente liberal, empero en el Perú la
corrupción es incontrolable”, es:
MATEMÁTICA BASICA LIC. DANDY ALBERT SANCHEZ ESCURRA MSC
 3

4. Dado el argumento: “Si Carla no está furiosa, por lo tanto, o Henry está desconcertado o Alicia está
alegre”. Su formalización es:

5. Formalizar: “Dos es un número primo asimismo tres es divisibles por la unidad. En consecuencia,
seis es un número compuesto”

6. La formalización de: “Para que obtengas la licenciatura es condición necesaria que superes el último
ciclo”, es:

7. La formalización de: “La suma de sucesiones positivas no es una sucesión positiva y el producto de
sucesiones positivas es una sucesión positiva, equivale a decir que el producto de dos números
reales positivos es un número real positivo”, es:

8. Dado el argumento: “Es condición necesaria que el hidróxido de aluminio sea maleable para que sea
mejor conductor de la electricidad”. Su formalización es:

9. Formalizar la siguiente oración: “Sólo si la gente no piensa en la crisis, el deporte la distrae. Si el

fútbol es una distracción de masas, puede ser propiciado por los beneficiados de la crisis”.

10. Formalizar: “Es imposible que hoy no llueva, ya que hace tiempo no hay sequía”.

11. Formalizar: “Si en Júpiter no hay agua así pues no hay vida, por lo tanto, no hay oxigeno ni agua”.

12. Simbolizar: “Si es falso que Martín no compra un automóvil, por lo tanto, no podrá ir a Talara y no
asistirá al matrimonio de Hernán”.

13. El argumento: “Si el conocimiento no es subjetivo, el conocimiento es objetivo. Por lo tanto, el

conocimiento es subjetivo”. Se formaliza como:

14. Formalizar: “El gato tiene una excelente visión nocturna, visión periférica muy amplia y una visión
binocular que le permite calcular distancias con exactitud. Por lo tanto, el gato es un felino ligero”.

15. La fórmula que corresponde a: “El páncreas tiene una secreción exocrina y una endocrina. Si y sólo
si la secreción exocrina está compuesta por un conjunto de enzimas que se liberan en el intestino”.
Es:

MATEMÁTICA BASICA LIC. DANDY ALBERT SANCHEZ ESCURRA MSC

 4

16. Simbolizar: “El cerebro y la médula espinal, se comunican por una abertura situada en la base del
cráneo. La médula espinal está en contacto con las demás zonas del organismo a través de los
nervios”.

17. La simbolización correcta de: “La Comisión Europea representa a la Unión Europea en las relaciones
económicas con otros países. Luego, la función administrativa de la Comisión Europea afecta a los
fondos, programas de la Unión Europea y al reparto de ayudas a otros países”. Es:

18. “Es falso que Venezuela y Bolivia son países limítrofes con Perú”. Tiene como fórmula lógica a:

19. La proposición: “Si el oro se dilata con el calor tanto como el bronce, entonces el oro no en un metal”,
se formaliza:

20. La proposición: “La energía eólica aprovecha la fuerza del viento al mismo modo que la energía solar
utiliza las radiaciones solares. La energía eólica no aprovecha la fuerza del viento”, se formaliza:

21. La matriz principal del siguiente esquema:

[𝑝 ∨ (𝑟 ⇒∼ 𝑝)] ∨ [(∼ 𝑞 ⇒ 𝑝) ∧ 𝑟], es:
22. La matriz principal del siguiente esquema:

{[(𝑞 → 𝑝) ∧ 𝑝] → 𝑞} ∨ (∼ 𝑞⨁ 𝑝), es:

23. La matriz principal del siguiente esquema:

[𝑝 ↔ (𝑟 → ~𝑝)] ∨ [(~𝑞 → 𝑝) ↔ 𝑟], es

24. Construir la tabla de verdad para:

𝑝 → 𝑞 ⇔ (~𝑞 → ~ 𝑝)
25. Construir la tabla de verdad para:
( p → q )  ( q → r )  → ( p → r )

26. Construir la tabla de verdad

[𝑟 ∧ 𝑠] → 𝑞 ⇔ [(𝑠 ∧ ¬ 𝑞) → ~ 𝑟]

MATEMÁTICA BASICA LIC. DANDY ALBERT SANCHEZ ESCURRA MSC

 5

EJERCICIOS PROPUESTOS DE EQUIVALENCIAS

1. Comprobar que las tres proposiciones siguientes son equivalentes:

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

2. Utilizando las leyes de la lógica matemática, demostrar las siguientes tautologías.

 
a. p  p →  q  ( q → r )   p  ( q  r )

b. [(𝒑 ∧ 𝑞) ∨ (𝒑 ∧ ∼ 𝑞)] ∨ (∼ 𝑝 ∧∼ 𝑞) ≡ 𝒑 ∨∼ 𝑞
c. [(𝒑 ∧ ∼ 𝑝) ∨ 𝑞] ∧ (𝒒 ∨ 𝑝) ≡ 𝒒

d. p → ( q → r )  q → ( p → r )

e. ( p → q)  p  p  q
f. ( p → q)  q  p  q
(
g. p  q  ( p  q )  p  q
' '

)
h. {𝑝 ∧ ∼ [𝑝 ∨ (𝑝 ∧ 𝑞)]} ∨ 𝑞 ≡ 𝑞
i. [(𝑝 ∨∼ 𝑝) ∧ 𝑞] ∨ (𝑞 ∧ 𝑝) ≡ 𝑞

3. Hallar la expresión más simple de: [∼ 𝑞 ∧ (𝑚 ∨∼ 𝑞)] ∧ [𝑝 ∨ (∼ 𝑚 ∧ 𝑝)] ∧ [∼ 𝑝 ∨ (𝑞 ∧ 𝑝)]

4. Hallar la expresión más simple de: (p → q)  ( q  p)  (p → q) → (p → q)

5. Hallar la expresión más simple de: {[∼ 𝑝 ∨ (𝑞 ∧∼ 𝑝)] ∧ [𝑞 ∧ (∼ 𝑞 →∼ 𝑝)]} → (∼ 𝑝 ∧ 𝑞)

6. Demostrar que: ∼ {∼ [∼ (𝑝 ∧ 𝑞) ∧ (∼ 𝑝 ∧∼ 𝑞)]} ≡∼ 𝑝 ∧∼ 𝑞

7. Demostrar que: [(𝑝 → 𝑞) ∧∼ 𝑝] →∼ 𝑞 ≡ 𝑝 ∨∼ 𝑞

8. Demostrar que: [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧∼ 𝑞)] ∨ (𝑝 ∧∼ 𝑞) ≡ 𝑝 ∨ 𝑞

9. Demostrar que: [(𝑝 → 𝑞) ∧ (𝑞 →∼ 𝑝)] ≡∼ 𝑝

MATEMÁTICA BASICA LIC. DANDY ALBERT SANCHEZ ESCURRA MSC

EJERCICIOS DE EQUIVALENCIAS Y FORMALIZACIÓN DE PROPOSICIONES 6

1. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos
civiles.
2. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me
internaran en un psiquiátrico.

3. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.

4. “Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si estos hechos son inofensivos
y respetan a todo ser viviente y al medio ambiente, no habría ningún problema. Pero si los hechos son bárbaros
o no respetuosos con los seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no
podríamos considerarnos dignos de nuestro tiempo.”

5. “Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedas paralizado del susto, entonces
no puedes sino apelar a su bondad y así no ser engullido. Por lo tanto, si un animal fabuloso se enfada, tendrás
que apelar a su bondad o serás engullido.”

6. Todo número entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si es

un producto de factores primos, entonces es divisible por ellos. Pero si un número entero es primo, no es
compuesto, aunque es divisible por sí mismo y por la unidad, y consiguientemente, también divisible por
números primos. Por tanto, todo número entero es divisible por números primos.

7. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir. Si nos quedamos a cenar o a dormir,
no iremos mañana al concierto. Pero sí iremos mañana al concierto. Así pues, la tormenta no continúa.

8. Si x = 1 e y = 2, entonces z = 3. Si, si y = 2, z = 3 entonces w = 0. x = 1. Por consiguiente, w = 0

9. Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un triángulo tiene tres ángulos y
su suma vale dos ángulos rectos. Si los rombos tienen cuatro ángulos rectos, los cuadrados no tienen cuatro
ángulos rectos. Por tanto, los rombos no tienen cuatro ángulos rectos.

10. Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida está llena de frustraciones y no es un
camino de rosas. Si se es feliz, no se puede tener todo. Por consiguiente, la vida está llena de frustraciones.

11. La vida no tiene cosas así de fuertes o yo te puedo contar cómo es una llama por dentro. Si yo te puedo contar
cómo es una llama por dentro, entonces pienso entregarte mi tiempo y pienso entregarte mi fe. No es cierto
que piense entregarte mi tiempo y piense entregarte mi fe. Por lo tanto, la vida no tiene cosas así de fuertes.

12. Aprobaré lógica, si Dios quiere. Aprobaré lógica si y sólo si estudio y hago todos los ejercicios. Sin embargo,
no he hecho los ejercicios, así que Dios no quiere que apruebe lógica.

MATEMÁTICA BASICA LIC. DANDY ALBERT SANCHEZ ESCURRA MSC

 7

13. Si el euro está fuerte, el petróleo está barato pero las exportaciones resultan caras. Si Europa se endeuda o la
economía no crece, el petróleo no estará barato. La economía crece si y sólo si ni las exportaciones resultan
caras ni la inflación aumenta. Por tanto, si la inflación aumenta, el euro no está fuerte.

14. Habrá inflación, a menos que se moderen los precios y los salarios. Siempre que se moderan los salarios pero
no los precios, si el Gobierno no interviene ocurre que el consumo interno disminuye y la economía se ralentiza.
Por tanto, cuando no se moderan los precios, es necesario que el Gobierno intervenga para que la economía no
se ralentice

15. “Si la pendiente del ángulo de inclinación de una recta es positiva así pues el ángulo es agudo, ya que la
pendiente del ángulo de inclinación de una recta es positiva. El ángulo es obtuso”

16. “El transporte puede ser terrestre, marítimo o aéreo. Pero el transporte requiere de infraestructura siempre que
y sólo cuando el gobierno se encargue de la construcción y no del mantenimiento de la infraestructura”.

17. “El diámetro de una circunferencia es menor que cualquier cuerda si mide dos radios, es igual a decir que el
radio es la distancia del centro a cualquier punto de la circunferencia”

18. “Si en el Perú aumentan las exportaciones por consiguiente aumentan los puestos de trabajo. O sólo en el Perú
no aumentan las exportaciones”.

19. “Juan es arquitecto o María es enfermera, y/o únicamente es absurdo que María sea enfermera”.

20. “De que un cuadrilátero tenga cuatro lados iguales, se deduce que es un cuadrado o sólo un rombo, pero si un
cuadrilátero tiene cuatro lados iguales empero cuatro ángulos rectos por lo tanto es un cuadrado”

21. “El coseno y la secante son funciones trigonométricas, sólo si la tangente no es una identidad trigonométrica”.

22. “La progresión geométrica no es progresión aritmética ya que la progresión geométrica es creciente, salvo que
solamente la progresión geométrica es progresión aritmética”

23. “Si el Perú firma el tratado de libre comercio con China por eso exportará sus productos a China, aunque los
congresistas radicales se opongan al tratado”.

24. “Ya que el cuerpo se encuentra en reposo o sólo en equilibrio, es obvio que permanecerá inerte; puesto que la
fuerza centrípeta actuará sobre el cuerpo”.

25. “La magnitud que caracteriza al movimiento es la velocidad pues la cinemática estudia al movimiento, salvo
que hay movimiento rectilíneo al igual que circular”, la formalización correcta es:

MATEMÁTICA BASICA LIC. DANDY ALBERT SANCHEZ ESCURRA MSC