Está en la página 1de 8

Colegio Parroquial Mixto San Pedro ChanelSociedad de Mara

(Padres Maristas) Sullana



Grupo elite de matemtica Curso: Razonamiento Lgico
Tema: Formalizacin de proposiciones

Algunas traducciones verbales de los conectivos:
1. El conjuntor

Smbolos: , , . &, KPQ

Traduccin verbal se lee:
P y Q
P incluso Q
P pero Q
P aunque Q
P al igual que Q
P tal como Q
P tanto que Q
P tambin Q
P as como Q
P vemos que tambin Q
P al mismo tiempo que Q
P sin embargo Q
P es compatible con Q
P an cuando Q
P al mismo modo Q
P de la misma manera Q
P no obstante Q
P sino Q
No slo P sino tambin Q
P asimismo Q
P a pesar de que Q
P a la vez que Q
P igualmente Q
P de la misma manera Q
Sin que P tampoco Q
Cierto que P lo mismo que Q
Simultneamente P con Q
P ms an Q
P adems Q
P a la par que Q
P an cuando Q
P igualmente Q, etc.

2. El disyuntor incluyente

Smbolos: v , APQ

Traduccin verbal se lee:
P o Q
P a menos que Q
A menos que P, Q
P salvo que Q
P y bien, o tambin Q
P excepto que Q
P o incluso Q
P o a la vez Q
P ya bien Q
P y/o Q
P a no ser Q, etc.



3. El disyuntor excluyente

Smbolos: v , A, , ,
Traduccin verbal se lee:
o P o Q
o bien P o bien Q
P o Q (en sentidos excluyentes)
P o solamente Q
P o unicamente Q
P o slo Q
P no es equivalente a Q
No es equivalente P con Q
P no biimplica a Q, etc.

4. El implicador

Smbolos: , , CPQ
Traduccin verbal se lee:
Si P entonces Q
Siempre que P por consiguiente Q
Ya que P bien se ve que Q
Con tal P es obvio que Q
Cuando P as pues Q
Toda vez que P es consecuente Q
Dado P por eso Q
En cuanto P por tanto Q
Cada vez que P consiguientemente Q
Ya que P es evidente Q
De P derivamos Q
P implica Q
Si P, Q
Cuando P, Q
Como P, Q
De P, Q
Suponiendo que P, Q
P slo si Q
Slo P si Q
P es condicin suficiente de Q
Una condicin necesaria para P es Q
Como quiera que P por lo cual Q, etc.

5. El replicador

Smbolos: , c
Traduccin verbal se lee:
Slo si P, Q
P si Q
P porque Q
P siempre que Q
Es condicin necesaria P para Q
P para Q
Para P es suficiente Q
P puesto que Q
P dado que Q
P supone que Q
P pues Q
P en vista de Q
P como Q
P por cuanto Q
P debido a que Q
P cada vez que Q
P en razn de Q
P en tanto Q
Para P es suficiente Q, etc.

6. El biimplicador

Smbolos: , , EPQ
Traduccin verbal se lee:
P si y slo si Q
P siempre y cuando Q
P se define lgicamente como Q
P es equivalente a Q
P es igual que Q
P es idntica a Q
P es condicin necesaria y suficiente para Q
P siempre que y slo cuando Q
P porque y slo porque Q
P entonces y slo entonces Q

7. El negador
Smbolos: ~, ,
__
P , NP
Traduccin verbal se lee:
a) Negadores internos:
No P
Nunca P
Jams P
b) Negadores externos:
Es absurdo que P
Es inconcebible que P
Es innegable que no P
No es el caso que P
De ninguna forma se da P
Es incierto que P
No es inobjetable que P
En modo alguno P
Es inadmisible que P
No acaece que P
No acontece que P.
Es sofisma que, etc.

1. Formalizar la siguiente expresin:Si Andrs
trabaja y Carlos estudia, triunfarn
a) ( ) q r p .
b) ( ) ( ) p q r s . .
c) ( ) p q r .
d) ( ) p q r .
e) p q

2. Formalizar: No es cierto que si es invierno,
hace fro. Es verdad que si llueve, es cierto
que es verano
a) ( ) ( ) p q r s .
b) ( ) ( ) p q r s . .
c) p q .
d) ( ) ( ) p q r s .
e) ( ) p q r .

