SEMANA Nº 02

1. “Sólo si el agua se evapora, es sometida a altas a) p → (q  r )

temperaturas; sin embargo, es suficiente que la
b) p→q
enfriamos para que se condense”. Tiene como
fórmula: c) p → (q  r )
a) ( p → q)  ( r → s ) d) pq
b) ( p  q)  ( r  s ) e) p

c) ( p  q)  ( r → s ) 7. La proposición: Es negable, inconcebible y mentira

d) ( p  q)  ( r → s ) que, la unidad de potencia es el watt a no ser que
únicamente no sea la caloría”. Su formalización es:
e) ( p → q)  ( r  s ) a) (p  q)
2. “Si el primer regidor es un político, el tercer regidor b) (p  q)
dice la verdad. Si el tercer regidor no dice la verdad, el c) (p  q)
primer regidor no es político. En consecuencia, el
primer regidor es un político ya que el tercer regidor no d) (p  q)
es un político”. Se formaliza como: e) ( p  q)
a) (p → q)  ( q → p) → (p  q)
b) (p → q)  ( q → p) → (p  r ) 8. “La sede del sudamericano SUB 20 de fútbol será Perú
o Venezuela; sin embargo no jugarán ambas a la vez”.
c) (p → q)  ( q → p) → ( p  q) Su formalización es:
d) (p → q)  ( q → p) → (p  r ) a) ( p  q)  r

e) (p → q)  ( q → p) → (p  r ) b) ( p  q)  r
c) (p  q)  r
3. La proposición: “Ingresar a la UNP es insuficiente para d) pq
ser profesional en matemática. Asimismo ser
profesional en matemática es condición innecesaria
e) (p  q)  r
para conseguir trabajo. De allí que seré comerciante”.
Se formaliza: 9. La proposición: “Argentina y Chile son países
a) (p → q)  ( q  r ) → s fronterizos y australes”. Se formaliza como:
a) p  q
b) (p  q)  ( q → r ) → s b) p  (q  r )
c)  (p → q)  ( q  r ) → s c) ( p  q)  ( r  s )
d) (p  q)  ( q → r ) → s d) ( p  q) → r
e) ( p  q)  ( q → r ) → s e) ( p  q)  r
4. La proposición: “Que la lógica sea una ciencia factual o 10. La proposición: “Aguilar Santisteban y Trelles Lara
sólo formal es incompatible con que el objeto de fueron candidatos a la Municipalidad Provincial de
estudio de la lógica sea el concepto, el juicio o Piura y a la Presidencia de la Región,
exclusivamente el razonamiento”, se formaliza: respectivamente”. Tiene como fórmula lógica:
a) (p  q)  (r  s  t ) a) p  q
b) ( p  q)  ( r  s  t ) b) p  q
c) pq
c) ( p  q)  ( r  s  t ) d) p  q
d) ( p  q)  ( r  s  t ) e) p  q
e) (p  q)  (r  s  t )
11. Formalizar la siguiente proposición: “Ya que el
citoplasma es un líquido viscoso o es un sólido
5. “Es inconcebible que cada vez que Andrés o Jaime
gelatinoso, por ello su constitución es entre sólido y
visiten a Andrea obviamente que le llevan regalos. Sin líquido. Asimismo el citoplasma está constituido por
embargo, a ninguno de los tres les visita Javier”. Se una mezcla cuya composición varía a cada instante,
formaliza como: debido a su continua actividad como materia viva”.
a) (p  q) → (r  s)  ( t  u  v ) a) (p  q) → r   ( s  t )
b) (p  q) → (r  s)  ( t  u  v ) b) (p  q) → r   ( s → t )
c)  (p  q) → (r  s)  ( t  u v) c) (p  q) → r   s
d) (p  q) → (r  s)  ( t  u  v ) d) (p  q) → r  → ( s  t )
e) (p  q) → (r  s)  ( t  u  v ) e) (p  q) → r   s

12. “Perú y Ecuador no son países de menor y mayor

