TRILCE

Capítulo
FORMALIZACION EN LA
3 LÓGICA PROPOSICIONAL
(SIMBOLIZACIÓN)

La simbolización de proposiciones consiste en la representación del lenguaje ordinario mediante el lenguaje artificial
(convencional). Formalizar, significa reemplazar cada proposición por una variable y cada conectivo (término de enlace) o
modificador (la negación) por un operador lógico, todo ello correctamente jerarquizado mediante signos de agrupación.

1. VARIABLES
Se utilizan para representar a las proposiciones simples. Son las letras minúsculas: 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 LÓGICOS
Son de dos tipos:

a) Diádicos.- Se utilizan para representar a las conectivas (términos de enlace).

Conectiva .... y .... .... o .... o ... o ... si ... entonces ... ... si y solo si ...
Operador    

Ejemplo:

* Si practicamos los ejercicios de lógica, entonces aprendemos.

* Los leones son salvajes y carnívoros .

b) Monádico.- 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
Lógica

3. SIGNOS DE AGRUPACIÓN
Se utilizan para agrupar a las variables y operadores asi como, darles jerarquía. Son los siguientes:
* Paréntesis ( )
* Corchetes [ ]
* Llaves {}
* Barras ||

a) JERARQUIZACIÓN
Jerarquizar significa agrupar las variables y los operadores dentro de los signos de colección, llamados también de
agrupación.
Para jerarquizar hay que tener en cuenta los siguientes requisitos:

* Sólo presentan jerarquía los conectivos lógicos (y, o, entonces, si y solo si, etc.).
* Para realizar una correcta jerarquización hay que tener en cuenta los signos de puntuación del texto a jerarquizar,
en cuanto ellos indican la ubicación de los signos de colección.
* En el texto, el punto seguido tiene mayor jerarquía, 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 puntuación más importante del texto, ahí se encuentra ubicado el conectivo
principal.
2. Donde se encuentre un signo de puntuación ahí se abre o cierra un signo de colección (paréntesis, corchete o
llave)
3. El conectivo que se encuentre fuera o en la parte más externa de los signos de colección es el que tiene mayor
jerarquía.
4. Si encontramos un texto donde se presente una sucesión de idénticos signos de puntuación, será mayor el que
presente como conectivo entonces, luego o cualquiera de sus sinónimos.
5. La negación antecede a la variable (~p), no enlaza proposiciones, pues no es conectivo: (p ~ q).
Ejemplo:
Esther estudia física y química, o estudia lógica. Sin embargo estudia matemática.

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

- p  q ,  r .  s (reemplazando conectivos)
 
jerarquía 2 jerarquía 1
- [ (p  q)  r ]  s (jerarquizando)

4. FÓRMULAS
Es el resultado de la correcta formalización y jerarquización de las proposiciones o inferencias.

Ejemplo:
a) Galileo Galilei fue físico y matemático.
p q
Fórmula : p  q
Nombre : fórmula conjuntiva

b) Si el agua del río es dulce , entonces puede ser para el consumo humano o
p q
servir para regar los sembríos del tomate.
r

Fórmula : p  (q  r)
Nombre : Fórmula 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 actualización porque tiene dinero.

p q

Fórmula : q  p
Nombre : Fórmula condicional inverso

5. FÓRMULAS BIEN FORMADAS (fbf)

Obedecen a las siguientes reglas de formación:

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.
* pq *p q * (p  q)  (r  s)
* pq * p  q * (p  q)  [ r  (p  q) ]
* p  q * (p  q)  r * pqr
* pq r

IV. Ninguna otra es una fbf. en caso contrario son fórmulas mal formadas (fmf)
Ejm.
* p~ q Es una fmf porque la negación no es un operador diádico.
* pq Es una fmf porque el operador "  ", no es monádico y debe estar entre variables.
(Ejm. p  q)
* pqr Es una fmf porque no se puede determinar cuál de los operadores tiene mayor jerarquía, dado
que le falta el signo de agrupación.
(Ejm. (p  q)  r )

6. JERARQUIZACIÓN DE FÓRMULAS
En cualquier fórmula lógica, el operador que tiene mayor jerarquia es aquel operador diádico fuera o en la parte más
externa de los signos de agrupación (divide a la fórmula en dos) o en todo caso la negación libre.
Ejemplo :

* (p q) r * (p q) (p r) (r s)
2 1 2 1 3 2 3
Mayor jerarquía Mayor jerarquía
Menor jerarquía

Mayor jerarquía
1
* (p q) (r s)
* p (q p) (q r)
2 Menor 2 1 2 4 3 4 5
jerarquía
Mayor jerarquía

7. USO DE LOS PUNTOS AUXILIARES

Se utilizan dentro de la simbología de Peano y Russell. Estos puntos auxiliares, sirven para determinar la jearquía de
los operadores diádicos en reemplazo de los signos de agrupación.

25
Lógica

Proposición Operador Estructura formal fórmula

Conjunción . pyq p.q
Disyunción inclusiva v poq p q
Disyunción exclusiva opoq p q
Condicional si p entonces q p q
Bicondicional p si solo si q p q
Negación ~ no p ~p