3. Formalizar la siguiente proposicin: Es
absurdo que yo te sonri sea lo mismo decir
que yo te enamoro
a) p q .
b) p q
c) p q v
d) ( ) p q
e) ( ) p q

4. La proposicin: Ya que es suficiente que
exista pobreza en el Per para que no
exista dominacin imperialista, existe la
dominacin imperialista excepto que
nicamente exista pobreza en el Per. Se
formaliza:
a) ( ) ( ) p q q p
b) ( ) ( ) p q q p . v
c) ( ) ( ) p q q p v .
d) ( ) ( ) p q q p .
e) ( ) ( ) p q q p

5. Formalizar: Es invierno porque hace fro
aunque sale la luna
a) ( ) p q r .
b) ( ) p q r v
c) ( ) p q r .
d) ( ) p q r .
e) ( ) p q r .

6. La proposicin: Habr progreso en el Per
si el estado genera empresa, puesto que
las empresas crean puestos de trabajo. Se
formaliza:
a) ( ) p q r
b) ( ) p q r
c) ( ) p q r .
d) ( ) p q r
e) p q

7. La formalizacin correcta de: Siempre que
y slo cuando exista amor es obvio que habr
ternura, cario tanto como alegra
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 . .

8. Formalizar: Tendremos plantas
ornamentales en el jardn, si el abono es
vegetal y las semillas son selectas
a) ( ) p q r .
b) ( ) p q r .
c) ( ) p q r .
d) ( ) p q r
e) ( ) p q r .

9. Formalizar: O Javier juega voley y tenis o
viaja a Lima y busca empleo.
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. Formalizar: Es imposible que si estoy
ansioso, entonces fumo.
a) p q .
b) ( ) p q
c) p q
d) p q .
e) ( ) p q

11. Formalizar la siguiente proposicin: Sin
lluvia ni tormenta, podemos emprender el
viaje a altamar.
a) ( ) p q r .
b) ( ) p q r . .
c) ( ) p q r .
d) ( ) p q r .
e) c y d

12. Formalizar: Newton fue fsico no obstante
fue filsofo, esto implica que le interesaba
conocer la realidad; pues tena una actitud
investigadora.
a) ( ) p q r s ( . .


b) ( ) s p q r ( . v


c) ( ) p q r s ( . .


d) ( ) p q r s ( .


e) ( ) s p q r ( .



13. Formalizar: O es peruano o brasilero, pero
no es espaol; porque naci en Amrica.
a) ( ) ( ) p q r s t ( v . .


b) ( ) ( ) p q r s v
c) ( ) p q r s ( v .


d) ( ) p q r s ( .


e) ( ) p q r s ( .




14. Dada la proposicin: Si traes la caja
blanca, no traers la negra. Pero, si traes la
azul, traers la negra. Empero es imposible
traer las tres juntas. Por tanto, traers slo
una de las tres. Su formalizacin es:
a) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . v v


b) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . . .


c) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . . .


d) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . . .


e) ( ) ( ) ( ) { } ( ) p q r p p q r p q r ( . . . .



15. Formalizar: Es necesario pagar $100 y
ensear el carn para ingresar a dar el
examen en Idepunp.
a) ( ) p q r .
b) ( ) p q r v
c) ( ) p q r .
d) ( ) p q r .
e) p q

16. Formalizar: De que 8 5 > y 5 2 > se
deduce que 8 2 > , aunque ni 5 8 > ni
2 5 > , en consecuencia 5 8 < , 2 5 < y
2 8 < .
a) ( ) ( ) ( ) { } ( ) p q r p q p q r ( ( . . . . .


b) ( ) ( ) { } ( ) p q r p q p q r ( . . . . .


c) ( ) ( ) { } ( ) p q r p q p q r ( . . . . .


d) ( ) ( ) ( ) { } ( ) p q r p q p q r ( ( . . . . .


e) ( ) ( ) ( ) { } ( ) p q r p q p q r ( ( . v . . .



17. La proposicin: Es condicin suficiente
para que tenga tica profesional el que una
persona sea profesional
a) p q
b) p q
c) p q v
d) p q
e) p q .

