TRILCE

Captulo
FORMALIZACION EN LA
3 LGICA PROPOSICIONAL
(SIMBOLIZACIN)

La simbolizacin de proposiciones consiste en la representacin del lenguaje ordinario mediante el lenguaje artificial
(convencional). Formalizar, significa reemplazar cada proposicin por una variable y cada conectivo (trmino de enlace) o
modificador (la negacin) por un operador lgico, todo ello correctamente jerarquizado mediante signos de agrupacin.

1. VARIABLES
Se utilizan para representar a las proposiciones simples. Son las letras minsculas: p, q, r, s, t, ....., etc.

Ejemplo:
a) Juan Pablo es compositor.

p
b) Rosario es empresaria as como estudiante universitaria.

p q

2. OPERADORES LGICOS
Son de dos tipos:

a) Didicos.- Se utilizan para representar a las conectivas (trminos de enlace).

Conectiva .... y .... .... o .... o ... o ... si ... entonces ... ... si y solo si ...
Operador

Ejemplo:

* Si practicamos los ejercicios de lgica, entonces aprendemos.

* Los leones son salvajes y carnvoros .

b) Mondico.- Sirve para reemplazar al modificador "no" o sus expresiones equivalentes (no es cierto, es falso que, no
es el caso que, etc.).

Modificador no
Operador ~
Ejemplo:

* Marte no es una estrella .

* No es cierto que, las gallinas tengan 2 patas y no sean aves .

23
Lgica

3. SIGNOS DE AGRUPACIN
Se utilizan para agrupar a las variables y operadores asi como, darles jerarqua. Son los siguientes:
* Parntesis ( )
* Corchetes [ ]
* Llaves {}
* Barras ||

a) JERARQUIZACIN
Jerarquizar significa agrupar las variables y los operadores dentro de los signos de coleccin, llamados tambin 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 mayor jerarqua, le sigue en 2do. lugar el punto y coma, y en 3er. lugar la coma.

b) REGLAS PARA JERARQUIZAR

1. Donde est ubicado el signo de puntuacin ms importante del texto, ah se encuentra ubicado el conectivo
principal.
2. Donde 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 ms externa de los signos de coleccin es el que tiene mayor
jerarqua.
4. Si encontramos un texto donde se presente una sucesin de idnticos signos de puntuacin, ser mayor el que
presente como conectivo entonces, luego o cualquiera de sus sinnimos.
5. La negacin antecede a la variable (~p), no enlaza proposiciones, pues no es conectivo: (p ~ q).
Ejemplo:
Esther estudia fsica y qumica, o estudia lgica. Sin embargo estudia matemtica.

- p y q, o r. Sin embargo s (reemplazando proposiciones)

- p q , r . s (reemplazando conectivos)

jerarqua 2 jerarqua 1
- [ (p q) r ] s (jerarquizando)

4. FRMULAS
Es el resultado de la correcta formalizacin y jerarquizacin de las proposiciones o inferencias.

Ejemplo:
a) Galileo Galilei fue fsico y matemtico.
p q
Frmula : p q
Nombre : frmula conjuntiva

b) Si el agua del ro es dulce , entonces puede ser para el consumo humano o

p q
servir para regar los sembros del tomate.
r

Frmula : p (q r)
Nombre : Frmula condicional

NOTA: Si al formalizar, encontramos al condicional inverso, se debe permutar las proposiciones que conforman el
condicional.

24
 TRILCE

Ejemplo:

* Lucy participa en el curso de actualizacin porque tiene dinero.

p q

Frmula : q p
Nombre : Frmula condicional inverso

5. FRMULAS BIEN FORMADAS (fbf)

Obedecen a las siguientes reglas de formacin:

I. Cada 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 A B , A B , A B , A B , A B son fbfs.

Ejem.
* pq *p q * (p q) (r s)
* pq * p q * (p q) [ r (p q) ]
* p q * (p q) r * pqr
* pq r

