TRILCE

23
Captulo
FORMALIZACION EN LA
LGICA PROPOSICIONAL 3
(SIMBOLIZACIN)
La sim bolizacin de proposiciones consiste en la representacin del lenguaje ordinario m ediante el lenguaje artificial
(convencional). Form alizar, significa reem plazar cada proposicin por una variable y cada conectivo (trm ino de enlace) o
m odificador (la negacin) por un operador lgico, todo ello correctam ente jerarquizado m ediante signos de agrupacin.
1. VARIABLES
Se utilizan para representar a las proposiciones sim ples. Son las letras m insculas: p, q, r, s, t, ....., etc.
Ejem plo:
a)
Juan Pablo es com positor.
p
b)
Rosario es em presaria as com o estudiante universitaria.
q p
2. OPERADORES LGICOS
Son de dos tipos:
a) Didicos.- Se utilizan para representar a las conectivas (trm inos de enlace).
v . O perador
... si solo y si ... ... entonces ... si ... o ... o .... o .... .... y .... C onectiva
Ejem plo:
*
Si practicam os los ejercicios de lgica, entonces aprendem os.
* Los leones son salvajes y carnvoros.
b) Mondico.- Sirve para reem plazar al m odificador "no" o sus expresiones equivalentes (no es cierto, es falso que, no
es el caso que, etc.).
~ O perador
no r M odificado
Ejem plo:
* M arte no es una estrella.
* N o es cierto que, las gallinas tengan 2 patas y no sean aves.
Lgica
24
3. SIGNOS DE AGRUPACIN
Se utilizan para agrupar a las variables y operadores asi com o, darles jerarqua. Son los siguientes:
* Parntesis ( )
* C orchetes [ ]
* Llaves { }
* Barras | |
a) J ERARQUIZACIN
Jerarquizar significa agrupar las variables y los operadores dentro de los signos de coleccin, llam ados tam bin de
agrupacin.
Para jerarquizar hay que tener en cuenta los siguientes requisitos:
* Slo presentan jerarqua los conectivos lgicos (y, o, entonces, si y solo si, etc.).
* Para realizar una correcta jerarquizacin hay que tener en cuenta los signos de puntuacin del texto a jerarquizar,
en cuanto ellos indican la ubicacin de los signos de coleccin.
* En el texto, el punto seguido tiene m ayor jerarqua, le sigue en 2do. lugar el punto y com a, y en 3er. lugar la com a.
b) REGLAS PARA J ERARQUIZAR
1.D onde est ubicado el signo de puntuacin m s im portante del texto, ah se encuentra ubicado el conectivo
principal.
2.D onde se encuentre un signo de puntuacin ah se abre o cierra un signo de coleccin (parntesis, corchete o
llave)
3.El conectivo que se encuentre fuera o en la parte m s externa de los signos de coleccin es el que tiene m ayor
jerarqua.
4.Si encontram os un texto donde se presente una sucesin de idnticos signos de puntuacin, ser m ayor el que
presente com o conectivo entonces, luego o cualquiera de sus sinnim os.
5.La negacin antecede a la variable (~ p), no enlaza proposiciones, pues no es conectivo: (p ~ q).
Ejem plo:
Esther estudia fsica y qum ica, o estudia lgica. Sin em bargo estudia m atem tica.
- p y q, o r. Sin em bargo s(reem plazando proposiciones)
- p . q
,
v r . . s(reem plazando conectivos)

+