18. Dada la proposicin: El que sea profesor
de lgica es necesario para que sea
coordinador del curso, aunque es suficiente
que sea profesor y coordinador para
pertenecer a la universidad. Su
formalizacin es:
a) ( ) ( ) p q p q r ( . .


b) ( ) ( ) p q p q r ( v .


c) ( ) ( ) p q p q r ( . .


d) ( ) ( ) p q p q r ( . .


e) ( ) ( ) p q p q r ( . .



19. Formalizar: Es mentira que el que tenga
fro no es incompatible con que este bien
abrigado.
a) p q v
b) ( ) p q v
c) p q .
d) p q
e) ( ) p q .

20. La proposicin: Es compatible que los
mamferos y los cetceos son vertebrados y
acuticos respectivamente. Se formaliza
como:
a) p q .
b) ( ) ( ) p q r s . . .
c) p q v
d) ( ) ( ) p q r s v . v
e) p q

21. Formalizar la siguiente proposicin:
Rolando postul a la UNI al mismo tiempo
que Mara postul a San Marcos, luego
ingresaron a la universidad. Rolando
estudi ingeniera civil y Mara medicina.
a) ( ) ( ) p q r s t ( . . .


b) ( ) ( ) ( ) p q r s t u ( . . . .


c) ( ) ( ) p q r t u ( . . .


d) ( ) ( ) p q r t u ( . v .


e) ( ) ( ) ( ) p q r s t u ( . . .



22. Formalizar: El que la SUNAT sea un
organismo nacional es incompatible con
que fiscalice a las entidades estatales
a) p
b) p q v
c) p q v
d) p q .
e) p q

23. La siguiente proposicin: Si no es mentira
que sea falso que Inglaterra en forma
alguna es un pas aislado, implica que sea
la primera potencia econmica de Europa.
Se formaliza:
a) ( ) p q
b) p q
c) p q
d) ( ) p q
e) ( ) p q

24. Formalizar: Es absurdo que, ni Lus es
doctor ni Pedro es economista; a no ser
que, Lus es soltero y/o Pedro es casado.
a) ( ) ( ) p q r s . v
b) ( ) ( ) p q r s v v v
c) ( ) ( ) p q r s . v v
d) ( ) ( ) p q r s . . v
e) ( ) ( ) p q r s . v v

25. Dado el siguiente argumento. Es
inconcebible que sea corrupto y ocioso,
dado que estudio derecho; sin embargo soy
corrupto, Por tanto no ser un profesional
competente. Su formalizacin es:
a) ( ) { }
p q r p s ( . .


b) ( ) { }
p q r p s ( . .


c) ( ) { }
p q r p s ( v .


d) ( ) { }
p q r p s ( . .


e) ( ) { }
p q r p s ( . .


26. Formalizar: Las islas Galpagos alberga
casi 4000 especies de insectos en sus
zonas tropicales, aunque Malasia es el
hogar de 1000 especies de mariposas. Se
formaliza
a) p q .
b) ( ) p q r . v
c) p q
d) ( ) p q r .
e) ( ) p q r .

27. La proposicin: Las comisiones especiales
del Congreso del Per se forman bajo un fin
especfico y con un tiempo limitado. Estas
pueden ser comisin de presupuesto, de
deporte o de economa
a) ( ) ( ) p q r s t . v v v
b) ( ) ( ) p q r s t . v . .
c) ( ) ( ) p q r s t v . v v
d) ( ) ( ) p q r s t . . v v
e) ( ) p q r s . v v

28. Formalizar: Ya que, dos rectas no se
interceptan y son coplanares por
consiguiente son paralelas. Dos polgonos
son semejantes porque sus ngulos
correspondientes y las longitudes de sus
lados correspondientes son proporcionales
a) ( ) ( ) p q r s t u ( ( . . .


b) ( ) ( ) p q r s t u ( ( . . .


c) ( ) ( ) p q r s t u ( ( . v .


d) ( ) ( ) p q r s t u ( ( . . .


e) ( ) ( ) p q r s t u ( ( . . .



29. Formalizar: No es objetable que, si los
galenos utilizan las unidades de ictus si y
slo si que disminuyen complicaciones
cerebrales empero mejoran la calidad de
vida de los supervivientes; dado que la
ciencia neurolgica permite enfrentarse a
los problemas con mucho xito
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 ( . .



30. La proposicin: El canal de Panam une
los ocanos Atlntico y Pacifico, tiene 82
Km. De longitud y 14 m. de profundidad; es
condicin necesaria para que sea un paso
estratgico clave del comercio
internacional
a) ( ) p q r s . .
b) ( ) p q r s v v
c) ( ) ( ) p q r s . .
d) ( ) ( ) p q r s . .
e) ( ) p q r s . .

31. Formalizar: La sangre est compuesta por
tres componentes principales: plasma,
glbulos blancos y glbulos rojos.
a) p
b) p q r . .
c) ( ) p q r . v
d) ( ) ( ) p q r s . .
e) ( ) p q r v .