IV. Ninguna otra es una fbf. en caso contrario son frmulas mal formadas (fmf)
Ejm.
* p~ q Es una fmf porque la negacin no es un operador didico.
* pq Es una fmf porque el operador " ", no es mondico y debe estar entre variables.
(Ejm. p q)
* pqr Es una fmf porque no se puede determinar cul de los operadores tiene mayor jerarqua, dado
que le falta el signo de agrupacin.
(Ejm. (p q) r )

6. JERARQUIZACIN DE FRMULAS
En cualquier frmula lgica, el operador que tiene mayor jerarquia es aquel operador didico fuera o en la parte ms
externa de los signos de agrupacin (divide a la frmula en dos) o en todo caso la negacin libre.
Ejemplo :

* (p q) r * (p q) (p r) (r s)
2 1 2 1 3 2 3
Mayor jerarqua Mayor jerarqua
Menor jerarqua

Mayor jerarqua
1
* (p q) (r s)
* p (q p) (q r)
2 Menor 2 1 2 4 3 4 5
jerarqua
Mayor jerarqua

7. USO DE LOS PUNTOS AUXILIARES

Se utilizan dentro de la simbologa de Peano y Russell. Estos puntos auxiliares, sirven para determinar la jearqua de
los operadores didicos en reemplazo de los signos de agrupacin.

25
Lgica

Proposicin Operador Estructura formal frmula

Conjuncin . pyq p.q
Disyuncin inclusiva v poq p q
Disyuncin exclusiva opoq p q
Condicional si p entonces q p q
Bicondicional p si solo si q p q
Negacin ~ no p ~p

Ejemplo:

* El alcohol y el cigarro son dainos para la salud = p.q

p . q

* Si Noriega es astronauta entonces viaja a la Luna = p q

p q

REGLAS PARA EL USO DE PUNTOS AUXILIARES

1) La conjuncin tiene mayor jerarqua que cualquier otro operador que no tenga o ste afectado por puntos.
Ejm:

Mayor jerarqua
1
- p . q r - p q . r s
2 1 2
Mayor jerarqua

2) El operador didico con mayor nmero de puntos es el de mayor jerarqua, si y solo si no est limitado por los signos
de agrupacin.
Ejm:
- p q .. r - r :
1
:p .. .
2
p v r
4 3
q
2 1
Mayor jerarqua
Mayor jerarqua

3) Al operador mondico (negacin) no se le puede asignar puntos auxiliares, porque estos se asignan solamente
a los operadores didicos. De ah que cuando se trata de una negacin libre, es necesario utilizar los signos de
agrupacin .
Ejm:

* ~ (p v q . r) * ~[~(pvq) : : q . . r . s]
1 3 2
1 3 4 2 3 4
Mayor jerarqua
Mayor jerarqua

26
 TRILCE

