Este documento presenta 42 proposiciones para ser formalizadas en lógica proposicional. Para cada proposición se ofrecen 5 opciones de formalización y el objetivo es seleccionar la formalización correcta. El documento también incluye algunas formas atípicas de formalización.

1. 45
Ciclo Nobel
PRACTICA DE CLASE
FORMALIZACIÓN de PROPOSICIONES
1. La proposición: "Que 50 sea múltiplo de 10
está implicado por el que 20 también lo sea.
Esto implica que 2 sea de divisor de 10; 3 de
15 y 4 de 20". Se formaliza:
A) (p q) (r s t)
B) (p q) (r s t)
C) (p q) (r s t)
D) (p q) (r s t)
E) (p q) (r s t)
2. La expresión:
que trabaje para ganar dinero, obviamente,
es suficiente que sea mentira que reciba
. Se
formaliza:
A) [(p q) ( r s)]
B) (p q) ( q r)
C) (p q) (r s)
D) (p q) ( r s)
E) (p q) ( r s)
3. La proposición:
láctea no sea una galaxia y/o Saturno no sea
. Se
formaliza:
A) ( p q) B) (p q) C) p q
D) ( p q) E) ( p q)
4. La proposición:
la ciencia porque la ciencia tiene aplicaciones
en la técnica; todo lo anterior implica y está
implicado por el hecho que la lógica es
. Se formaliza:
A) [(p q) r] (p s)
B) (p q) r
C) [(p q) r] (s t)
D) (p q) r
E) [(p q) r] (p s)
5. La proposición:
cuando trabajo ni es cierto que sea suficiente
. Se
formaliza:
A) (p q) (q p)
B) (p q) (q p)
C) (p q) (q p)
D) p (q r)
E) p (q r)
6. La proposición: ue Israel es una
potencia militar, resguarda su soberanía.
Aunque, Palestina no resguarda su soberanía
Se formaliza:
A) (p q) ( q r)
B) (p q) ( r s)
C) (p q) (q r)
D) (p q) ( r s)
E) (p q) ( q r)
7. La proposición:
precioso por eso es atacado por la corrosión,
sin embargo el vanadio no es atacado por la
corrosión. Por lo tanto, el vanadio es un metal
. Se formaliza:
A) [( p q) q] p
B) [( p q) q] p
C) [( p q) q] p
D) [( p q) q] p
E) [(p q) q] p
8. La proposición:
ciencia factual o sólo formal es incompatible
con que el objeto de estudio de la lógica sea
el concepto, el juicio o tal vez el
raz ; se formaliza:
A) (p q) (r s t)
B) (p q) (r s t)
C) (p q) / (r s t)
D) (p q) / (r s t)
E) p [q / (r s t)]
9. El enunciado:
tomate son cítricos; es falso que, el arroz y el
maí . 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)
10. La proposición:
son partes de la flor, consecuentemente el
segundo no es efectivamente una parte de la
flor: sin embargo la polinización puede ser
llevada a cabo por , se formaliza:
A) [(p q) q] r
B) [(p q) ( r s)
C) [ (p q) q] r
D) [p ( q q)] r
E) [ (p p) q] r

2. 46
Ciclo Nobel
11. La proposición:
un meteoro acuoso tal como, la lluvia a no
ser que la escarcha; por eso e arco iris es un
fenómeno atmosférico aunque no es un
, se formaliza:
A) [p (q r)] (s t)
B) [(p q) r] s
C) [p (q r)] (s t)
D) [(p q) r)] (s t)
E) [p (q r)] (s t)
12. La proposición:
tanto la extensión como la inercia son
propiedades específicas de la materia, ni la
dureza ni la tenacidad son propiedades
gene , 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)
13. La proposición:
que los anfibios tal como los reptiles no sean
artrópodos ni anélidos, es que sean
se formaliza:
A) [( p q) ( r s)] (t u)
B) [(p q) (r q)] (t u)
C) ( p q) r
D) [ (p q) (r s)] t
E) [(p q) (r s)] (t u)
14. La proposición:
es condición necesaria para que presenten
sistema circulatorio doble; no obstante
algunos peces presentan circulación simple
por lo tanto son vertebrados. Salvo que sólo
, se formaliza:
A) (p q) (p r)
B) (p q) (p s) ] q
C) [(p q) (p r)] q
D) [(p q) (r s)] t
E) [(p q) (r s) q
15.
inventor del álgebra de Boole, base de la
aritmética computacional, obviamente que en
Una investigación de las leyes del
p propone reglas para la
conjunción, disyunción incluyente y
excluyente, implicación al igual que para la
A) (p q) (r s t u v)
B) (p q) (r s t u v)
C) p (q r s t u)
D) p (q r s t u)
E) p (q r s t)
16. El enunciado:
también las aves no son vertebrados, los
leones en absoluto son felinos. Por ello los
peces a excepción de los reptiles tiene
. Se formaliza:
33. [ ( p & q) r] (s & t)
34. [ (p & q) r] (s & t)
35. [( p & q) r] (s t)
36. [( p & q) r] (s & t)
37. [( p & q) r] (s t)
17. La expresión:
Juan y Juana visitan a Mayra obviamente le
llevan regalos. No obstante, a ninguno de los
. Se formaliza:
A) [ (p q) (r s)] ( t u v)
B) [(p q) (r s)] t
C) [(p q) (r s)] ( t u v)
D) [(p q) r] ( s t u)
E) [(p q) r] s
18. La expresión:
en el espacio entonces son extensos, o los
cuerpos no ocupan un lugar en el espacio; a
menos que únicamente tiendan a
aproximarse entre sí pero son incapaces de
. Se formaliza:
A) [(p q) ~p] (r s)
B) [(p q) ~p] (r ~s)
C) [(p q) ~p] (r ~s)
D) [(p q) ~p] (r ~s)
E) [(p q) ~p] (r ~s)
19. El número total de constantes en:
Manuel no son hermanos, trabajan como son
abogados, incluso no son primos, asimismo,
; es:
A) 6 B) 9 C) 8
D) 10 E) 12
20. La proposición: Veremos el paso del cometa
Halley por la tierra con la condición que,
tengamos un telescopio, lentes protectores y
no seamos impuntuales , se formaliza:

