IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009 RAZONAMIENTO LÓGICO

SEMANA Nº 02
TEMA: Formalización de Proposiciones
Coordinador: Lic. J. Martín Reyes Reyes
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009
RAZONAMIENTO LÓGICO

c)
1. “Sólo si el agua se partida que la 11. Formalizar la
evapora, es aplicación”, se siguiente
sometida a altas formaliza: proposición: “Ya que
temperaturas; sin a) p � ( q �r ) el citoplasma es un
embargo, es líquido viscoso o es
b) p � q
suficiente que la : ( p �٬�
� q) : ( q r) �
� s
un sólido gelatinoso,
� c) p � ( q �r ) por ello su
enfriamos para que
se condense”. Tiene
como fórmula:
d) d)
e)
p�q
p
constitución es entre
sólido y líquido.
a) ( p �‫�ٮ‬
: �
� q) ( q r) �
� s
Asimismo el
citoplasma está
( p ‫�ٮ‬q) ( r s) 7.La proposición: Es
b) e) negable,
inconcebible y
constituido por una
mezcla cuya
( p �٬q) (r s) ( : p �‫�ٮ‬
�
� q) ( : q r) �
� s mentira que, la composición varía a
unidad de potencia cada instante,
c)
es el watt a no ser debido a su continua
( p ‫�ٮ‬
q) (r s) 4. La proposición: “Que actividad como
que únicamente no
d) la lógica sea una materia viva”.
sea la caloría”. Su
ciencia factual o sólo
( p ‫�ڮ‬q) (r s)
formal es
formalización es: a)
e) incompatible con a) : : : ( p � q) �
�( p‫ڮ‬٬ ‫ ڮ‬q) r �
�‫ ( ڮڮ‬s‫ڮ‬ t)
( p �٬q) (r s) que el objeto de b) : : : ( p �: q) b)
estudio de la lógica
: : : ( p �: q)
‫ڮ‬ � ( p q)
‫ڮڮڮڮڮڮڮڮڮڮڮڮڮٮ‬
� � (s
r� t)
sea el concepto, el c)
2. “Si el primer regidor juicio o
c)
d) : ( p �: q)
es un político, el exclusivamente el �
� ( p �‫ڮ‬q)
r�
�s
tercer regidor dice la razonamiento”, se e) : : : ( : p �q) d)
verdad. Si el tercer formaliza:
regidor no dice la a)
�
�( p ��‫ڮ‬
q) � (s
r� t)
8. “La sede del
verdad, el primer : ( p �q) �: ( r �s �t ) sudamericano SUB e)
regidor no es
político. En b) 20 de fútbol será �
�( p �
q) r�
�s
Perú o Venezuela;
consecuencia, el ( p �q) �( r �s �t ) sin embargo no
primer regidor es un c) jugarán ambas a la
político ya que el
: ( p �q) �: ( r �s �t ) vez”. Su 12. “Perú y Ecuador no
tercer regidor no es
d) formalización es: son países de
un político”. Se
formaliza como: : ( p �q) �: ( r �s �t ) a) ( p �q) �: r menor y mayor
riqueza mundial,
a)
e) b) ( p �q) �: r
respectivamente”.
(�p ��‫�ٮ‬
� q) ( : q : p ) �
� (p : q) : ( p �q) �: ( r �s �t ) ( p �q) �r Se formaliza como:
c)
b) a) : p �: q
d) p �q
(�p ��‫�ڮ‬
� q) ( : q : p) �
� (p )
: r 5.
“Es inconcebible que b) p �q
cada vez que e) ( p �q) �r c) ( p �q) �( r �s )
c)
Andrés o Jaime
�
� ( p ��‫�ٮ‬
q) ( : q : p ) �
� ( : p : q ) visiten a Andrea 9. La proposición:
d) p�q
e) : p �: q
d) obviamente que le “Argentina y Chile
( p ��‫�ٮ‬q) �(�: q : p ) ( p : r ) �
�
llevan regalos. Sin son países
13. La proposición: “Es
embargo, a ninguno fronterizos y
e) condición suficiente
de los tres les visita australes”. Se
�
� ( p ��‫�ٮ‬
q) ( : q : p ) �
� (p : r) Javier”. Se formaliza formaliza como:
que los perros al
igual que los gatos
como: a) p �q
sean vertebrados,
3. La proposición: a) b) p �( q �r ) para que no sean
“Ingresar a la UNP : �
�( p ����‫ڮ‬
q) ( r s) �
� (: t : u :c)v ) ( p �q) �( r �s ) artrópodos”. Su
es insuficiente para b) formalización es:
ser profesional en d) ( p‫ ٮ‬q) r a) ( p‫ ٮ‬q) : r
: �
�( p ����‫ڮ‬
q) ( r s) �
� : (t u v)
matemática. e) ( p �q) �r b)
Asimismo ser c)
: ( p ����‫ڮ‬
q)
( p �‫ٮ‬
q) : (r s)
profesional en �
� ( r s) �
� (: t u :Lav )
: 10. proposición:
matemática es c) p � q
condición d) “Aguilar Santisteban
d)
innecesaria para : �
�( p ����‫ڮ‬
q) ( r s) �
� (: t : u :y v ) Trelles Lara
( p �‫ٮ‬
q) (: r : s)
conseguir trabajo. fueron candidatos a
e) la Municipalidad e)
De allí que seré
comerciante”. Se
�
: �( p ����‫ڮ‬
q) ( r s) �
� : (t u v ) Provincial de Piura y ( p �‫ٮ‬
q) (: r : s)
formaliza: a la Presidencia de
la Región,
a) 14. “Sólo si existe
respectivamente”.
dedicación docente
Tiene como fórmula
en la rama de
( p �٬�
�
� q) (q r) �
� s lógica:
matemática, la
a) p �q
b)
institución adquiere
6. La proposición: “En b) p � q prestigio científico;
cuanto la c) : p �q no obstante, es
( p �‫�ٮ‬
�
� q) ( q r) �
� s Matemática sostiene d) p �q suficiente que los
que la función y la
e)
alumnos ingresen
relación son p �q
para tener trabajo”,
equivalentes, es se formaliza como:
obvio que tienen el
mismo conjunto de
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009
RAZONAMIENTO LÓGICO

