CLASES VIRTULALES KEPLER CLASES VIRTULALES KEPLER

SESIÓN 6: FORMALIZACIÓN DE PROPOSICIONES LÓGICAS

PRACTICA DE CLASE 6. La proposición: “Un gas es sometido a altas

temperaturas es condición necesaria para que genere
1. La expresión: “La radiación solar excesiva puede trabajo mecánico; sin embargo algunos fluidos
provocar el eritema o la insolación. La insolación puede reaccionan solo si generan energía. A menos que
ser mortal si la persona no recibe tratamiento médico únicamente los sólidos generen trabajo mecánico”. Se
inmediato. El tratamiento puede ser con inyección de formaliza:
sueros o únicamente tónicos del corazón”. Se formaliza: A) (p→q)  (p→r)
A) [(pq)(q r)](s  t) B) [(p→q)  (p→s)]  q
B) [(pq) r](t  s) C) [(p  q)  (r → r)]  q
C) [(pq)(r s)](t  u) D) [(p  q)  (r → s)]  t
D) [(pq)(r s)](t  u) E) [(p  q)  (r → s)]  q
E) [(pq)(r s)](t  u)
7. La proposición: “El calentamiento de las aguas del mar,
2. La expresión: “Si las cuerpos ocupan un lugar en el de los ríos o de los lagos da lugar a la evaporación. La
espacio entonces son extensos, o solo los cuerpos no evaporación es necesaria para la formación de nubes”.
ocupan un lugar en el espacio; a menos que únicamente Se formaliza:
tiendan a aproximarse entre sí pero son incapaces de A) (p  q  r)  s
moverse por sí solos”. Se formaliza: B) [(p  q  r) → s]  (s  t)
A) [(pq)  p]  (r s) C) [(p  q  r) → s]  (s  t)
B) [(p→q)  p]  (r s) D) [(p  q  r) → s]  (s  t)
C) [(p→q)  p]  (r s) E) (p  q  r)  s
D) [(p→q)  p]  (r s)
E) [(p→q)  p]  (r s) 8. La proposición: “Solo si los caracoles son moluscos, los
calamares también lo son; a no ser que, los peces son
3. El enunciado. “Porque el citoplasma es un líquido vertebrados al igual que los batracios”. Se formaliza:
viscoso o es un sólido gelatinoso, por eso su A) (p → q)  (r  s) B) (p  q)  (r  s)
constitución está entre sólido y líquido. Asimismo el C) (p  q)  (r  s) D) (p  q)  (r  s)
citoplasma está constituido por una mezcla cuya E) (p  q)  (r  s)
composición varía a cada instante, debido a su continua
actividad como materia viva”. Se formaliza: 9. La proposición: “Sin la materia y sin la energía, no
A) [(pq) → r]  (s  t) existiría el mundo ni habría actividad alguna en la
B) (pq)  (rs)  (t  u) naturaleza”. Se formaliza:
C) [(pq) → r]  (s → t) A) (p  q)  (r  s)
D) [(pq) → r]  (s / t) B) (p  q) → (r  s)
E) [(pq) → r] → (s → t) C) (p  q)  (r  s)
D) (p  q)  (r  s)
4. El enunciado: “La verdadera fuente de riqueza de un E) (p  q)  (r  s)
país no está en el comercio ni en la acumulación de
metales preciosos, sino en el trabajo de sus habitantes, 10. La proposición: “Las cosas que conocemos o son
siempre que y solo cuando el trabajo humano sea materia o son energía. Por lo que los metales y la
aplicado en la agricultura o en la industria”. Se madera son formas distintas de materia y la luz y el
formaliza: calor son clases distintas de energía”. Se formaliza:
A) [(p / q)  r]  (s  t) A) (p  q)  [(r  s)  (t  u)]
B) [(p / q)  r]  (s  t) B) (p  q)  (r  s)
C) [(p  q)  r] → (s  t) C) (p  q) → (r  s)
D) [(p  q)  r]  (s  t) D) (p  q) → [(r  s)  (t  u)]
E) [(p  q)  r]  (s  t) E) (p  q)  (r  s)