3. 47
Ciclo Nobel
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)
21. La proposición:
. Se formaliza:
A) p q B) p q C) p q
D) p E) p
22. La traducción de la fórmula proposicional:
C (A B); es:
1) Sólo si Juan estudia y trabaja, no tiene
quien lo mantenga
2) Un alumno estudio y trabaja cuando
reciba apoyo económico.
3) Sólo si estudia y trabaja un alumno, será
profesional.
4) El que un alumno estudie y trabaje es
condición necesaria para que ese alumno
ingrese a la universidad.
5) Un alumno estudia y trabaja es condición
suficiente para que ingrese a la
universidad
Son ciertas:
A) Sólo 1, 2 y 3 B) Sólo 2, 3 y 4
C) Sólo 3, 4 y 5
D) Todas E) Sólo 1, 4 y 5
23. La proposición: el
triángulo tiene 3 lados o quizá el cuadrado
tiene 4 lados se formaliza:
A) (p q) B) (p q) C) (p q)
D) p / q E) (p / q)
24. La Proposición: que vista de negro es
incompatible con que esté de luto familiar .
Se formaliza:
A) p & q B) p & q C) p q
D) p q E) p / q
25. La proposición:
nublado salvo que sea falso que estemos en
, se formaliza:
A) (p q) B) (p q) C) p q
D) p E) q p
26. La proposición Si los astrónomos observan
un planeta nuevo, podrían suponer que
existe vida allí. Asimismo, si existe vida en
un planeta nuevo, la Tierra no sería el único
planeta habitable , se formaliza:
A) (p q) (p r)
B) (p q) (r s)
C) (p q) (q r)
D) (p q) (r s)
E) (p q) (r r)
27. La expresión:
no canto cuando duermo; en vista de que ni
Se formaliza:
A) [(p q) ( q r)] [(r q) p]
B) [(p q) ( q r)] [(r q) p]
C) ( p q) [(r q) p]
D) ( p q) [(r q) p]
E) [(p q) ( q r)] [( r q) p]
28. La proposición:
solo si tiene dinero, aunque está de
vacaciones sin ser febrero. No obstante,
únicamente cuando no tenga dinero,
, se formaliza:
A) [(A B) C ] ( B A)
B) [(A B) (C D)] ( B A)
C) [(A B) C] ( B A)
D) [(A B) (C D)] ( B A)
E) N.A.
29. Es una aberración que, la
A) {[ (A B) (A B)] [ (A B) (A
B)]}
B) {[(A B) (A B)] [(A B) (A B)]}
C) (A B)
D) (A A)
E) A
30. La proposición: cruza nuestras
calles, ha de indicar qué y cuántos fines
persigue. Y, si miente, le cerraremos las
puertas, pero si dice la verdad, le invitaremos
, se formaliza:
A) [p (q r)] [( s t) (s u)]
B) [p (q r)] ( s t) (s u)
C) {[p (q r)] ( s t)} (s u)
D) [p (q r)] ( s t) (s r)
E) [p (q r)] (s t) (v w)

4. 48
Ciclo Nobel
31. La proposición:
declararon la guerra a Alemania durante la
Primera Guerra Mundial; salvo que Perú fue
el único país sudamericano en litigar
directamente con Alemania y con Turquía .
Se formaliza:
A) (p q r) (s t)
B) ( p q r) (s t)
C) (p q r) s
D) ( p q r) s
E) ( p q r) s
32. La proposición: El hidróxido de aluminio es
maleable y, a igualdad de peso, mejor
conductor de la electricidad que el cobre , se
formaliza:
A) p q B) p q C) p (q r)
D) (p q) r E) ninguna
FORMAS ATÍPICAS DE FORMALIZACIÓN
(Formas poco convencionales de
formalización)
33. La proposición Martín no pagó su deuda y el
, se formaliza:
A) p q B) p q C) p q
D) p q E) p q
34. La proposición: Freddy, Joseph y Juan
cualquiera de ellos es estudiante de
derecho , se formaliza:
A) p B) p q r C) p q r
D) p q E) (p q) r
35. La proposición: El abogado, el médico y el
ingeniero alguno de ellos es empresario , se
formaliza:
A) p q r B) (p q) r C) p q r
D) p q E) p
36. La proposición:
,
se formaliza:
A) p B) p q C) p q
D) p q E) (p q)
37. La proposición: El futbolista, el tenista y el
basquetbolista sólo uno de ellos es fumador ,
se formaliza:
A) p q r
B) p / q / r
C) p q
D) p q
E) p q r
38. La proposición: Es falso, incierto y mentira
que Doris va al concierto de rock alternativo ,
se formaliza:
A) p B) p C) p
D) p E) Más de una es correcta
39. La proposición: Cuando Ana cocina su
hermana sirve la mesa , se formaliza:
A) p q B) p q C) p q
D) p q E) p q
40. La proposición: Aunque sea domingo iré a
trabajar , se formaliza:
A) (p p) q
B) p q
C) (p p) q
D) p q
E) p
41. La proposición: cumplirá sentencia
, se formaliza:
A) p (q q)
B) p p
C) p
D) (p q) (p q)
E) ninguna
42. La proposición:
autorización de la persona que lo habita, no
se puede ingresar en el domicilio, tampoco
, 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)