Está en la página 1de 10

TRILCE

Captulo

FORMALIZACION EN LA
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
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

- [ (p q) r ] s
4.

jerarqua 1
(jerarquizando)

FRMULAS
Es el resultado de la correcta formalizacin y jerarquizacin de las proposiciones o inferencias.
Ejemplo:
a)

b)

Galileo Galilei fue fsico y matemtico.


p
q
Frmula : p q
Nombre : frmula conjuntiva
Si el agua del ro es dulce , entonces puede ser para el consumo humano o
q
p
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.

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
Ejem.
* pq

*p

* pq

* p q * (p q) [ r (p q) ]

B , A B , A B son fbfs.

q * (p q) (r s)

* 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
2 1

Mayor jerarqua
Menor jerarqua
Mayor jerarqua

1
* (p

q)

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

(r

2 Menor 2
jerarqua

s)

*
1

(q p)
(q
r)
5
2
4 3 4
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
.
Conjuncin
Disyuncin inclusiva
v
Disyuncin exclusiva
Condicional
Bicondicional
~
Negacin

Estructura formal
pyq
poq
opoq
si p entonces q
p si solo si q
no p

frmula
p.q
p q
p q
p q
p q

~p

Ejemplo:
* El alcohol

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

* Si Noriega es astronauta entonces viaja a la Luna


p

= p

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

- p
2

q . r s
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
2

..

:p

- r :
1

1
Mayor jerarqua

3)

.. .
p v r
4

Mayor jerarqua

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)
1
2
3

* ~[~(pvq) :
1

: q . . r . s]
2

Mayor jerarqua
Mayor jerarqua

26

TRILCE

PRCTICA
01. "Si Jennifer es alta o baja, entonces le queda el
anillo de compromiso"
Simbolizando lo anterior, resulta:

07. Formule:
"Carmen no adquiri un vino; sin embargo,
porque tiene sed, pidi un helado".

a) (p q) r
b) (p q) ~ r

a) ~ p (q r)

c) (p
q) r
d) (p
q)
r
e) p (q ~ r

c)

b) ~ p (r q)

p (q r)

d) ~ p (q r)
e) ~ p (q r)

02. Simbolice:
El avin despegar a las 5 de la maana a menos que
la neblina cubra el aeropuerto.
a) p q
b) p q
c) q p
d) p q
e) p q
03. Simbolice:
O Martn estudia alemn y portugus o va a la biblioteca
y busca informacin.
a) (p q)
(r s)
b) (p q) (r s)
c) p
[q (r s)]
d) p [(q s) r]
e) ( p q ) (r s)
04. Marque la alternativa que corresponda a la frmula:
~q p
a) Si no voy al museo entonces soy feliz.
b) Corro o no llego tarde.
c) No camino si y solo si me duele los pies.
d) Llegar tarde porque no corro.
e) Es falso que si voy al museo, sea infeliz.
05. "El pantaln de Manuel est arrugado por que
no lo planch, adems est usado".
Formalizando resulta:
a) (p ~ q) r
b) (~ q p) r

pq
d) ~ p q
c)

e) (~ q r) q
06. Simbolice:
Melissa come yuca o camote; sin embargo, no come
camote. De ah que, come yuca:
a) [(p q) r] s
b) [(p
q) ~ q] p
c) [(p q) ~ q] p
d) (p ~ q) r
e) (p q) (~ q p)

08. Cul es la frmula correcta de:


"El Alcalde ser reelegido, si mantiene el ornato
de la ciudad o no aumenta el impuesto predial"?
a) p (q ~ r)
b) (q ~ r) p
c) (q ~ r) p
d) p ~ q
e) (~ q p) r
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) (p q) {(q r) (p r)}
b) (p q) [(r q) (p r)]
c) (p q) [(q p) (r p)]
d) [(p q) (q r)] (p r)
e) (p q) [(q r) (p r)]
10. Formalice:
Hugo llora si Milagros no viene, no obstante Milagros
no viene porque Hugo llora.
a) (~ q p) ~ (p ~ q)
b) (p ~ q) ~ (~ q p)
c) (~ q p) (p ~ q)
d) p ~ q p q
e) (~ q p) (p ~ q)
11. Formalizar lo siguiente:
"Mara tiene 15 16 aos de edad, as como
estudia Derecho o Ingeniera de Sistemas.
Luego, es mayor de edad o tiene DNI".
a) [(p q) (r s)] (t w)
b) [(p
q) (r s)] (t w)
c) [(p
q) (r s)] (t w)
d) [p (q r)] s
e) No se puede formalizar.
12. Simbolice:
Cuando Platn desprecia lo sensible; pero aprecia lo
ideal, muestra la caracterstica del valor denominado
jerarqua.

27

Lgica

18. Sin igualdad, nunca habr justicia:

a) (~ p q) r
b) p q

a) p q

c) (p q) r
d) p
e) p q

b) p

pq
d) ~ p ~ q
e) ~ q ~ p
c)

13. Simbolice:
"El poeta es sensible ya que es romntico,
pues es sensible".
a) q. .p.r
b) p. .q p

19. "Sonia no vino al Seminario tampoco al


Concurso de becas debido a que viaj al Sur".
Simbolizando lo anterior, resulta:
a) r. . ~ p. ~ q
b) r. . ~ p.q

qp
d) r. .q p
e) p q. .r
c)

c) ~ p.q. .r
d) ~ p ~ q r
e) q p

14. Simbolice:
"Eduardo y Vctor son vecinos, 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 igual que fil sofo, Pitgoras fue
matemtico, dado que concibi al nmero
como fundamento de todo existente". La frmula
que lo representa, es:
a) p.q r
b) q p
c)

r. .p.q

tiene glndulas mamarias. Por lo tanto, no es


ave".
a) p q r ~ q
b) p q r ~ q

p q r q
d) p q r ~ q
c)

e) p q r ~ q
17. "Locke fue empirista, en cambio Descartes fue
Por ello, tuvieron filosofas

opuestas".
Formalizando, obtenemos:

c)

pq

d) q p
e) p q r

28

d) ~, / ,,
e) ~, . , , /
21. Formalizar:
"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".

d) p ~ q ~ p q r : : r ~ p

"O el ornitorrinco es mamfero o es ave. Pero

b) p q r

/
c) ~, , ,

b) p ~ q ~ p q r : : r ~ p
c) p ~ q ~ p q r : : r ~ p

16. Simbolice:

a) p q r

b) ~, . , , v

a) p ~ q (~ p q r) : : r ~ p

d) r p.q
e) r. .p q

racionalista.

20. Qu 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

e)

~ q p : :~ p q r : :~ p r

22. Simbolice:
"Tendremos muchas flores en el jardn, si la
estacin es propicia y las semillas no estn
malogradas".
a) p q ~ r
b) p q r

q~r p
d) p q r s
e) q p
c)

23. "Como Franklin se esforz bastante cuando no


lo apoyaron sus amigos, no es cierto que est
desempleado o no haya progresado".
Luego de formalizar lo anterior, resulta:
a) p ~ q ~ r ~ s
b) p ~ q ~ (~ r ~ s)
c)

~ q p ~ (~ r ~ s)

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,


pues es sensible.
a) (p q) p

30. Simbolice correctamente la siguiente proposicin:


"Alonso es abogado o diplomtico y si es
diplomtico viaja casi siempre al extranjero".

b) (p q) p

(Si se sabe que P = Alonso es abogado; q = Alonso es

c)

diplomtico; r = Alonso viaja casi siempre al

p (q p)

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


fctica, entonces o es objetiva o subjetiva.
a) (p q) (r s)

c) (p q) (q r)
d) (p q) (q r)
e) (p q) (q r)