PRCTICA
01. "Si Jennifer es alta o baja, entonces le queda el 07. Formule:
anillo de compromiso" "Carmen no adquiri un vino; sin embargo,
Simbolizando lo anterior, resulta: porque tiene sed, pidi un helado".
a) (p q) r a) ~ p (q r)
b) (p q) ~ r b) ~ p (r q)
c) (p q) r c) p (q r)
d) (p q)
r d) ~ p (q r)
e) p (q ~ r
e) ~ p (q r)
02. Simbolice:
El avin despegar a las 5 de la maana a menos que 08. Cul es la frmula correcta de:
la neblina cubra el aeropuerto. "El Alcalde ser reelegido, si mantiene el ornato
a) p q de la ciudad o no aumenta el impuesto predial"?
b) p q a) p (q ~ r)
c) q p
b) (q ~ r) p
d) p q
e) p q c) (q ~ r) p
d) p ~ q
03. Simbolice:
e) (~ q p) r
O Martn estudia alemn y portugus o va a la biblioteca
y busca informacin.
a) (p q) (r s) 09. "Si Gloria trabaja entonces gana dinero, si gana
b) (p q) (r s) dinero compra un auto; por tanto si trabaja,
c) p [q (r s)] compra un auto".
d) p [(q s) r] Seale la alternativa que le corresponde:
e) ( p q ) (r s) a) (p q) {(q r) (p r)}
b) (p q) [(r q) (p r)]
04. Marque la alternativa que corresponda a la frmula: c) (p q) [(q p) (r p)]
~q p d) [(p q) (q r)] (p r)
a) Si no voy al museo entonces soy feliz. e) (p q) [(q r) (p r)]
b) Corro o no llego tarde.
c) No camino si y solo si me duele los pies. 10. Formalice:
d) Llegar tarde porque no corro.
Hugo llora si Milagros no viene, no obstante Milagros
e) Es falso que si voy al museo, sea infeliz.
no viene porque Hugo llora.
05. "El pantaln de Manuel est arrugado por que a) (~ q p) ~ (p ~ q)
no lo planch, adems est usado". b) (p ~ q) ~ (~ q p)
Formalizando resulta: c) (~ q p) (p ~ q)
a) (p ~ q) r d) p ~ q p q
e) (~ q p) (p ~ q)
b) (~ q p) r
c) pq 11. Formalizar lo siguiente:
d) ~ p q "Mara tiene 15 16 aos de edad, as como
estudia Derecho o Ingeniera de Sistemas.
e) (~ q r) q Luego, es mayor de edad o tiene DNI".
a) [(p q) (r s)] (t w)
06. Simbolice:
Melissa come yuca o camote; sin embargo, no come b) [(p
q) (r s)] (t w)
camote. De ah que, come yuca: c) [(p
q) (r s)] (t w)
a) [(p q) r] s d) [p (q r)] s
b) [(p
q) ~ q] p e) No se puede formalizar.
c) [(p q) ~ q] p
12. Simbolice:
d) (p ~ q) r Cuando Platn desprecia lo sensible; pero aprecia lo
e) (p q) (~ q p) ideal, muestra la caracterstica del valor denominado
jerarqua.

27
Lgica

a) (~ p q) r 18. Sin igualdad, nunca habr justicia:

b) p q a) p q
c) (p q) r b) p
d) p c) pq
e) p q d) ~ p ~ q
e) ~ q ~ p
13. Simbolice:
"El poeta es sensible ya que es romntico, 19. "Sonia no vino al Seminario tampoco al
pues es sensible". Concurso de becas debido a que viaj al Sur".
a) q. .p.r Simbolizando lo anterior, resulta:
b) p. .q p a) r. . ~ p. ~ q
c) qp b) r. . ~ p.q
d) r. .q p c) ~ p.q. .r
e) p q. .r d) ~ p ~ q r
e) q p
14. Simbolice:
"Eduardo y Vctor son vecinos, adems 20. Qu operadores presenta el texto siguiente: "Es
estudian en la UNMSM". imposible que salga el sol y estemos de noche.
a) p . q v r Por ello o es de da o estamos de noche".
b) p . q a) ~, . , , v
c) p v q
b) ~, . , , v
d) (p . q) . (r . s)
e) p . (q . r) c) ~, , ,
/
d) ~, / ,,
15. "Al igual que fil sofo, Pitgoras fue
matemtico, dado que concibi al nmero e) ~, . , , /
como fundamento de todo existente". La frmula
que lo representa, es: 21. Formalizar:
a) p.q r "Si llueve al medio da, no secar la ropa; si no
b) q p llueve, secar y te irs a la fiesta. Por lo tanto,
c) r. .p.q si vas a la fiesta, no llovi".
d) r p.q a) p ~ q (~ p q r) : : r ~ p
e) r. .p q b) p ~ q ~ p q r : : r ~ p
c) p ~ q ~ p q r : : r ~ p
16. Simbolice: d) p ~ q ~ p q r : : r ~ p
"O el ornitorrinco es mamfero o es ave. Pero e) ~ q p : :~ p q r : :~ p r
tiene glndulas mamarias. Por lo tanto, no es
22. Simbolice:
ave". "Tendremos muchas flores en el jardn, si la
a) p q r ~ q estacin es propicia y las semillas no estn
b) p q r ~ q malogradas".
a) p q ~ r
c) p q r q
b) p q r
d) p q r ~ q
c) q~r p
e) p q r ~ q
d) p q r s
e) q p
17. "Locke fue empirista, en cambio Descartes fue
racionalista. Por ello, tuvieron filosofas 23. "Como Franklin se esforz bastante cuando no
opuestas". lo apoyaron sus amigos, no es cierto que est
desempleado o no haya progresado".
Formalizando, obtenemos:
Luego de formalizar lo anterior, resulta:
a) p q r a) p ~ q ~ r ~ s
b) p q r
b) p ~ q ~ (~ r ~ s)
c) pq
c) ~ q p ~ (~ r ~ s)
d) q p
e) p q r

