RAZONAMIENTO

MATEMÁTICO
UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

CEPU CICLO II-2024

CENTRO DE ESTUDIOS PREUNIVERSITARIO
TEMA: Lógica y Proposiciones categóricas 01
EJERCICIOS PROPUESTOS 8. Dado los esquemas:
I) p ↓ q II) −(p + q) III) p/q
1. Son proposiciones atómicas: IV) (~p ∧ ~q) V) −p + −q
I) Todo futbolista es deportista. Podemos afirmar que sólo enciende un foco en el cuarto
II) Jorge Basadre Grohmann escribió “Historia de la arreglo en:
Republica del Perú”. a) I, II y III b) III y V c) III, IV y V
III) Kiara y Eduardo no son hermanos. d) I, III y IV e) I, II y IV
IV) Gritar equivale a vociferar.
V) Algunos matemáticos fueron físicos. 9. Si:
Son ciertas: A = ~p → q, B = ~r ↓ p, además: (A ← ~B) = 0
a) I, II y IV b) Sólo II c) I, II, IV y V Los valores de p, q y r son respectivamente:
d) Todas e) Ninguna a) 000 b) 011 c) 100
d) 101 e) 110
2. De las expresiones:
I) x 2 < 0, si x ∈ ℤ 10. Si el diseño:
II) Tacna es ciudad Sudamericana.
III) Blanca es la niña más bonita de mi escuela. B
1 0
IV) Diego es pobre pero feliz. A
V)
3 1
log (16) (4) = − 2 1
9 0
Son proposiciones: Corresponde al esquema conectado A → B, luego el
a) I, II y III b) I, II, IV y V c) II y V diseño:
d) I, III y V e) I, II y V B
1 0
A
3. De las siguientes expresiones: 1
I) El ozono filtra los rayos ultravioletas. 0
𝑛!
II) 𝐶(𝑛,𝑘) = 𝑘!(𝑛−𝑘)! , 𝑘 ≤ 𝑛 corresponde a:
III) √−1 = 𝑖 ↔ 𝑖 2 = −1 a) A ∧ B b) A ∨ B c) A → B
IV) El aire contiene oxigeno e hidrógeno. d) A⨁B e) A↔ B
V) The earth rotates around the sun.
No son proposiciones compuestas: 11. Si ~[~(p ↓ ~q) ← (r ∧ q)] ≡ 1, los valores de:
a) I, II, III y V b) I, II y V c) II y V I) (p → q)/(~r ∧ s) II) (p⨁~q) ⊻ (r ↓ s)
d) I y II e) I y V III) (~p ↔ q) ∧ (~q ∨ r)
son respectivamente:
4. “Perú está en crisis porque hay corrupción o Perú está a) 110 b) 010 c) 111
en crisis porque no hay empleo”. Se formaliza: d) 101 e) 100
a) (p ← q) ∨ (p → ~q) b) (p ← q) ⊻ (p ← ~r)
c) (p → q) ∨ (p → ~q) d) (p ← q) ∨ (p ← ~r) 12. La forma proposicional:
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅̅̅
̅+̅
e) (p ← q) ⊻ (p → ~q) [(X Y)∆(Y ∩ X)] → ̅ Y, equivale a:
a) Y b) -Y c) Y ↔ -Y
5. Hallar la proposición equivalente a: d) -X e) X → Y
“17 es primo porque 17 es primo o 30 es par, y 30 es
par” 13. Sea la proposición p ≡ 1.
a) Si 17 es primo, entonces 30 no es par. Dadas las siguientes proposiciones:
b) Si 30 es par, entonces 17 no es primo. I) (p ∨ q) → (~p ∧ s) II) (p ∧ ~q) → r
c) Si 17 no es primo, 30 no es par. III) (p ∨ q) ∧ (~p ∨ s)
d) 30 es par o 17 es primo. Determine los casos donde no es suficiente dicha
e) 17 es primo ya que 30 no es par. información para dar su valor de verdad.
a) Solo I b) Solo II c) Solo III
6. “Si es falso que la lógica y la matemática sean ciencias d) I y II e) II y III
formales, ni la lógica ni la matemática utilizan la
inducción para demostrar sus principios”. Se formaliza: 14. Sea “p” una proposición definida en:
a) ~(p ∧ q) → (r ↓ s) b) ~[(p ∧ q) → (r ↓ s)] 1, si p es verdadero
𝑀(p) =
c) ~[(p ∧ q) → (r/s)] d) ~(p ∧ q) → (r/s) 0, si p es falso
e) ~(p ∧ q) → ~(r ↓ s) Si:
M(x) = 1, donde x = r + ~(p + q)
7. Simbolizar y luego simplificar la proposición: M(y) = 0, donde y = (q → p) + p
“Cuando obtenga mi título entonces ingreso a la carrera Halle:
magisterial, pero no ingreso a la carrera magisterial; M(q+r) + M(p∩q) + M(~p) + M(p→r)
luego no obtuve mi título” a) 1 b) 2 c) 3
a) p b) p ∧ 𝑞 c) ~𝑝 d) 4 e) 0
d) 1 e) 0