riqueza mundial, respectivamente”. Se formaliza como:
a) p q
6. La proposición: “En cuanto la Matemática sostiene que b) p  q
la función y la relación son equivalentes, es obvio que
tienen el mismo conjunto de partida que la aplicación”, c) ( p  q)  ( r  s )
se formaliza:
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009

d) p→q d) p
e) p q e) p

13. La proposición: “Es condición suficiente que los perros 20. La proposición: “Es absurdo que los salarios no tienen
al igual que los gatos sean vertebrados, para que no capacidad adquisitiva, sin embargo los trabajadores
sean artrópodos”. Su formalización es: protestan”, se formaliza como:
a) ( p  q) → r a) (p  q)
b) (p  q) → (r  s ) b) ( p  q)
c) p→q c) pq
d) ( p  q) → ( r s) d) ( p  q)
e) ( p  q) → ( r s) e) ( p  q)  r

14. “Sólo si existe dedicación docente en la rama de 21. “El abogado no es justo ni competente, en vista que es
matemática, la institución adquiere prestigio científico; falso que haya consultado con los peritos”. Se
no obstante, es suficiente que los alumnos ingresen formaliza:
para tener trabajo”, se formaliza como: a) ( p  q) → r
a) ( p → q)  ( r → s )
b) ( p  q)  r
b) ( p  q)  ( r  s ) c) ( p  q)  r
c) ( p  q)  ( r → s ) d) ( p  q)  r
d) ( p  q)  r e) ( p  q)  r
e) ( p  q)  ( r → s )
22. La proposición: “Es objetable que el Perú tenga
15. La proposición: “Radioactividad equivale a emisión de crecimiento económico o en su defecto que se termine
radiaciones, a no ser que solamente luz no equivale a con la recesión. A menos que claro está, que no haya
energía radiante”. Se formaliza como: inflación”.
a) p  q a) ( p  q)  r
b) p  q
b) ( p  q)  r
c) p  q
c) ( p  q)  r
d) ( p  q)  (r  s )
e) pq
d) ( p  q)  r
e) ( p  q) → r
16. “Existe movimiento material cada vez que y sólo
cuando no exista movimiento energético”, se formaliza 23. “El agua hierve cuando está a 100 grados centígrados,
como: a menos que no hierva ya que no esté a 100 grados
a) p  q centígrados”. Su formalización será:
b) ( p  q)  r a) p  q
c) pq b) ( p  q)  p
d) p q c) p q
e) pq d) ( p  q)  ( p q)
e) p q
17. La proposición: “O bien es falso que el oro es un metal
debido a que el plomo lo es, o bien es mentira que el
24. Formalizar el siguiente argumento: “Ya que Hellen
agua es mineral pues siempre la sal lo es”, se
afirma que su hermana y Javier son amigos de la
formaliza como:
infancia, bien se ve que niega todo tipo de relación
a) p  q
sentimental con Javier”.
b) p  q
a) ( p  q)  r
c) ( p  q) b) p→q
d) ( p  q)  ( r  s ) c) p→ q
e) p q d) ( p  q) → r
e) p q
18. “Es falso que es insuficiente “p” para que en todo caso
se de “q””. Se formaliza como:
25. La proposición: “El que la energía sea necesaria para
a) ( p  q) los automóviles, es necesario para que, sea suficiente
b) ( p → q) que los automóviles usen gasolina ecológica para que
no contaminen el aire”. Se formaliza como:
c) pq
a) ( p  q)  ( r → s )
d) p→q
e) ( p → q) b) ( p → q) → ( r → s )
c) ( p  q)  ( r → s )
d) p  (q → r )
e) p → (q  r )
19. La proposición: “Es insostenible que no sea mentira 26. Formalizar: “Si Huascar fue hermano de Atahualpa es
que la aptitud académica no incrementan la capacidad obvio que no fueron los fundadores del imperio
de los estudiantes”, se formaliza como: incaico”. Se formaliza:
a) p a) p → q
b) p b) p→( q r)
c) p
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009