28
 TRILCE

d) ~ p (q ~ r) d) [~ (p q) p] ~ q
e) p ~ q ~ (~ r ~ s) e) [~ (p q) p] ~ q

24. El escritor es sensible ya que es enamoradizo, 30. Simbolice correctamente la siguiente proposicin:
pues es sensible.
"Alonso es abogado o diplomtico y si es
a) (p q) p
diplomtico viaja casi siempre al extranjero".
b) (p q) p (Si se sabe que P = Alonso es abogado; q = Alonso es
c) p (q p) diplomtico; r = Alonso viaja casi siempre al
d) p (q p) extranjero).
e) (p q) q a) (p q) (r s)
b) (p q) (r s)
25. Si la historia es una ciencia social o una ciencia c) (p q) (q r)
fctica, entonces o es objetiva o subjetiva. d) (p q) (q r)
a) (p q) (r s) e) (p q) (q r)
b) (p q) (r s)
c) (p q) (r s) 31. Represente formalmente el siguiente enunciado:
d) (p q) (r s) "Es falso que hace calor si la temperatura no ha
aumentado".
e) (p q) (r s)
(Sabiendo que p = hace calor y q = la temperatura
26. Maana voy al cine, como al parque; si y solo s aumenta)
es domingo, si no llueve: a) ~ p ~ q
a) ~ s {(p q) r} b) ~ (p ~ q)
b) {(p q) r} ~ s c) ~ q ~ p
c) {( p q) r} s d) ~ (~ q p)
d) s {(p q) r} e) p ~ q

e) {( p q ) r } ~ s 32. Simbolice correctamente la siguiente expresin:

"Si la neblina aumenta, la visibilidad disminuye
27. Formule: y si disminuye la visibilidad, pueden ocurrir
"Roco no adquiri un vino, sin embargo tiene
accidentes".
sed, pidi un helado".
(Donde p = la neblina aumenta, q = la visibilidad
a) (q ~ p) r
disminuye; r = ocurren accidentes)
b) (~ p q) r a) (p q) (r s)
c) (~ p q) r b) (p q) (q r)
d) (~ q p) r c) (p q) (r s)
e) (~ p q) r d) (p q) (r s)
e) (p q) (q r)
28. La biologa estudia la vida y los seres vivos, si es una
ciencia natural.
a) (p q) r 33. Seale la simbolizacin de:
"Cuando hace Sol, es posible que la temperatura
b) r (p q)
aumente o sea verano".
c) (p q) r
a) p (q r)
d) r (p q)
b) p (q r)
e) (p q) r
c) p (q r)

29. "No es cierto que seas mujer y hombre, ya que d) p (q r)