b) (p q) (r s)
c) (p q) (r s)
d) (p q) (r s)
e) (p q) (r s)
26. Maana voy al cine, como al parque; si y solo s
es domingo, si no llueve:
a) ~ s {(p q) r}
b) {(p q) r} ~ s
c) {( p q) r} s
d) s {(p q) r}
e) {( p q ) r } ~ s
27. Formule:
"Roco no adquiri un vino, sin embargo tiene
sed, pidi un helado".
a) (q ~ p) r

31. Represente formalmente el siguiente enunciado:


"Es falso que hace calor si la temperatura no ha
aumentado".
(Sabiendo que p = hace calor y q = la temperatura
aumenta)
a) ~ p ~ q
b) ~ (p ~ q)
c) ~ q ~ p
d) ~ (~ q p)
e) p ~ q
32. Simbolice correctamente la siguiente expresin:
"Si la neblina aumenta, la visibilidad disminuye
y si disminuye la visibilidad, pueden ocurrir
accidentes".
(Donde p = la neblina aumenta, q = la visibilidad
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)

28. La biologa estudia la vida y los seres vivos, si es una


ciencia natural.
a) (p q) r
b) r (p q)
c) (p q) r
d) r (p q)
e) (p q) r
29. "No es cierto que seas mujer y hombre, ya que
eres hombre. Por lo tanto no eres mujer".
Su formalizacin corresponde a:
a) [~ (p q) q] ~ p
b) [q ~ (p q)] ~ p
c) [p ~ (p q)] ~ q

e) (p q) (q r)
33. Seale la simbolizacin de:
"Cuando hace Sol, es posible que la temperatura
aumente o sea verano".
a) p (q r)
b) p (q r)
c)

p (q r)

d) p (q r)
e) p q r
34. El argumento:
"Pitgoras fue matemtico tal como filsofo. Pero
Lutero fue protestante siempre, que no se
someti al Catolicismo".

29

Lgica

Se formaliza como:
a) (p q) r ~ s
b) p (q ~ r)
c) (p q) (r ~ s)
d) (p q) (r ~ s)
e) (p q) (~ r s)
35. Formalice correctamente:
"No es el caso que no haya control de precios o
los combustibles se encarezcan".
La frmula lgica correcta de la expresin anterior es:

a) [(p q) (r s) (p r)] ~ (~ q ~ s)
b) [(p q) (r s) (p r)] ~ (~ q ~ s)
c) [(p q) (~p ~ r) (p ~ p)]~(~q ~s)
d) (p q) ~ (p s)
e) (p ~ p) ~ (~ q ~ r)
40. "Judas es desleal y deshonesto porque no dijo
la verdad a Jess y lo entreg a los judos; de
ah que ya no es una persona de confianza".
Formalizando la expresin anterior, se obtiene:
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)
36. "Si Diego es matemtico y Sebastin ingeniero,
entonces ambos trabajarn en la NASA".
La simbolizacin correcta es:
a) (p q) r
b) p (q r)
c) (p q) (r s)

41. Tard en llegar, porque se malogr el auto y tuve


que venir a pie.
a) p (q r)
b) (q r) p
c) (q r) p
d) (q r) p
e) (q r) p

d) (p q) (r s)
e) (p q) (r s)
37. Simbolice:
"No es cierto que compr acciones de la
telefnica o bonos del gobierno. Luego obtuvo
buenos dividendos porque compr acciones de
la telefnica".
a) r (~ p q) (s t)
b) ~ (p q) (p t)
c) ~ (p q) (r s)

a) ~ p (q r)
b) ~ p (q r)
c) ~ p (q r)
d) (q r) p
e) (q r) p
43. Sin justicia social, no hay democracia ni
legalidad.

d) r (p q) (s t)

a) ~ p (~ q ~ r)

e) ~ (p q) (s t)

b) ~ (p q) r

38. Formalizar:
"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) {[( p q) ~ (p q)]} (s r)
b) (p q) (r s) ~ p
c) {[(p ~ q) ~ r (q s)]} (r ~ p)
d) [(p q) ~ (p r)] (p ~ r)
e) {(p ~ q) [~ p (q r)]} (r ~ 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".

30

42. No ir a trabajar, si y slo si declaran el da


feriado o me encuentre enfermo.

c) (~ p ~ q ) ~ r
d) (~ p ~ q ) ~ r
e) (~ p ~ q ) ~ r
44. Si Salma es alta o baja, entonces no le queda el
vestido.
a) (p q) ~ r
b) (p q) ~ r
c)