c) p → ( q  r )
d) p q
e) p( q r)
27. “Daúl no niega contraer matrimonio en febrero
próximo, por otro lado, afirma que su madrina será
Amanda ya que el padrino será Martín”, se formaliza
como:
a) p  (q  r )
b) p  (q → r )
c) p  (q  r )
d) p  (q → r )
e) p  (q  r )

28. Dado el siguiente argumento: “La lógica es una ciencia

formal, que estudia el pensamiento, que está regida
por principios y que tiene como uno de sus objetivos
estudiar la validez de los razonamientos”, se puede
inferir en:
1. Presenta 3 variables proposicionales.
2. Presenta 2 conectores lógicos.
3. Tiene 2 variables proposicionales.
4. Tiene 3 conectores lógicos.
5. Presenta 4 variables proposicionales.
Son falsas, con excepción de:
a) 1 y 3
b) 2 y 3
c) 3 y 5
d) 4 y 5
e) 1 y 5

29. La proposición: “Qué las personas no se alimentan en

forma adecuada, es condición suficiente para que
estén débilmente nutridas”, Se puede deducir de ella:
1. Se formaliza como: p → q
2. Es una proposición condicional.
3. Están presentes 2 conectivos monádicos.
4. Hay 2 variables proposicionales.
5. Es un esquema replicativo.
Son ciertas:
a) 1, 2 y 3
b) 2, 3 y 4
c) 3, 4 y 5
d) 1, 2 y 4
e) 2, 3 y 5

30. Formalizar: “La purificación de la penicilina en 1938

descubierta por los dos bioquímicos británicos Howard
Florey y Ernst Chain ocurrió diez años más tarde del
descubrimiento de Alexander Fleming de la actividad
bactericida del hongo Penicillium. Tras conocer su
estructura entonces se pudo utilizar de forma masiva
en medicina. Con la II Guerra Mundial estalló la
producción comercial de la penicilina, con lo que
disminuyó en gran medida el número de muertes”.
a) p  ( q → r )  ( s → t )
b) p  (q → r )  (s → t )
c) p  (q → r )  s
d) p  (q → r )  (s  t )
e) p  ( q → r ) → s
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009 RAZONAMIENTO LÓGICO

El conjuntor • P y bien, o también Q • Si P, Q • P si y sólo si Q