eres hombre. Por lo tanto no eres mujer". e) p q r
Su formalizacin corresponde a:
a) [~ (p q) q] ~ p 34. El argumento:
"Pitgoras fue matemtico tal como filsofo. Pero
b) [q ~ (p q)] ~ p
Lutero fue protestante siempre, que no se
c) [p ~ (p q)] ~ q someti al Catolicismo".

29
Lgica

Se formaliza como: a) [(p q) (r s) (p r)] ~ (~ q ~ s)

a) (p q) r ~ s
b) [(p q) (r s) (p r)] ~ (~ q ~ s)
b) p (q ~ r)
c) [(p q) (~p ~ r) (p ~ p)]~(~q ~s)
c) (p q) (r ~ s)
d) (p q) ~ (p s)
d) (p q) (r ~ s)
e) (p ~ p) ~ (~ q ~ r)
e) (p q) (~ r s)
40. "Judas es desleal y deshonesto porque no dijo
35. Formalice correctamente: la verdad a Jess y lo entreg a los judos; de
"No es el caso que no haya control de precios o ah que ya no es una persona de confianza".
los combustibles se encarezcan". Formalizando la expresin anterior, se obtiene:
La frmula lgica correcta de la expresin anterior es: a) ~ t [(~ r s) (~ p ~ q)]
a) ~ (p q) b) [(~ r s) (~ p ~ q)] ~ t
b) ~ (~ p q) c) [~ (~ p ~ q) (~ r s)] ~ t
c) ~ (p q) d) [(p q) (~ r s)] ~ t
d) ~ p ~q e) [(p q) r] ~ s
e) ~ (p q)
41. Tard en llegar, porque se malogr el auto y tuve
36. "Si Diego es matemtico y Sebastin ingeniero, que venir a pie.
entonces ambos trabajarn en la NASA". a) p (q r)
La simbolizacin correcta es: b) (q r) p
a) (p q) r
c) (q r) p
b) p (q r)
d) (q r) p
c) (p q) (r s)
e) (q r) p
d) (p q) (r s)
e) (p q) (r s) 42. No ir a trabajar, si y slo si declaran el da
feriado o me encuentre enfermo.
37. Simbolice: a) ~ p (q r)
"No es cierto que compr acciones de la b) ~ p (q r)
telefnica o bonos del gobierno. Luego obtuvo
c) ~ p (q r)
buenos dividendos porque compr acciones de
la telefnica". d) (q r) p
a) r (~ p q) (s t) e) (q r) p
b) ~ (p q) (p t)
43. Sin justicia social, no hay democracia ni
c) ~ (p q) (r s) legalidad.
d) r (p q) (s t) a) ~ p (~ q ~ r)
e) ~ (p q) (s t) b) ~ (p q) r
c) (~ p ~ q ) ~ r
38. Formalizar:
d) (~ p ~ q ) ~ r
"Si llueve al medioda, no secar la ropa; si no
llueve, secar y te irs a la fiesta. Por lo tanto, e) (~ p ~ q ) ~ r
si vas a la fiesta, no llovi".
a) {[( p q) ~ (p q)]} (s r) 44. Si Salma es alta o baja, entonces no le queda el
vestido.
b) (p q) (r s) ~ p
a) (p q) ~ r
c) {[(p ~ q) ~ r (q s)]} (r ~ p)
b) (p q) ~ r
d) [(p q) ~ (p r)] (p ~ r)
c) (p q) ~ r
e) {(p ~ q) [~ p (q r)]} (r ~ p)
d) (p q) ~ r
39. "Si hablas, irs a juicio; si callas, te condenarn, e) (p ~ q) r
pero hablas o callas. Por lo tanto es imposible
que no vayas a juicio y no te condenen".

30
 TRILCE

45. Si es feriado, no ir a trabajar. No es feriado. los fsicos.