5. La proposición: “Condición necesaria para que los gases 11. La proposición: “Ya que el mercurio se dilata con el calor
al igual que los líquidos no sean dúctiles ni maleables, tanto como el bronce o el plomo por ello es metal y no
es que sean fluidos”. Se formaliza: gaseoso”, se formaliza:
A) (pq) → r A) [(p  q)  r] → s
B) [(pq) (rs)] → t B) [(p  q) → r] → (s  t)
C) [(pq)  (rq) → (tu) C) [p  (q  r)]  (s  t)
D) [(pq)(rs)]→(tu) D) [p  (q  r)] → (s  t)
E) [(pq)  (rs)]  (tu) E) [p → (q  r)] → (s  t)

NUEVO Y ÚNICO LOCAL 1 ACADEMIA KEPLER

Av. Juan Pablo II N° 391 – 395 / frente 2da puerta UNT
Tel. (044) 727311 – 948315789
 12. La expresión: “Suponiendo que no es el caso que no C) [(p  q) → (r / s)] D) (p  q) → (r / s)
salga el sol ni haga frío, lloverá”, se formaliza: E) (p  q) → (r  s)
A) (p  q) → r B) (p  q) → r
C) (p  q) → r D) (p  q) → r 19. La expresión: “Si es falso que haya reptiles anfibios, los
E) [(p  q) → r] mamíferos son vivíparos. Por lo tanto, aunque los
mamíferos sean vivíparos, también son vertebrados” Se
13. La expresión: “Es falso que, la medicina es una de las formaliza:
áreas más beneficiadas por la conquista espacial porque A) (p → q) → (q  r)
las técnicas de monitoreo corporal aplicada a los B) (p → q) → (q  r)
astronautas han servido de base en el diseño de C) (p → q) → (q → r)
diversos equipos médicos; dado que, el que se esté D) (p → q) → (q → r)
salvando muchas vidas en el área médica implica que la E) (p → q) → (q → r)
tecnología tiene resultados satisfactorios”. Se formaliza:
A) (p  q)  (r → s) B) (p → q)  (r → 20. La expresión: “Es falso que, si Mayra no estudiaba
s) administración no habría podido trabajar en la UNT;
C) (p  q) → (r → s) D) (p  q)  (r  dado que Mayra no ha podido trabajar en la UNT porque
s) radica en Lima”. Se formaliza:
E) (p  q) → (r → s) A) [(A → B) → (B  C)]
B) (A → B)  (B  C)
14. La proposición: “O si no se da que el cloro y el bromo C) (A → B) → (B → C)
se mezclan es obvio que el flúor es muy reactivo; salvo D) (A → B)  (B  C)
que, no se de que si el flúor es muy reactivo, el cloro y E) [(A → B)  (B  C)]
el bromo no se mezclan” Se formaliza:
A) (p  q) → (q → p) 21. La proposición: "Si la Chlorophyta al igual que la
B) [(p q) → r]  [r → (p  q)] Rhodophyta son algas, entonces almacenan almidón y
C) [(p  q) → r]  [r → (p  q)] tienen clorofila respectivamente. Porque pertenecen al
D) (p → q)  (q → p) reino metafita". Se formaliza:
E) [(p → q]  [q → (p  q)] A) [(pq)  (rs)] → (tu)
B) [(pq) → (rs)]  (tu)
15. La proposición: “El sodio se oxida fácilmente al C) [(pq)  (rs)]  t
exponerlo al aire por lo que reacciona violentamente D) (pq)  (rs)
con el agua, además, su densidad es menor que la del E) [(pq) → (rs)]  t
agua pero su punto de fusión es casi 100º C.
Consecuentemente, no se le encuentra libre sino 22. La proposición: "Un cuadrado es un polígono regular por
combinado con otros elementos” Se formaliza: lo tanto será equilátero, equiángulo y convexo. Salvo
A) [(p  q)  (r  s)] → (t  u) que solo no sea polígono regular". Se formaliza:
B) [(p → q)  (r  s)] → (t  u) A) [p → (q  r  s)]  t
C) [(p  q)  (r  s)] → (t  u) B) [p → (q  r  s)]  – t
D) [(p  q)  (r  s)] → (t  u) C) [p → (q  r  s)]  – p
E) [(p → q)  (r  s)] → (t  u) D) [p → (q  r  s)]  t
E) [p → (q  r  s)]  p
16. La proposición: "O bien el sol es un planetoide o bien es
una estrella y está cerca de mercurio; aunque es 23. La expresión: Si es mentira que Perú, Brasil y Argentina
absurdo pensar que el sol sea un planetoide. En son países desarrollados; entonces no integran el “Club
consecuencia el sol es una estrella así como está cerca de París” ni el “Grupo de los 7” Se formaliza:
de mercurio". Se formaliza: A) (p  q  r) → [(s  t)  (u  v)  (w  x)]
A) {[p  (q  r)]  p} → (r  q) B) {(p  q  r) → [(s  t)  (u  v)  (w  x)]}
B) {[p  (q  r)]  – p}  (r  q) C) (p  q  r) → (s  t)
C) {[p  (q  r)]  – p} → (q  r) D) (p  q  r) → [(s  t)  (u  v)  (w  x)]
D) {[p  (q  r)]  p} → (r  q) E) (p  q  r) → [(s  t)  (u  v)  (w  x)]
E) {[p  (q  r)]  – p} → (q  r)
6
24. La expresión: "Si 256 = 2 entonces 32 = 25; lo
17. La proposición: “Si una expresión no es verdadera ni
falsa, no es una proposición. Aunque, las proposiciones 16 0
son las explicitaciones de los juicios” Se formaliza: mismo que 64 = 8 , = 4 y 2560 = 1 ”. Se
4
A) [(p  p) → q]  r B) [p  (p → q)]  r
formaliza:
C) (p  q) → (r  s) D) [(p  p) → q]  r
A) (p → q)  ( r  t  s)
E) [(p  p) → q]  r
B) (p → q)  ( s  r  t)
C) (q → p)  ( r  s  t)
18. La proposición: “Si es falso que la lógica y la matemática
D) (p  q)  ( r  s  t)
sean ciencias formales, ni la lógica ni la matemática
E) (p → q)  ( r  s  t)
utilizan la inducción para demostrar sus principios” Se
formaliza:
25. La proposición: “Es imposible que un cuerpo esté y no
A) (p  q) → (r  s) B) [(p  q) → (r  s)]
esté en el mismo lugar a la vez”. Se formaliza:

NUEVO Y ÚNICO LOCAL 2 ACADEMIA KEPLER

Av. Juan Pablo II N° 391 – 395 / frente 2da puerta UNT
Tel. (044) 727311 – 948315789
 A) p  q B) (p  q) C) p  p
D) (p  p) E) (p  p)

26. La proposición: “Dado que el descubrimiento de

América fue un verdadero reto para el gobierno
español, no bastó haber llegado a estas tierras; no
obstante los españoles necesitaban lograr una
ocupación efectiva de estas tierras. Por ello, resultó
necesario motivar a la gente de la península a
emprender el largo viaje” Se formaliza:
A) [(p → q)  r] → s B) [(p → q)  r] →
s
C) [(p → q)  r] → s D) [(p  q)  r] → s
E) [(p  q)  r] → s

27. La proposición: “El que la energía sea necesaria para los

automóviles, es necesario para que, sea suficiente que
los automóviles usen gasolina ecológica para que no
contaminen el aire” Se formaliza como:
A) (p  q)  (r → s) B) (p → q) → (r →
s)
C) (p  q)  (p → s) D) p  (q → r)
E) p → (q  r)

28. La expresión: “No ocurre que, ni Abel es abogado ni

Andrés es ingeniero; salvo que también, Abel es casado
y/o Andrés es soltero” Se formaliza:
A) (p  q)  (p  q) B) (p  q)  (r 
s)
C) (p  q)  (r  s) D) (p  q)  (r  s)
E) (p  q)  (r  s)

29. La proposición: “Es total y absolutamente cierto que

todos y cada uno de los pumas, o también llamados
leones americanos, habitan en la sierra peruana” Se
formaliza:
A) {[(p  q)  (r  s)]  t} → u
B) {[(p  q)  r]  s} → t C) p
D) (p  q)  r E) (p  q) →
r

30. La expresión: “Entre Luisa, Mariela, Alejandra y Mónica;

al menos una de ellas ingresará a contabilidad”. Se
formaliza:
A) (p  q  r  s)  (t  u) B) p  q  r  s
C) p  q  r  s D) (p  q  r  s)  t
E) (p  q  r  s)  t

NUEVO Y ÚNICO LOCAL 3 ACADEMIA KEPLER

Av. Juan Pablo II N° 391 – 395 / frente 2da puerta UNT
Tel. (044) 727311 – 948315789