• P excepto que Q • Cuando P, Q • P siempre y cuando Q
Formalización: PQ • P o incluso Q • Como P, Q • P se define lógicamente como Q
• P o a la vez Q • De P, Q • P es equivalente a Q
• PyQ • P ya bien Q • Suponiendo que P, Q • P es igual que Q
• P incluso Q • P y/o Q • P sólo si Q • P es idéntica a Q
• P pero Q • P a no ser Q • Sólo P si Q • P es condición necesaria y suficiente para Q
• P aunque Q • A menos que P, Q • P es condición suficiente de Q • P siempre que y sólo cuando Q
• P al igual que Q • P o también Q • Una condición necesaria para P es Q • P porque y sólo porque Q
• P tal como Q • Salvo que P, Q • Como quiera que P por lo cual Q • P entonces y sólo entonces Q
• P tanto que Q • Al menos uno de los dos P o Q • P da lugar a Q • Si y sólo si P, entonces Q
• P también Q • P o sino Q • De P deviene Q • P implica y está implicado por Q
• P así como Q • P o en todo caso Q • Con que P siendo así Q • P no es suficiente y no es necesario para Q
• P vemos que también Q • P alternativamente Q • De P se desprende que Q • Sólo si P y sólo si Q
• P al mismo tiempo que Q • Apenas P inmediatamente Q • P solamente y en el único caso que Q
• P sin embargo Q • Si de hecho P no se puede negar que Q • Siempre que P luego es porque Q
• P es compatible con Q
3. El disyuntor excluyente • Si es así que P con ello Q • Cuando y cada vez que P así se da Q
• P aún cuando Q • P si en el único caso Q • P es la definición lógica de Q
• P al mismo modo Q Formalización: PQ • Si P a lo más Q • P en el caso y sólo en el caso de que Q
• P de la misma manera Q • Siempre que P y sólo si Q
• P no obstante Q • oPoQ
• P sino Q • o bien P o bien Q
• 5. El replicador
• No sólo P sino también Q P o Q (en sentidos excluyentes)
7. El negador
• P asimismo Q • P o solamente Q
• P a pesar de que Q • P o únicamente Q Formalización: PQ
• P a la vez que Q • P o sólo Q Formalización: P
• P igualmente Q • P no es equivalente a Q • Sólo si P, Q
• P de la misma manera Q • No es equivalente P con Q • P si Q a) Negadores internos:
• Sin que P tampoco Q • P no biimplica a Q • P porque Q • No P
• Cierto que P lo mismo que Q • P o bien necesariamente Q • P siempre que Q • Nunca P
• Simultáneamente P con Q • No es cierto que P equivale a Q • Es condición necesaria P para Q • Jamás P
• P más aún Q • A menos que únicamente P ocurre Q • P para Q • P es una mentira
• P además Q • O bien necesariamente P o bien Q • Para P es suficiente Q
• • b) Negadores externos:
• P a la par que Q Ya bien P ya bien Q P puesto que Q
• • • Es absurdo que P
• P aún cuando Q Sólo P o sólo Q P dado que Q
• • • Es inconcebible que P
• P igualmente Q A lo más uno de los dos P o Q P supone que Q
• • Es innegable que no P
• Tanto P como Q P pues Q
• • No es el caso que P
• Tanto P cuanto Q P en vista de Q
• • De ninguna forma se da P
• Aún cuando P, Q P como Q
• • Es incierto que P
• Además de P, Q P por cuanto Q
• • No es inobjetable que P
• El que P no excluye que Q P debido a que Q
• • En modo alguno P
• P no es incompatible con Q P cada vez que Q
• • Es inadmisible que P
• P al propio tiempo Q P en razón de Q
4. El implicador • P en tanto Q • No acaece que P
• Para P es suficiente Q • No acontece que P.
Formalización: P→Q • El que P depende de Q • Es sofisma que P
• P es una circunstancia única para Q • Carece de todo sentido P
• Si P entonces Q • Dado sólo P luego Q • Es refutable que P
• Siempre que P por consiguiente Q • P depende de que ocurra Q • P es insostenible
• Ya que P bien se ve que Q • P está implicado por Q • Es rebatible P
2. El disyuntor incluyente • Con tal P es obvio que Q • Sólo si P y siempre que Q • Decir que P es una farsa
• Cuando P así pues Q • No es suficiente que P y no es necesario que Q • Es incoherente que P
Formalización: PQ • Toda vez que P es consecuente Q • P se sigue de Q • Por lo menos una vez no P
• Dado P por eso Q • Es inaudito que P
• • Es dual forma de P
• PoQ En cuanto P por tanto Q
• P a menos que Q • Cada vez que P consiguientemente Q 6. El bicondicional
• A menos que P, Q • Ya que P es evidente Q
• P salvo que Q • De P derivamos Q Formalización: PQ
• P implica Q
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009

HOJA DE CLAVES

Ciclo Enero – Marzo 2009

Curso: RAZONAMIENTO LOGICO.

Semana: 02 Tema: Formalización de Proposiciones

Pregunta Clave Tiempo Dificultad

(Min.)
01 c 2 F
02 e 3 M
03 b 3 M
04 e 3 M
05 a 3 M
06 a 2 F
07 c 2 F
08 a 3 M
09 b 3 M
10 e 2 F
11 a 3 M
12 e 3 F
13 d 3 M
14 c 2 F
15 b 2 F
16 d 2 F
17 d 3 M
18 a 2 F
19 e 2 F
20 c 2 F
21 b 2 F
22 a 2 F
23 d 2 F
24 c 2 F
25 d 3 M
26 b 2 F
27 a 2 F
28 d 2 F
29 d 2 F
30 b 3 M