a) sea mentira que la d) lógica es una ciencia

( p ‫�ٮ‬
q) (r s) aptitud académica ( p ‫�ڬ‬q) ( : p : q) formal, que estudia
no incrementan la el pensamiento, que
b)
capacidad de los e) p �: q está regida por
( p �٬q) (r s) estudiantes”, se principios y que
formaliza como: 24. Formalizar el tiene como uno de
c)
a) : : : p siguiente
( p ‫�ٮ‬
q) (r s) argumento: “Ya que
sus objetivos
b) p estudiar la validez
d) ( p � q ) �r c) : : p
Hellen afirma que su de los
hermana y Javier razonamientos”, se
e) d) : p son amigos de la
( p ‫�ڮ‬q) ( r s ) e) : : : : p puede inferir en:
infancia, bien se ve 1. Presenta 3
que niega todo tipo variables
15. La proposición: 20. La proposición: “Es de relación
absurdo que los proposicionales.
“Radioactividad sentimental con 2. Presenta 2
equivale a emisión salarios no tienen Javier”.
capacidad conectores lógicos.
de radiaciones, a no a) ( p ٬ q) : r 3. Tiene 2
ser que solamente adquisitiva, sin
embargo los b) p � q variables
luz no equivale a proposicionales.
trabajadores c) p � : q
energía radiante”. 4. Tiene 3
Se formaliza como: protestan”, se d) ( p‫ ٮ‬q) : r
conectores lógicos.
formaliza como:
a) p �q e) p�: q 5. Presenta 4
b) p �: q a) : ( p �q) variables
c) p �q b) : ( : p �q) 25. La proposición: “El proposicionales.
d) : : p �q que la energía sea Son falsas, con
c)
necesaria para los excepción de:
( p � q) �( r �s ) d) : ( : p �q) automóviles, es a) 1 y 3
e) p � q e) : ( p � q ) �r necesario para que, b) 2 y 3
sea suficiente que c) 3 y 5
16. “Existe movimiento los automóviles d) 4 y 5
material cada vez 21. “El abogado no es usen gasolina e) 1 y 5
que y sólo cuando justo ni competente, ecológica para que
no exista en vista que es falso no contaminen el 29. La proposición: “Qué
movimiento que haya consultado aire”. Se formaliza las personas no se
energético”, se con los peritos”. Se como: alimentan en forma
formaliza como: formaliza: a) adecuada, es
a)
a) p �q ( p � q) � ( r � : s ) condición suficiente
( : p‫ ٮ‬: q) : r
b) ( p � q) �r b) para que estén
b) débilmente
c) p �q ( p � q) � ( r � : s )
d) p�: q ( : p ٬ : q) : r nutridas”, Se puede
c) deducir de ella:
e) p�q c) ( p ٬ : q) r ( p � q) � ( r � s ) 1. Se formaliza
( : p ٬ q) : r como: : p � q
17. La proposición: “O d) d) p � ( q � : r) 2. Es una
e)
e) p � ( q � : r )
bien es falso que el proposición
oro es un metal ( : p ٫ : q) : r condicional.
debido a que el 26. Formalizar: “Si
3. Están presentes
plomo lo es, o bien Huascar fue
22. La proposición: “Es 2 conectivos
es mentira que el hermano de
objetable que el monádicos.
agua es mineral Atahualpa es obvio
Perú tenga 4. Hay 2 variables
pues siempre la sal que no fueron los
crecimiento proposicionales.
lo es”, se formaliza fundadores del
económico o en su 5. Es un esquema
como: imperio incaico”. Se
defecto que se replicativo.
a) p �q formaliza:
termine con la Son ciertas:
b) p � q a) p � : q a) 1, 2 y 3
recesión. A menos
c) : ( p � q) que claro está, que b) p � ( : q �: r ) b) 2, 3 y 4
c) p � ( q �r )
no haya inflación”. c) 3, 4 y 5
d)
d) 1, 2 y 4
: ( p �Ŭ
q) : (r s) a) : ( p �q) �: r d) p �: q e) 2, 3 y 5
e) : p �q b) e) p � ( : q �: r )
: ( : p �: q) �: r 27. “Daúl no niega 30. Formalizar: “La
purificación de la
18. “Es falso que es c) : ( : p �q) �r contraer matrimonio
insuficiente “p” para en febrero próximo, penicilina en 1938
que en todo caso se d) : ( p � q ) �r por otro lado, afirma descubierta por los
dos bioquímicos
de “q””. Se formaliza e) : ( p‫ ڮ‬q) : r que su madrina será
como: Amanda ya que el británicos Howard
Florey y Ernst Chain
a) : ( p � q) 23. “El agua hierve
padrino será Martín”,
ocurrió diez años
se formaliza como:
b) : ( : p � q) cuando está a 100 más tarde del
grados centígrados, a) : : p ٬ ( q r ) descubrimiento de
c) p�q
p�q a menos que no b) ‫( ٮ‬q
p r) Alexander Fleming
d)
hierva ya que no de la actividad
e) : ( p � q) esté a 100 grados c) : p٬ (q r) bactericida del
centígrados”. Su d) : : p‫ ( ٮ‬q r) hongo Penicillium.
formalización será: Tras conocer su
a) p �q e) p٬ (q r) estructura entonces
b) ( p � q) �: : p se pudo utilizar de
19. La proposición: “Es p �: : q 28. Dado el siguiente forma masiva en
c) medicina. Con la
insostenible que no argumento: “La
 IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009
RAZONAMIENTO LÓGICO

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)
�
� (q
p �‫ٮ‬ r) �
� s
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009 RAZONAMIENTO LÓGICO

El conjuntor  P y bien, o también Q  Si P, Q

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


 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 Es dual forma de P
 P salvo que Q  De P derivamos Q Formalización: P�Q
 P implica Q
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009 RAZONAMIENTO LÓGICO
IDEPUNP / CICLO REGULAR / ENERO – MARZO 2009
RAZONAMIENTO LÓGICO

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