Ejemplo:

* El alcohol y el cigarro son dañinos 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 conjunción tiene mayor jerarquía que cualquier otro operador que no tenga o éste afectado por puntos.
Ejm:

Mayor jerarquía
1
- p . q r - p q . r s
2 1 2
Mayor jerarquía

2) El operador diádico con mayor número de puntos es el de mayor jerarquía, si y solo si no esté limitado por los signos
de agrupación.
Ejm:
- p q .. r - r :
1
:p .. .
2
p v r
4 3
q
2 1
Mayor jerarquía
Mayor jerarquía

3) Al operador monádico (negación) no se le puede asignar puntos auxiliares, porque estos se asignan solamente
a los operadores diádicos. De ahí que cuando se trata de una negación libre, es necesario utilizar los signos de
agrupación .
Ejm:

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

26
 TRILCE

PRÁCTICA
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 avión despegará a las 5 de la mañana a menos que 08. ¿Cuál es la fórmula 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 Martín estudia alemán y portugués o va a la biblioteca
y busca información.
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] Señale 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 fórmula: 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 pantalón de Manuel está arrugado por que a) (~ q  p) ~ (p ~ q)
no lo planchó, además 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) pq 11. Formalizar lo siguiente:
d) ~ p  q "María tiene 15 ó 16 años de edad, así como
estudia Derecho o Ingeniería 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 Platón desprecia lo sensible; pero aprecia lo
e) (p  q)  (~ q  p) ideal, muestra la característica del valor denominado
jerarquía.

27
Lógica

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) pq
e) p  q d) ~ p ~ q
e) ~ q  ~ p
13. Simbolice:
"El poeta es sensible ya que es romántico, 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) qp 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 Víctor son vecinos, además 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 día 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, Pitágoras fue
matemático, dado que concibió al número e) ~, . ,  , /
como fundamento de todo existente". La fórmula
que lo representa, es: 21. Formalizar:
a) p.q  r "Si llueve al medio día, no secará la ropa; si no
b) q  p llueve, secará y te irás 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 mamífero o es ave. Pero e) ~ q  p :  :~ p  q  r :  :~ p  r
tiene glándulas mamarias. Por lo tanto, no es
22. Simbolice:
ave". "Tendremos muchas flores en el jardín, si la
a) p  q  r    ~ q estación es propicia y las semillas no están
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 filosofías 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) pq
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 proposición:
pues es sensible.
"Alonso es abogado o diplomático y si es
a) (p  q)  p
diplomático viaja casi siempre al extranjero".
b) (p  q)  p (Si se sabe que P = Alonso es abogado; q = Alonso es
c) p  (q  p) diplomático; 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)
fáctica, 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. Mañana 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 expresión:

"Si la neblina aumenta, la visibilidad disminuye
27. Formule: y si disminuye la visibilidad, pueden ocurrir
"Rocío 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 biología estudia la vida y los seres vivos, si es una
ciencia natural.
a) (p  q)  r 33. Señale la simbolización 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 formalización corresponde a:
a) [~ (p  q)  q] ~ p 34. El argumento:
"Pitágoras fue matemático tal como filósofo. Pero
b) [q ~ (p  q)] ~ p
Lutero fue protestante siempre, que no se
c) [p ~ (p  q)] ~ q sometió al Catolicismo".

29
Lógica

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 Jesús y lo entregó a los judíos; 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 expresión anterior, se obtiene:
La fórmula lógica correcta de la expresión 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 matemático y Sebastián ingeniero, que venir a pie.
entonces ambos trabajarán en la NASA". a) p  (q  r)
La simbolización 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 sólo si declaran el día
feriado o me encuentre enfermo.
37. Simbolice: a) ~ p  (q  r)
"No es cierto que compró acciones de la b) ~ p  (q  r)
telefónica o bonos del gobierno. Luego obtuvo
c) ~ p  (q  r)
buenos dividendos porque compró acciones de
la telefónica". 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 mediodía, no secará la ropa; si no
llueve, secará y te irás 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, irás a juicio; si callas, te condenarán, 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 físicos.

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
glándulas mamarias; no obstante es falso que
46. La Lógica es una ciencia formal, debido a que
sea vivíparo:
su objeto de estudio es abstracto y no empírico.
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. sólo 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 vocación por los números. 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 médico, siempre que esté enfermo. Pero e) r  (p  q)
no estoy enfermo. Luego, al médico 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 frío 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 médico 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á vacía".
d) ~ (p  ~ q) a) (p  q)  r
e) ~ (p  q) b) p  (q  r)
c) p  (q  r)
51. O la Psicología es una ciencia social y los
fenómenos naturales no son determinantes de d) p  (q  r)
la conducta, o es una ciencia natural y los
e) (q  r)  p
eventos psíquicos son una mera continuidad de

31
Lógica

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 conclusión Alex es abogado".
pasaporte".
a) (~ p  q)  p
Su fórmula 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 simbolización correcta:
"Javier aumentará su perspicacia e ingenio si
60. Formalice:
estudia Lógica". "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