32. Relacionar:
I. Dos segmentos son congruentes ya
que tienen la misma longitud.
II. Un tringulo no puede tener ms de un
ngulo recto ni ms de un ngulo
obtuso.
III. Toda vez que aumenta el dlar
entonces se producir un alza de precios.
IV. Te renovarn el contrato si y slo si
rebajas tu sueldo en un 10%.
Con:
A. p q .
B. p q
C. p q
D. p q

a) I D, II C, III B, IV A
b) I D, II B, III A, IV C
c) I A, II D, III C, IV B
d) I D, II A, III B, IV C
e) I B, II A, III C, IV D

33. Al formalizar: Si Mara obtiene buenas
notas en Idepunp, entonces no es cierto
que alcanza una vacante o se cambia a otra
academia. Si y slo si Mara ingresar a la
universidad. Se obtiene una proposicin
molecular del tipo:
a) Bicondicional.
b) Disyuntiva incluyente.
c) Negativa.
d) Replicativa.
e) Implicativa.

34. La expresin: Slo si el aprendizaje no
poda escapar del mbito de la
comunicacin, ste es un proceso en el
cual adquieren importancia fundamental las
relaciones interpersonales. No slo importa
cunto sabe aquel que nos ensea, sino
tambin cmo ensea. Se formaliza:
a) ( ) ( ) p q r s . .
b) ( ) ( ) p q r s v .
c) ( ) ( ) p q r s . v
d) ( ) ( ) p q r s .
e) ( ) ( ) p q r s . .

35. Formalizar: Deduccin es una forma de
razonamiento donde se infiere una
conclusin a partir de una o nicamente de
varias premisas. En la argumentacin
deductiva vlida la conclusin debe ser
verdadera si todas las premisas son
asimismo verdaderas.
a) ( ) ( ) p q r s v .
b) ( ) p q r .
c) p q .
d) ( ) ( ) p q r s .
e) ( ) p q r .


Taller de Ejercicios


1. La proposicin: Que la poltica sea
social es una condicin suficiente y
necesaria para que la poltica no sea
econmica, se formaliza como:
a) p q v
b) p q
c) p q
d) p q
e) ( ) p q

2. La proposicin: El lenguaje tiene
significacin o slo tenga sentido, se
formaliza como:
a) p q v
b) p q
c) p q
d) p q
e) p q v

3. En Un juicio apodctico es analtico cada
vez y slo cuando usen lenguajes
formalizados, se formaliza:
f) p q .
g) p q
h) p q
i) p q v
j) p q

4. La proposicin:Porque la luz tiene
naturaleza dual, se trasmite en el vaco. Sin
embargo, el sonido no se trasmite en el
vaco porque tiene naturaleza ondulatoria,
se formaliza como:
f) ( ) ( ) p q q r .
g) ( ) ( ) p q r s .
h) ( ) ( ) p q q r .
i) ( ) ( ) p q r s .
j) ( ) ( ) p q r s .

5. De la proposicin:Ni ganars la rifa ni
ganars el bingo; pero, en definitiva
participars de la maratn ya que estas
muy entusiasmado, podemos afirmar que:
f) ( ) ( ) p q r s . . es su
formalizacin
g) Su conectivo dominante es .
h) Posee slo tres variables
proposicionales
i) a y b
j) c y d

6. Formalizar.La composicin qumica del
agua es dos tomos gramos del Hidrgeno
y uno de oxgeno, pero Javier no sabe
escribir la frmula de una molcula de
agua:
a) p q . b) p q v c) p q r . . d)
p q
e) p q .

7. Simbolizar:Si yo trabajo, gano dinero; y si
no trabajo entonces me divierto. Por lo tanto
si no gano dinero, me divierto.
f) ( ) { } ( ) p q p r q r ( .


g) ( ) ( ) ( ) p q p r q r ( .


h) ( ) ( ) ( ) p q q r q r ( .


i) ( ) p q r
j) ( ) p q r v