(p q) ~ r

d) (p q) ~ r
e) (p ~ q) r

TRILCE

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


Luego, ir a trabajar.
a) (p ~ q ~ p) ~ p

los fsicos.
a) p q r s

b) (p ~ q ~ q) ~ p

b) p q r s
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
46. La Lgica es una ciencia formal, debido a que
su objeto de estudio es abstracto y no emprico.
a) (q r) p
b) q ~ r p

52. El ornitorrinco no es ave, dado que tiene


glndulas mamarias; no obstante es falso que
sea vivparo:
a) (q p) ~ r
b) (q ~ p) ~ r

q ~r p
d) q ~ r p

c) (~ p q) ~ r

e) p (q ~ r)

e) (q ~ p) ~ r

c)

47. Las aves migran si es invierno; pero no migran


si antes no se reproducen.
a) q p ~ r ~ p

d) (q ~ p) ~ r

53. Saldremos de viaje o no haremos turismo, si y


slo si dispondremos de tiempo.
a) (p ~ q) r

b) q p ~ r ~ p

b) (p ~ q) r

p q ~ r ~ p
d) p q ~ p ~ r
e) q p r ~ p

c) (p ~ q) r

c)

48. No es el caso que postule a Letras o Sociales,


puesto que tengo vocacin por los nmeros.
a) ~ (p q) r
b) r ~ (p q)

d) r (p ~ q)
e) ~ r (p ~ q)
54. R. Descartes, pese a que fue el primer
exponente del Racionalismo Moderno, fue
creyente, dado que consider demostrable la
existencia de Dios.

r ~ (p q)

a) p (r q)

d) r ~ (p q)

b) (p r) q

e) r ~ (p q)

c)

c)

p (q r)

d) (p q) r
49. Ir al mdico, siempre que est enfermo. Pero
no estoy enfermo. Luego, al mdico no voy.
a) (q p ~ p) ~ q
b) (p q ~ p) ~ q
c) (q p ~ q) ~ p
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) ~ p ~ q
b) ~ (p ~ q)
c) ~ (p ~ q)
d) ~ (p ~ q)
e) ~ (p q)
51. O la Psicologa es una ciencia social y los
fenmenos naturales no son determinantes de
la conducta, o es una ciencia natural y los
eventos psquicos son una mera continuidad de

e) r (p q)
55. Llueve, cuando no es verano. Pero es verano.
Se concluye que, no llueve ni hace fro o no es
verano.
a) [(p ~ q) p] [(~ r ~ s) ~ t]
b) [(~ q p) p] [(~ r ~ s) ~ p]
c) [(~ q p) p] [(~ p ~ r) ~ q]
d) [(~ q p) q] [(~ p ~ r) ~ q]
e) [(p ~ q) q] [(~ p ~ r) ~ q]
56. Simbolice:
"Si Locke es empirista, rechaz al innatismo y
consider que la mente al nacer est vaca".
a) (p q) r
b) p (q r)
c)

p (q r)

d) p (q r)
e) (q r) p

31

Lgica

57. Formalizar:
"No es el caso que Alex sea ingeniero o Abogado;
en conclusin Alex es abogado".
a) (~ p q) p

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


cierto que viaja a Francia. Por lo tanto tiene
pasaporte".
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)

58. La simbolizacin correcta:


"Javier aumentar su perspicacia e ingenio si
estudia Lgica".
a) q p
b) p q
c)

r (p q)

e) (p q) (q p)
60. Formalice:
"Los deshonestos son desleales, porque son
personas inmorales"
a) q p
b) ~ q ~ p

d) (r p) q

c) (~ p ~ q) ~ r

e) p q

d) ~ r (~ p ~ q)
e) p q

32