C) p  q  (r  s) D) p  (q  r  s)

UNT 2004–I (Área “Letras”) E) p  (q  r)

09. La proposición: “Si las rectas A y B son
paralelas pero ambas son perpendiculares a la UNT 2003 (Área “B”)
recta C, entonces es absurdo que A sea paralela 14. La proposición: “El peróxido de sodio, o
a C y C sea paralela a B”. también llamado oxilita, es un compuesto
Examen Diario – FORMALIZACIONES Se formaliza: químico binario”. Se formaliza:
Prof. A) (p  q)  (r  s)
1) A  C 2) A  B  C  D A) p B) p  q C) p  q
III SUMATIVO (Enero – Abril 2005) 3) (A  B)  D 4) A  B  C  D B) [(p  q)  (rs)]  t D) (p  q)  r E) p  q
01. Dadas las siguientes proposiciones: 5) A  (B  D) C) [p  (q  r)]   t
1. Luis es gemelo de Carlos. D) [p  (q  r)]  (s  t) UNT 2003 (Área “B”)
Son ciertas:
2. Moche está ubicada geográficamente entre E) [p  (q  r)]  (s  t) 15. El enunciado: “Si Ayar Manco fue hermano de
A) 1 y 2 B) 2 y 3 C) 3 y 4
Trujillo y Salaverry. Ayar Uchu obviamente no fueron los fundadores
3. Es absurdo estudiar con ruido. D) 4 y 5 E) Ninguna
UNT 2002 (Área “B”) del Imperio Incaico”. Se formaliza como:
4. Ya que la Lógica modal es un tipo de
lenguaje, es obvio que es subjuntiva. UNT 2002 (Área “Letras”) 10. La proposición: “El planeta Tierra se ubica en la A) (A  B)  –B B) (p  q)  –B
5. Los políticos son injustos pero postulan 05. La formalización de la proposición: “O Luis es Vía Láctea o en Andrómeda, porque pertenece a C) p  q D) p  –q
justicia. abogado o es médico”, es: una galaxia espiral”. Se formaliza: E) p  (–q  –r)
Al formalizarlas, tienen operador diádico: A) A  B B) A  B C) (AB) A) (p  q)  r B) (p  q)  r
A) 1 y 2 B) 1 y 3 C) 2 y 5 D) A  B E) N.A. C) (p  q)  r D) p  q UNT 2004–I (Área “B”)
D) 3 y 4 E) 4 y 5 E) p  (q  r) 16. La formalización de la proposición:
UNT 2002 (Área “Letras”) “Sólo si Erika estuvo en el accidente, tomó el
III SUMATIVO (Enero – Abril 2005)
06. La formalización de la proposición: “Como, sin UNT 2002 (Área “B”) avión, y no asistió a la reunión porque estuvo en
02. El siguiente enunciado:
“Siempre que hay una catástrofe, la gente se embargo duermo, entonces engordaré”, es: 11. Dada la siguiente proposición: el accidente; pero Erika tomó el avión o no
solidariza con los deudos de las víctimas; al A) A  B B) A  B  C “Porque la lógica difusa es polivalente, sirve asistió a la reunión. Por consiguiente Erika
mismo tiempo, las autoridades ofrecen C) (AB)C D) A  B  C E) A B C como sustento teórico para el desarrollo de la estuvo en el accidente”, es:
investigar las causas de la catástrofe y castigar a inteligencia artificial. Todo esto implica que la A) {[(p  q)  (r  p)]  (q  r)}  p
los culpables puesto que no desean que éstas se UNT 2002 (Área “Letras”) lógica formal tiene un amplio campo de B) {[(p  q)  (r  p)]  (q  r)}  p
repitan”, se formaliza: 07. La proposición: “No ocurre que, ni Abel es aplicación”. C) {[(p  q)  (r  p)]  (q  r)}  p
A) (p  q)  [(r  s)   t] A) (p  q)  r B) (p  q)  r D) {[(p  q)  (r  p)]  (q  r)}  p
abogado ni Andrés es ingeniero; salvo que
B) (p  q)  [(r  s)  t] C) (p  q) & (r  s) D) (p  q)  r
también, Abel es casado y/o Andrés es soltero”, E) {[(p  q)  (r  p)]  (q  r)}  p
C) (p  q)  [(r  s)  t]
se formaliza: E) (p  q)  r
D) (p  q)  [(r  s)  t]
1) (p  q)  (p  q) UNT 2004–II (Área “B”)
E) [(p  q)  (r  s)]  t
2) (p  q)  (r  s) UNT 2002 (Área “B”) 17. El enunciado:
III SUMATIVO (Enero – Abril 2005) 3) (p  q)  (r  s) 12. La proposición: “La Lógica es una ciencia “La privatización de las empresas del Estado, no
03. “Si un libro tiene 100 hojas y cada hoja tiene o 4) (p  q)  (r  s) formal salvo que solamente empírica. No aumento de los sueldos de los trabajadores y
bien una figura o bien una tabla, entonces el obstante la física es ciencia fáctica porque bien o también la reducción del sector estatal son
5) (p  q)  (r  s)
libro resulta caro dado que contiene 100 figuras estudia hechos o fenómenos que ocurren en el medidas neoliberales, está implicado en la
Son inciertas: aplicación del modelo económico neoliberal en
o 100 tablas”. El enunciado anterior se A) 3 y 5 B) Sólo 1 C) 1, 2 y 4 mundo”. Se formaliza:
formaliza. nuestro país”. Se formaliza como.
D) Sólo 2 y 4 E) Sólo 4 A) (p  q)  –(r  s)
A) [p  (q  r)]  [s  (t  u)] A) (p  –q  r)  s B) (p  –q  r)  s
B) (p  q)  –[r  s(s  t)]
B) [p  (q  r)]  [s  (t  u)] C) [(p  –q)  r]  s D) (p  –q  r)  s
UNT 2004–I (Área “Letras”) C) (p  q)  [r  (s  t)]
C) [p  (q  r)]  [(s  t)  u)] E) (p  –q  r)  s
08. La siguiente proposición: D) (p  q)  [r  (s  t)]
D) [p  (q  r)]  [s  (t  u)]
“Silvia y Steffany celebraron su despedida de E) (p  q)  [r  (s  t)]
E) [p  (q  r)]  [s  (t  u)]
soltero y se casaron, además, las dos viajaron a
UNT 2001 (Área “Letras”) Europa”. Se formaliza: UNT 2003 (Área “B”)
04. La formalización de la proposición: “Aseo mi A) [(p  q)  (r  s)]  (t  u) 13. La proposición: “Siempre y sólo cuando existe
casa a menos que sea irresponsable. Amo porque B) [(p  q)  (r  s)]  (t  u) desocupación es obvio que habrá hambre,
soy madre. Esto trae consigo, aseo mi casa y C) [(p  q)  (r  s)]  (t  u) delincuencia tal como aumentará el índice de
amor” es: D) [(p  q)  (r  s)]  (t  u) mortalidad”. Se formaliza:
E) [(p  q)  (r  s)]  (t  u) A) p  (q  r  s) B) p  (q  r)  s
 CLAVES – FORMALIZACIONES
01. E 04. E 07. D 10. B 13. D 16. B
02. B 05. E 08. A 11. D 14. A 17. E
03. B 06. C 09. E 12. E 15. E