8. La formalizacin de la proposicin: Maria
es doctora o nicamente Mara es
dibujante, es:
a) p q
b) p q
c) p v q
d) p . q
e) p q

9. Formalizar:
Juan, Pedro, Javier y Mario estudian en la
UNP. Sin
embargo Maria estudia separada de
Carlos.
f) (p . q . r . s) . t
g) pv q
h) p
i) p q
j) p . q

10. Simbolizar: Ambos, el cerebro y la mdula
espinal, se comunican por una abertura
situada en la base del crneo y ambos no
estn en contacto con las dems zonas del
organismo a travs de los nervios.
a) (p . q) r
b) (p . q) v r
c) p . q
d) p
e) p q

11. Dado el siguiente razonamiento:
Si la economa peruana es prspera
porque hay
estabilidad laboral, ms an al haber
estabilidad
laboral no es equivalente a que exista
menor
pobreza. Su frmula lgica es:
a) (p q) . (q v r)
b) (p q) . (q r)
c) (p q) . ( q r)
d) (p q) . q
e) b y c

12. Dado el siguiente esquema:
Pedro, Lus, Mario y Andrs estudian en la
UNP Entonces triunfarn
Cul es el conectivo dominante?
a) . b) v c) d)
e) No tiene conectivo predominante.

13. Dada la siguiente oracin:
Alcanzars la cima si logras cruzar el ro;
pero como
no logrars cruzarlo entonces no
alcanzars la cima.
Su formalizacin es:
f) ( ) ( ) p q q p .
g) ( ) ( ) p q q p .
h) ( ) ( ) p q p q .
i) ( ) ( ) p q q p v
j) ( ) ( ) p q q p .

14. El que Martn tenga estudios de maestra
en Gestin empresarial implica que sea
economista de profesin. Se formaliza:
a) ( ) p q
b) p q
c) ( ) p q
d) p q
e) p q v


15. Formalizar: El cuerpo de las abejas est
dividido en tres segmentos: cabeza, trax y
abdomen.
a) p q r . .
b) p
c) p q
d) p q r v v
e) p q

16. Dada la proposicin:
El esqueleto de las aves es muy ligero, ya
que sus huesos son huecos y pesan poco.
Se formaliza:
a) ( ) p q r .
b) p (q r) .
c) p (q r) .
d) ( ) q r p .
e) p (q r) v

17. La formalizacin: Fue a finales del siglo
XIX cuando se origin la circuncisin
neonatal en Inglaterra como medida
preventiva contra la masturbacin, e incluso
para la prevencin de sfilis; por lo que sta
prctica se extendi a casi todos los pases
angloparlantes.
Ser:
a) ( ) p q r . b) ( ) p q r . c)
( ) p q r .
d) ( ) p q r . e) p (q r) v
18. Formalizar:
El parto puede verse asistido con
medicamentos como oxitcicos, ciertos
anestsicos o una posible episiotoma;
mientras que si el embarazo es de alto
riesgo, por lo general termina con una
operacin cesrea.
a) ( p q ) ( r s ) . .
b) p (q r ) .
c) ( p q ) ( r s ) . .
d) ( p q r) ( s t ) . . .
e) ( p q r) ( s t ) v v .

19. Formalizar las indicaciones que le hace un
mdico a su paciente:
Si para la cesrea te administraran
anestesia general, tu cuerpo tardar 6
horas en asimilarla. Y, con anestesia
peridural entonces el cuerpo tarda un poco
ms, aunque hayas estado despierta
durante la operacin. No realices fuerza
abdominal hasta que la herida no haya
sanado.
a) ( ) ( ) p q r s t u
(
. . .


b) ( ) ( ) ( ) p q r s t u v ( . v .


c) ( ) ( ) p q r s t u
(
. . v

(


d) ( ) ( ) ( ) p q r s t u v ( . . .


e) ( ) ( ) p q r s t u
(
. v .



20. Formalizar: Para que un nio muestre
agresividad con sus compaeros y rebelda
con sus profesores, es condicin necesaria
que sta conducta requiera de un
tratamiento especial.
a) ( ) p q r .
b) p (q r) .
c) p (q r) .
d) ( ) q r p .
e) p (q r) v




21. La formalizacin de:El avin despegar a
las 9 a.m. a menos que este lloviendo, es:
a) p q b) p q c) p q v d) p q
e) p q .

