Академический Документы
Профессиональный Документы
Культура Документы
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:
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)
24
TRILCE
Ejemplo:
Frmula : q p
Nombre : Frmula condicional inverso
5.
*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
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
= p
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)
27
Lgica
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
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
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
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.
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)
~ q p ~ (~ r ~ s)
TRILCE
d) ~ p (q ~ r)
d) [~ (p q) p] ~ q
e) p ~ q ~ (~ r ~ s)
e) [~ (p q) p] ~ q
b) (p q) p
c)
p (q p)
d) p (q p)
extranjero).
e) (p q) q
a) (p q) (r s)
b) (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
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)
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)
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
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
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
q ~r p
d) q ~ r p
c) (~ p q) ~ r
e) p (q ~ r)
e) (q ~ p) ~ r
c)
d) (q ~ p) ~ 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)
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
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)
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