1
RAZONAMIENTO MATEMÁTICO Práctica 01

15. Si definimos @ como: 22. Sea el circuito lógico siguiente:

𝑝@𝑞 ≡ {~𝑝 → [𝑝 → (𝑞 ∧ t ∧ r)]} ∧ p
p q
Simplificar:
[(p → q)@(q ∧ 𝑝)]@(𝑝 ↔ 𝑞)
a) p b) p ∧ ~𝑞 c) ~𝑝 q r
d) ~𝑞 ∨ ~𝑝 e) ~𝑝 ∨ q
p -r
16. Si: (𝑝#~𝑞) = 0011, entonces la fórmula: p
[(~𝑝#𝑞)#(𝑝 ↓ 𝑞)], equivale a: q p
a) ~p ∧ q b) p ∧ 𝑞 c) ~𝑝
d) 𝑝 e) ~𝑞 ∨ ~𝑝 q

17. Si se sabe que: q r p

{[(𝑟 ∨ s) → t]∆(p ∨ q)} ∧ ~{[(r∆t) ∧ s] → (~𝑞 ∧ ~𝑝)}
Si cada interruptor cuesta S/10, halle el costo mínimo
es verdadera, hallar el valor de verdad de:
simplificado.
I) {[(𝑝 ∨ q) → r] ∆ (t → p)} ∆ r
a) S/20 b) S/30 c) S/40
II) [(r → 𝑠) ∨ ~𝑡] → ~(𝑝 ∨ q)
d) S/50 e) S/10
III) ~(𝑝 ∨ q) ∧ (t → ~𝑠)
a) 111 b) 100 c) 101
23. Para que el esquema del circuito resulte contradictorio,
d) 011 e) 110
“x” debe ser sustituido por:
18. Sean las proposiciones siguientes: -p
I) 𝑝 ↓ (~𝑝 ∧ q)
II) 𝑝 ∧ ~(q → ~p) q -r
III) ~(𝑝 ← ~𝑞) ∧ q
x
IV) 0 → (𝑝 ∆ ~𝑞) -q p q
Las que representan a un cortocircuito son:
a) Sólo III b) II y III c) I y IV a) −𝑝 b) 𝑟 c) −𝑞
d) II y IV e) I y III d) −𝑞 ∧ r e) 𝑝 ∧ −r

19. La fórmula proposicional: 24. De las premisas:

~[~(𝑝 ∧ q ∧ r) → (~p ∧ ~q ∧ ~r)] → p 𝑃1 : 𝑟 ⊻ ~𝑞
Se reduce equivalentemente a: 𝑃2 : 𝑝 → 𝑞
a) 1 b) 0 c) 𝑝 ∧ q 𝑃3 : 𝑝 ∨ ~(~𝑝 ← 𝑞)
d) (𝑞 ∨ r) → p e) 𝑞 ∨ r Se infiere en:
1) 𝑟 ∨ ~𝑟 2) 𝑟 ← 𝑞 3) 𝑟
20. Dada la fórmula molecular: 4) 𝑡 → 𝑟 5) ~(~𝑝 ∧ ~𝑟)
̅̅̅̅̅̅̅̅̅̅̅̅
̅ + 𝐹𝐷 ̅̅̅̅̅̅̅̅̅̅
̅̅̅̅) + (𝐷
̅𝐹 + 𝐷 ̅ )](𝐷 + 𝐷 ̅) Son correctas:
[(𝐹𝐷
a) 1, 2 y 3 b) 2 y 3 c) 2 y 4
al simplificar se obtiene:
d) 1, 3 y 5 e) Todas
̅
a) 𝐷 b) 𝐷 c) 𝐹̅
d) 𝐹 e) 𝐹 + 𝐷 25. Sean las siguientes premisas:
𝑃1 : (𝑎 = 5) → (𝑏 ≠ 4)
21. Se define: 𝑝@𝑞 ≡ (𝑝 ∧ ~𝑞) ∨ (q ∨ ~𝑝) 𝑃2 : (𝑐 = 3) → (𝑏 = 4)
Simplificar: [(~𝑝@𝑞) → q] → [p → (q@p)] 𝑃3 : (𝑐 ≠ 3) → (𝑝 = 6)
a) 𝑝 b) ~𝑝 c) 𝑞 𝑃4 : (𝑎 = 5)
d) 1 e) 0 Se infiere deductivamente en la siguiente conclusión
lógico formal:
a) a = 5 b) c = 3 c) p = 6
d) b ≠ 4 e) c ≠ 3