+
jerarqua 2 jerarqua 1
- s ] r ) q p ( [ . v . (jerarquizando)
4. FRMULAS
Es el resultado de la correcta form alizacin y jerarquizacin de las proposiciones o inferencias.
Ejem plo:
a) G alileo G alilei fue fsico y m atem tico.
p q
Frm ula : q p .
N om bre : frm ula conjuntiva
b) Si el agua del ro es dulce , entonces puede ser para el consum o hum ano o
servir para regar los sem bros del tom ate.
p q
r
Frm ula : ) r q ( p v
N om bre : Frm ula condicional
NOTA: Si al form alizar, encontram os al condicional inverso, se debe perm utar las proposiciones que conform an el
condicional.
TRILCE
25
Ejem plo:
*
Lucy participa en el curso de actualizacin porque tiene dinero.
p q
Frm ula : p q
N om bre : Frm ula condicional inverso
5. FRMULAS BIEN FORMADAS (fbf)
O bedecen a las siguientes reglas de form acin:
I. C ada variable proposicional es una fbf
Ejm . p, q, r, .............
II. Si A es una fbf entonces ~ A es una fbf.
Ejm .
* p * ~ p
* q * ~ q
III. Si A y B son fbfs entonces B A . , B A v , B A , B A , B A son fbfs.
Ejem .
* q p . * q p * ) s r ( ) q p ( v .
* q p v * q p * ] ) q p ( r [ ) q p ( v
* q p * r ) q p ( v * r q p . .
* r q p v v
IV. N inguna otra es una fbf. en caso contrario son frm ulas m al form adas (fm f)
Ejm .
* q ~ p Es una fm f porque la negacin no es un operador didico.
* q p . Es una fm f porque el operador "", no es m ondico y debe estar entre variables.
(Ejm . p q)
* r q p . v Es una fm f porque no se puede determ inar cul de los operadores tiene m ayor jerarqua, dado
que le falta el signo de agrupacin.
(Ejm . r ) q p ( . v )
6. J ERARQUIZACIN DE FRMULAS
En cualquier frm ula lgica, el operador que tiene m ayor jerarquia es aquel operador didico fuera o en la parte m s
externa de los signos de agrupacin (divide a la frm ula en dos) o en todo caso la negacin libre.
Ejem plo :
(p q) r (p q) (p r) (r s)
(p q) (r s)
p (q p) (q r)
M ayor jerarqua
M ayor jerarqua
M ayor jerarqua
M ayor jerarqua
M enor jerarqua
M enor
jerarqua
1 1
1
1
2 2
2 4 4 5
2 3
3
3
2 2
* *
*
*
7. USO DE LOS PUNTOS AUXILIARES
Se utilizan dentro de la sim bologa de Peano y Russell. Estos puntos auxiliares, sirven para determ inar la jearqua de
los operadores didicos en reem plazo de los signos de agrupacin.
Lgica
26
Proposicin O perador Estructura form al frm ula
C onjuncin
D isyuncin inclusiva
D isyuncin exclusiva
C ondicional
B icondicional
N egacin
p y q
p o q
o p o q
si p entonces q
p si solo si q
no p
q p
q p
q p
q p
p . q
~ p
.
v
~
Ejem plo:
* El alcohol y el cigarro son dainos para la salud = p.q
* Si N oriega es astronauta entonces viaja a la Luna = p q
p
p
. q
q
REGLAS PARA EL USO DE PUNTOS AUXILIARES
1) La conjuncin tiene m ayor jerarqua que cualquier otro operador que no tenga o ste afectado por puntos.
Ejm :
- p . q r
- p q . r s
M ayor jerarqua
1
1 2 2
M ayor jerarqua
2) El operador didico con m ayor nm ero de puntos es el de m ayor jerarqua, si y solo si no est lim itado por los signos
de agrupacin.
Ejm :
- p
1
1
2
2
3 4
M ayor jerarqua
M ayor jerarqua
p v p
. . .
.
.
q q
r r
r - : :
3) Al operador m ondico (negacin) no se le puede asignar puntos auxiliares, porque estos se asignan solam ente
a los operadores didicos. D e ah que cuando se trata de una negacin libre, es necesario utilizar los signos de
agrupacin .
Ejm :
~ (p v q . r)
~ [ ~ ( p v q ) : : q . . r . s]
1
1
2
3
3 3 4 4
2
M ayor jerarqua
M ayor jerarqua
*
*
TRILCE
27
P R C T I C A
01. "Si J ennifer es alta o baja, entonces le queda el
anillo de compromiso"
Sim bolizando lo anterior, resulta:
a) r ) q p ( v
b) r ~ ) q p ( .
c) r ) q p ( /
d) r ) q p ( / /
e) r ~ q ( p v
02. Sim bolice:
El avin despegar a las 5 de la m aana a m enos que
la neblina cubra el aeropuerto.
a) q p .
b) q p
c) p q
d) q p v
e) q p
03. Sim bolice:
O M artn estudia alem n y portugus o va a la biblioteca
y busca inform acin.
a) ) s r ( ) q p ( . / .
b) ) s r ( ) q p ( . v .
c) )] s r ( q [ p . v /
d) ] r ) s q [( p . v .
e) ) s r ( ) q p ( v . v
04. M arque la alternativa que corresponda a la frm ula:
p q ~
a) Si no voy al m useo entonces soy feliz.
b) C orro o no llego tarde.
c) N o cam ino si y solo si m e duele los pies.
d) Llegar tarde porque no corro.
e) Es falso que si voy al m useo, sea infeliz.
05. "El pantaln de Manuel est arrugado por que
no lo planch, adems est usado".
Form alizando resulta:
a) r ) q ~ p ( .
b) r ) p q (~ .
c) q p .
d) q p ~ .
e) q ) r q (~ .
06. Sim bolice:
M elissa com e yuca o cam ote; sin em bargo, no com e
cam ote. D e ah que, com e yuca:
a) s ] r ) q p [( . v
b) p ] q ~ ) q p [( . . /
c) p ] q ~ ) q p [( . v
d) r ) q ~ p ( .
e) ) p q (~ ) q p ( . v
07. Form ule:
"Carmen no adquiri un vi no; sin embargo,
porque tiene sed, pidi un helado".
a) ) r q ( p ~ .
b) ) q r ( p ~ .
c) ) r q ( p .
d) ) r q ( p ~ .
e) ) r q ( p ~ v
08. C ul es la frm ula correcta de:
"El Alcalde ser reelegido, si mantiene el ornato
de la ciudad o no aumenta el impuesto predial"?
a) ) r ~ q ( p v
b) p ) r ~ q ( v
c) p ) r ~ q ( .
d) q ~ p v
e) r ) p q (~ v
09. "Si Gloria trabaja entonces gana dinero, si gana
dinero compra un auto; por tanto si trabaja,
compra un auto".
Seale la alternativa que le corresponde:
a) )} r p ( ) r q {( ) q p ( .
b) )] r p ( ) q r [( ) q p ( . .
c) )] p r ( ) p q [( ) q p ( . v .
d) ) r p ( )] r q ( ) q p [( .
e) )] r p ( ) r q [( ) q p ( v
10. Form alice:
H ugo llora si M ilagros no viene, no obstante M ilagros
no viene porque H ugo llora.
a) ) q ~ p ( ~ ) p q (~ .
b) ) p q (~ ~ ) q ~ p ( .
c) ) q ~ p ( ) p q (~ .
d) q p q ~ p . . .
e) ) q ~ p ( ) p q (~ v
11. Form alizar lo siguiente:
"Mara tiene 15 16 aos de edad, as como
estudi a Derecho o I ngeni er a de Si stemas.
Luego, es mayor de edad o tiene DNI".
a) ) w t ( )] s r ( ) q p [( v v . v
b) ) w t ( )] s r ( ) q p [( v v . /
c) ) w t ( )] s r ( ) q p [( v . v /
d) s )] r q ( p [ v .
e) N o se puede form alizar.
12. Sim bolice:
C uando Platn desprecia lo sensible; pero aprecia lo
ideal, m uestra la caracterstica del valor denom inado
jerarqua.
Lgica
28
a) r ) q p (~ .
b) q p .
c) r ) q p ( .
d) p
e) q p
13. Sim bolice:
"El poeta es sensible ya que es romntico,
pues es sensible".
a) r . p . . q
b) p q . . p
c) p q
d) p q . . r
e) r . . q p
14. Sim bolice:
"Eduardo y V ctor son veci nos, adems
estudian en la UNMSM".
a) p . q v r
b) p . q
c) p v q
d) (p . q) . (r . s)
e) p . (q . r)
15. "Al i gual que fi l sofo, Pi tgoras fue
matemtico, dado que concibi al nmero
como fundamento de todo existente". La frm ula
que lo representa, es:
a) r q . p
b) p q
c) q . p . . r
d) q . p r
e) q p . . r
16. Sim bolice:
"O el ornitorrinco es mamfero o es ave. Pero
tiene glndulas mamarias. Por lo tanto, no es
ave".
a) q ~ r q p v
b) q ~ r q p v
c) q r q p /
d) q ~ r q p /
e) q ~ r q p /
17. "Locke fue empirista, en cambio Descartes fue
raci onal i sta. Por el l o, tuvi eron fi l osof as
opuestas".
Form alizando, obtenem os:
a) r q p
b) r q p v
c) q p
d) p q
e)
r q p
18. Sin igualdad, nunca habr justicia:
a) q p
b) p
c) q p
d) q ~ p ~
e) p ~ q ~
19. "Soni a no vi no al Semi nari o tampoco al
Concurso de becas debido a que viaj al Sur".
Sim bolizando lo anterior, resulta:
a) q ~ . p ~ . . r
b) q . p ~ . . r
c) r . . q . p ~
d) r q ~ p ~ v v
e) p q
20. Q u operadores presenta el texto siguiente: "Es
imposible que salga el sol y estemos de noche.
Por ello o es de da o estamos de noche".
a) v , , . ~ ,
b) v , , . ~ ,
c) / , , ~ , v
d) v , , / ~ ,
e) / , , . ~ ,
21. Form alizar:
"Si llueve al medio da, no secar la ropa; si no
llueve, secar y te irs a la fiesta. Por lo tanto,
si vas a la fiesta, no llovi".
a) p ~ r : : r) q p (~ q ~ p
b) p ~ r : : r q p ~ q ~ p
c) p ~ r : : r q p ~ q ~ p
d) p ~ r : : r q p ~ q ~ p v
e) r p ~ : : r q p ~ : : p q ~ v
22. Sim bolice:
"Tendremos muchas fl ores en el jard n, si la
estacin es propicia y las semill as no estn
malogradas".
a) r ~ q p
b) r q p
c) p r ~ q
d) s r q p v
e) p q
23. "Como Franklin se esforz bastante cuando no
lo apoyaron sus amigos, no es cierto que est
desempleado o no haya progresado".
Luego de form alizar lo anterior, resulta:
a) s ~ r ~ q ~ p v
b) s) ~ r (~ ~ q ~ p v
c) s) ~ r (~ ~ p q ~ v
TRILCE
29
d) r) ~ (q p ~ v
e) s) ~ r (~ ~ q ~ p v
24. El escritor es sensible ya que es enamoradizo,
pues es sensible.
a) p ) q p ( .
b) p ) q p (
c) ) p q ( p
d) ) p q ( p .
e) q ) q p ( .
25. Si la historia es una ciencia social o una ciencia
fctica, entonces o es objetiva o subjetiva.
a) ) s r ( ) q p ( v v
b) ) s r ( ) q p ( v /
c) ) s r ( ) q p ( / v /
d) ) s r ( ) q p ( / v
e) ) s r ( ) q p ( v /
26. Maana voy al cine, como al parque; si y solo s
es domingo, si no llueve:
a) } r ) q p {( s ~ .
b) s ~ } r ) q p {( .
c) s } r ) q p {( .
d) } r ) q p {( s .
e) s ~ } r ) q p {( .
27. Form ule:
"Roco no adquiri un vino, sin embargo tiene
sed, pidi un helado".
a) r ) p ~ q (
b) r ) q p (~
c) r ) q p (~ v
d) r ) p q (~ v
e) r ) q p (~ . .
28. La biologa estudia la vida y los seres vivos, si es una
ciencia natural.
a) r ) q p ( .
b) ) q p ( r .
c) r ) q p ( .
d) ) q p ( r v
e) r ) q p ( v
29. "No es cierto que seas mujer y hombre, ya que
eres hombre. Por lo tanto no eres mujer".
Su form alizacin corresponde a:
a) p ~ ] q ) q p ( ~ [ .
b) p ~ )] q p ( ~ q [ .
c) q ~ )] q p ( ~ p [ .
d) q ~ ] p ) q p ( [~ .
e) q ~ ] p ) q p ( [~ . v
30. Sim bolice correctam ente la siguiente proposicin:
"Al onso es abogado o di pl omti co y si es
diplomtico viaja casi siempre al extranjero".
(Si se sabe que P = Alonso es abogado; q = Alonso es
diplom tico; r = A lonso viaja casi siem pre al
extranjero).
a) ) s r ( ) q p ( v . v
b) ) s r ( ) q p ( v .
c) ) r q ( ) q p ( . v
d) ) r q ( ) q p ( . . .
e) ) r q ( ) q p ( . v
31. Represente form alm ente el siguiente enunciado:
"Es falso que hace calor si la temperatura no ha
aumentado".
(Sabiendo que p = hace calor y q = la tem peratura
aum enta)
a) q ~ p ~
b) ) q ~ p ( ~
c) p ~ q ~
d) ) p q (~ ~
e) q ~ p
32. Sim bolice correctam ente la siguiente expresin:
"Si la neblina aumenta, la visibilidad disminuye
y si disminuye la visibilidad, pueden ocurrir
accidentes".
(D onde p = la neblina aum enta, q = la visibilidad
dism inuye; r = ocurren accidentes)
a) ) s r ( ) q p ( . .
b) ) r q ( ) q p ( .
c) ) s r ( ) q p ( .
d) ) s r ( ) q p ( v
e) ) r q ( ) q p ( . .
33. Seale la sim bolizacin de:
"Cuando hace Sol, es posible que la temperatura
aumente o sea verano".
a) ) r q ( p v .
b) ) r q ( p .
c) ) r q ( p v /
d) ) r q ( p /
e) r q p v
34. El argum ento:
"Pitgoras fue matemtico tal como filsofo. Pero
Lutero fue protestante si empre, que no se
someti al Catolicismo".
Lgica
30
Se form aliza com o:
a) s ~ r q) p (
b) ) r ~ q ( p .
c) s) ~ r ( ) q p ( .
d) s) ~ r ( ) q p ( . .
e) s) r (~ ) q p ( . .
35. Form alice correctam ente:
"No es el caso que no haya control de precios o
los combustibles se encarezcan".
La frm ula lgica correcta de la expresin anterior es:
a) ) q p ( ~ v
b) ) q p (~ ~ v
c) ) q p ( ~ .
d) q ~ p ~ .
e) ) q p ( ~ /
36. "Si Diego es matemtico y Sebastin ingeniero,
entonces ambos trabajarn en la NASA".
La sim bolizacin correcta es:
a) r ) q p ( .
b) ) r q ( p .
c) ) s r ( ) q p ( v .
d) ) s r ( ) q p ( . .
e) ) s r ( ) q p (
37. Sim bolice:
"No es ci erto que compr acci ones de l a
telefnica o bonos del gobierno. Luego obtuvo
buenos dividendos porque compr acciones de
la telefnica".
a) ) t s ( ) q p (~ r . .
b) ) t p ( ) q p ( ~ v
c) ) s r ( ) q p ( ~ v
d) ) t s ( ) q p ( r . .
e) ) t s ( ) q p ( ~ .
38. Form alizar:
"Si llueve al medioda, no secar la ropa; si no
llueve, secar y te irs a la fiesta. Por lo tanto,
si vas a la fiesta, no llovi".
a) ) r s ( )]} q p ( ~ ) q p {[( . .
b) p ~ ) s r ( ) q p ( .
c) ) p ~ r ( )]} s q ( r ~ ) q ~ p {[( . .
d) ) r ~ p ( )] r p ( ~ ) q p [( v
e)
) p ~ r ( )]} r q ( p [~ ) q ~ p {( . .
39. "Si hablas, irs a juicio; si callas, te condenarn,
pero hablas o callas. Por lo tanto es imposible
que no vayas a juicio y no te condenen".
a) ) s ~ q (~ ~ )] r p ( ) s r ( ) q p [( . . .
b) ) s ~ q (~ ~ )] r p ( ) s r ( ) q p [( . v . .
c) ) s ~ q (~ ~ )] p ~ p ( ) r ~ p (~ ) q p [( . v . .
d) ) s p ( ~ ) q p ( .
e) ) r ~ q (~ ~ ) p ~ p ( . v
40. "J udas es desleal y deshonesto porque no dijo
la verdad a J ess y lo entreg a los judos; de
ah que ya no es una persona de confianza".
Form alizando la expresin anterior, se obtiene:
a) )] q ~ p (~ ) s r [(~ t ~ . .
b) t ~ )] q ~ p (~ ) s r [(~ . .
c) t ~ )] s r (~ ) q ~ p (~ ~ [ . .
d) t ~ )] s r (~ ) q p [( . .
e) s ~ ] r ) q p [( .
41. Tard en llegar, porque se malogr el auto y tuve
que venir a pie.
a) ) r q ( p .
b) p ) r q ( v
c) p ) r q ( v .
d) p ) r q ( .
e) p ) r q ( .
42. No ir a trabajar, si y slo si declaran el da
feriado o me encuentre enfermo.
a) ) r q ( p ~ v
b) ) r q ( p ~ .
c) ) r q ( p ~ v
d) p ) r q ( .
e) p ) r q ( .
43. Si n j usti ci a soci al , no hay democraci a ni
legalidad.
a) ) r ~ q (~ p ~ .
b) r ) q p ( ~
c) r ~ ) q ~ p (~ .
d) r ~ ) q ~ p (~ .
e) r ~ ) q ~ p (~
44. Si Salma es alta o baja, entonces no le queda el
vestido.
a) r ~ ) q p ( .
b) r ~ ) q p ( v
c) r ~ ) q p (
d) r ~ ) q p ( v
e) r q) ~ (p v
TRILCE
31
45. Si es feriado, no ir a trabajar. No es feriado.
Luego, ir a trabajar.
a) p ~ p) ~ q ~ p (
b) p ~ q) ~ q ~ p (
c) p) ~ q (~ ) p p (~
d) q p ~ q ~ p
e) q p ~ p q ~
46. La Lgica es una ciencia formal, debido a que
su objeto de estudio es abstracto y no emprico.
a) p ) r q ( v
b) p r ~ q
c) p r ~ q
d) p r ~ q
e) ) r ~ q ( p .
47. Las aves migran si es invierno; pero no migran
si antes no se reproducen.
a) p ~ r ~ p q
b) p ~ r ~ p q
c) p ~ r ~ q p
d) r ~ p ~ q p
e) p ~ r p q
48. No es el caso que postule a Letras o Sociales,
puesto que tengo vocacin por los nmeros.
a) r ) q p ( ~ v
b) ) q p ( ~ r v
c) ) q p ( ~ r
d) ) q p ( ~ r
e) ) q p ( ~ r v
49. Ir al mdico, siempre que est enfermo. Pero
no estoy enfermo. Luego, al mdico no voy.
a) q ~ p) ~ p q (
b) q ~ p) ~ q p (
c) p ~ q) ~ p q (
d) p ~ q) ~ q p (
e) p ~ q) ~ q (p
50. Es falso que vaya al mdico y no me encuentre
mal de salud.
a) q ~ p ~
b) q) ~ (p ~ v
c) q) ~ (p ~
d) q) ~ (p ~
e) ) q (p ~
51. O l a Psi col oga es una ci encia soci al y los
fenmenos naturales no son determinantes de
la conducta, o es una ci enci a natural y los
eventos psquicos son una mera continuidad de
los fsicos.
a) s r q p
b) s r q p v / v
c) p.~ q = . r. s
d) s r q p . / .
e) s r q p
52. El orni torri nco no es ave, dado que ti ene
glndulas mamarias; no obstante es falso que
sea vivparo:
a) r ~ ) p q ( .
b) r ~ ) p ~ q ( .
c) r ~ q) p (~ .
d) r ~ ) p ~ q (
e) r ~ ) p ~ q (
53. Saldremos de viaje o no haremos turismo, si y
slo si dispondremos de tiempo.
a) r ) q ~ p ( .
b) r ) q ~ p ( v
c) r ) q ~ p ( v
d) ) q ~ p ( r v
e) ) q ~ p ( r ~ v
54. R. Descartes, pese a que fue el pri mer
exponente del Raci onal i smo Moderno, fue
creyente, dado que consider demostrable la
existencia de Dios.
a) ) q r ( p .
b) q ) r p ( .
c) ) r q ( p .
d) r ) q p ( .
e) ) q p ( r .
55. Llueve, cuando no es verano. Pero es verano.
Se concluye que, no llueve ni hace fro o no es
verano.
a) ] t ~ ) s ~ r [(~ ] p ) q ~ p [( v . .
b) ] p ~ ) s ~ r [(~ ] p ) p q [(~ v . .
c) ] q ~ ) r ~ p [(~ ] p ) p q [(~ v . .
d) ] q ~ ) r ~ p [(~ ] q ) p q [(~ v . .
e) ] q ~ ) r ~ p [(~ ] q ) q ~ p [( v . .
56. Sim bolice:
"Si Locke es empirista, rechaz al innatismo y
consider que la mente al nacer est vaca".
a) r ) q p ( .
b) ) r q ( p .
c) ) r q ( p .
d) ) r q ( p v
e) p ) r q ( v
Lgica
32
57. Form alizar:
"No es el caso que Alex sea ingeniero o Abogado;
en conclusin Alex es abogado".
a) p ) q p (~ . v
b) q ) q p ( ~ v
c) q ) q p ( ~ .
d) p ) q p (~ v
e) ) q p ( q v
58. La sim bolizacin correcta:
"J avier aumentar su perspicacia e ingenio si
estudia Lgica".
a) p q
b) q p
c) ) q p ( r .
d) q ) p r (
e) q p
59. "Si Luis viaja a Francia, tiene pasaporte. Es
cierto que viaja a Francia. Por lo tanto tiene
pasaporte".
Su frm ula es:
a) q ] p ) q p [( .
b) q ] p ~ ) q p [(~ . v
c) q ] p ) q p [( v
d) ) p q ( ) q p ( .
e) ) p q ( ) q p ( .
60. Form alice:
"Los deshonestos son desleales, porque son
personas inmorales"
a) p q
b) p ~ q ~
c) r ~ ) q ~ p (~
d) ) q ~ p (~ r ~
e) q p