22. Siempre que y slo cuando existan lluvias
es obvio que habr creciente de ros,
enfermedades as como hambre, su
formalizacin es:
a) ( ) p q r s . .
b) ( ) ( ) p q r s .
c) ( ) q r s p . .
d) ( ) p q r s . .
e) p q .

23. Si la atmsfera de Venus no es ms densa
que la de la Tierra pero la de Marte si lo es,
las condiciones de vida en la Tierra y Marte
son nulas, su formalizacin es:
a) ( ) ( ) p q r s . .
b) p q
c) ( ) ( ) p q r s . .
d) ( ) ( ) p q r s v .
e) ( ) p q r .

24. Formalizar:Si el pncreas no segregase la
suficiente insulina, apareceran sntomas de
diabetes. Y si la glndula suprarrenal
produjese adrenalina en exceso, sucedera
lo mismo. En este caso no aparecen
sntomas de diabetes. De ah que pncreas
segrega la suficiente insulina y que la
glndula suprarrenal no produjese
adrenalina en exceso:
a) ( ) ( ) { } ( ) p q r q q p r ( . . v


b) ( ) ( ) { } ( ) p q r q q p r ( . . .


c) ( ) ( ) { } ( ) p q r q q p r ( . . .


d) ( ) ( ) { } ( ) p q r q q p r ( v v .


e) ( ) ( ) { } ( ) p q r q q p r ( . . .



25. Un conjunto est determinado por
extensin cuando se nombran todos sus
elementos, y est determinado por
compresin cuando se ha dado la
caracterstica o propiedad comn a todos
los elementos, su formalizacin es:
a) ( ) p q r v
b) ( ) p q r . v
c) ( ) ( ) p q r s t ( . v


d) ( ) p q r . v
e) p q v

26. Formalizar:El opuesto de un nmero
positivo a es -a y el nmero opuesto de
un nmero negativo -a es el nmero a
a) p q v
b) p q
c) p q
d) p q v
e) p q .

27. El valor absoluto de un nmero entero es
el mismo nmero si es positivo o cero; y es
el opuesto del nmero si es negativo, su
formalizacin es:
a) ( ) ( ) p q r s t ( v v


b) ( ) ( ) p q r s t ( . .


c) ( ) ( ) p q r s t ( v .


d) ( ) ( ) p q r s t ( .


e) ( ) ( ) p q r s t ( v .



28. Formalizar: Iremos a nadar a menos que el
cielo no este despejado, ya que no hemos
trado carpa. Halle la expresin
equivalente:
a) ( ) p q r v
b) ( ) p r q v .
c) p q r . .
d) ( ) p r q v
e) ( ) p q r v .

29. Formalizar: Ya que ingeniera electrnica
es una carrera universitaria, tanto como
contabilidad o administracin; por ello es
educacin superior y no es carrera tcnica:
a) ( ) ( ) p q r s t ( . v .


b) ( ) ( ) p q r s t ( v . v


c) ( ) ( ) p q r s t ( . .


d) ( ) ( ) p q r s t ( . v .


e) ( ) ( ) p q r s t ( . v .



30. Platn fue griego o slo fue romano, pero
no fue egipcio; porque naci en Europa, su
formalizacin:
a) ( ) p q r s ( .


b) ( ) p q r s ( v .


c) ( ) p q r s ( v


d) ( ) p q r s ( v


e) ( ) p q r s ( v .


31. Formalizar: Cuando aumenta la capa de
hielo en invierno y en verano disminuye, los
osos polares van hacia los tmpanos
a) ( ) p q r v
b) ( ) p q r .
c) ( ) p q r .
d) ( ) p q r v
e) ( ) ( ) p q r p .

32. De computacin o matemticas, Martn
domina slo un curso, formalizar:
a) p
b) p q .
c) p q
d) p
e) p q v

33. Si el motor funciona entonces, la pista est
mojada slo si Marcos volar el aeroplano,
su formalizacin:
a) ( ) p q r .
b) ( ) p q r
c) ( ) p q r
d) ( ) p q r
e) p q .

34. Formalizar: La lgica es una ciencia formal
si su objeto de estudio es ideal. La lgica no
es una ciencia formal. Por lo tanto su objeto
de estudio no es ideal,
a) ( ) p q r . v
b) ( ) p q r v .
c) ( ) p q p q ( .


d) ( ) p q p q ( .


e) ( ) p q p q ( v