Luego, ir a trabajar. a) p q r s
a) (p ~ q ~ p) ~ p b) p q r s
b) (p ~ q ~ q) ~ p c) p.~q = . r. s
c) (~ p p) (~ q ~ p) d) p q r s
d) p ~ q ~ p q e) p q r s
e) ~ q p ~ p q
52. El ornitorrinco no es ave, dado que tiene
glndulas mamarias; no obstante es falso que
46. La Lgica es una ciencia formal, debido a que
sea vivparo:
su objeto de estudio es abstracto y no emprico.
a) (q p) ~ r
a) (q r) p
b) (q ~ p) ~ r
b) q ~ r p
c) q ~r p c) (~ p q) ~ r
d) q ~ r p d) (q ~ p) ~ r
e) p (q ~ r) e) (q ~ p) ~ r

47. Las aves migran si es invierno; pero no migran 53. Saldremos de viaje o no haremos turismo, si y
si antes no se reproducen. slo si dispondremos de tiempo.
a) q p ~ r ~ p a) (p ~ q) r
b) q p ~ r ~ p b) (p ~ q) r
c) p q ~ r ~ p c) (p ~ q) r
d) p q ~ p ~ r
d) r (p ~ q)
e) q p r ~ p
e) ~ r (p ~ q)
48. No es el caso que postule a Letras o Sociales,
puesto que tengo vocacin por los nmeros. 54. R. Descartes, pese a que fue el primer
exponente del Racionalismo Moderno, fue
a) ~ (p q) r creyente, dado que consider demostrable la
b) r ~ (p q) existencia de Dios.
c) r ~ (p q) a) p (r q)

d) r ~ (p q) b) (p r) q

e) r ~ (p q) c) p (q r)
d) (p q) r
49. Ir al mdico, siempre que est enfermo. Pero e) r (p q)
no estoy enfermo. Luego, al mdico no voy.
a) (q p ~ p) ~ q 55. Llueve, cuando no es verano. Pero es verano.
b) (p q ~ p) ~ q Se concluye que, no llueve ni hace fro o no es
verano.
c) (q p ~ q) ~ p
a) [(p ~ q) p] [(~ r ~ s) ~ t]
d) (p q ~ q) ~ p
b) [(~ q p) p] [(~ r ~ s) ~ p]
e) (p q ~ q) ~ p
c) [(~ q p) p] [(~ p ~ r) ~ q]
50. Es falso que vaya al mdico y no me encuentre d) [(~ q p) q] [(~ p ~ r) ~ q]
mal de salud. e) [(p ~ q) q] [(~ p ~ r) ~ q]
a) ~ p ~ q
b) ~ (p ~ q) 56. Simbolice:
c) ~ (p ~ q)
"Si Locke es empirista, rechaz al innatismo y
consider que la mente al nacer est vaca".
d) ~ (p ~ q) a) (p q) r
e) ~ (p q) b) p (q r)
c) p (q r)
51. O la Psicologa es una ciencia social y los
fenmenos naturales no son determinantes de d) p (q r)
la conducta, o es una ciencia natural y los
e) (q r) p
eventos psquicos son una mera continuidad de

31
Lgica

57. Formalizar: 59. "Si Luis viaja a Francia, tiene pasaporte. Es

"No es el caso que Alex sea ingeniero o Abogado; cierto que viaja a Francia. Por lo tanto tiene
en conclusin Alex es abogado".
pasaporte".
a) (~ p q) p
Su frmula es:
b) ~ (p q) q a) [(p q) p] q
c) ~ (p q) q b) [(~ p q) ~ p] q
d) (~ p q) p c) [(p q) p] q
e) q (p q) d) (p q) (q p)
e) (p q) (q p)
58. La simbolizacin correcta:
"Javier aumentar su perspicacia e ingenio si
60. Formalice:
estudia Lgica". "Los deshonestos son desleales, porque son
a) q p personas inmorales"
b) p q a) q p
c) r (p q) b) ~ q ~ p
d) (r p) q c) (~ p ~ q) ~ r
e) p q d) ~ r (~ p ~ q)
e) p q

32