Introducción al Álgebra

Aplicaciones con WxMaxima

Unidad 1: Lógica.

Algún dı́a lo vas a entender,

es que cuando nos echamos a correr
hay mil maneras de seguir,
pero ninguna de volver.
Fito Paez.

1. Lógica proposicional. Definiciones Preliminares.

No serı́a muy desacertado pensar que algunas de la siguientes oraciones fueron pronunciadas por algún
alumno durante los últimos dı́as.

Si el profesor no viene, me voy al cine

Tengo que estudiar y limpiar el cuarto, ¡No tengo tiempo para todo !
Si estudio, entonces no limpio y si limpio, entonces no estudio

Nuestro propósito es analizarlas desde el punto de vista de la lógica. Comenzaremos definiendo algunos
conceptos necesarios.

Definición 1.1 Una proposición es una afirmación de la cual se puede decir que es verdadera o falsa.
En general las proposiciones se denotan con las letras p, q, r, s, etc.

Las siguientes son ejemplos de proposiciones:

p = la semana tiene 7 dı́as.
q = los ángulos interiores de un cuadrilátero suman 360 grados.
r = la tierra tiene dos satélites naturales.
Es claro que p y q son proposiciones verdaderas y r es falsa.

Ejercicio 1.2 Dar dos ejemplos de proposiciones verdaderas y dos ejemplos de proposiciones falsas.

Hay en el lenguaje cotidiano locuciones que no son proposiciones, algunos ejemplos de ellas son las
siguientes:
¿Cómo te fue en el parcial?
¿Estás enojado?
¡Caminá mas rápido!

1
2. Conectivos Lógicos.
Es posible a partir de proposiciones dadas obtener nuevas proposiciones uniendo las dadas mediante
conectivos lógicos. Al unir dos proposiciones mediante un conectivo lógico obtenemos una proposición
compuesta. Algunos de los conectivos lógicos que estudiaremos en este curso son:

Sı́mbolo Conectivo Significado

∼ Negación no
∧ Conjunción y
∨ Disyunción o
⇒ Implicación implica
⇔ Doble Implicación si y sólo si

Comencemos por la conjunción.

2.1. Conjunción.
Analicemos la proposición r dada a continuación:

r = La forma de la tierra es Geoide y gira alrededor del sol.

r está compuesta por dos proposiciones unidas con el conectivo ((y)), las dos proposiciones componentes
son:
p = La forma de la tierra es Geoide.
q = La tierra gira alrededor del sol.
Es claro que la proposición r = La forma de la tierra es Geoide y gira alrededor del sol, es verdadera
pues ambas proposiciones componentes p y q son verdaderas. Analicemos otro ejemplo.
Sean p = ayer a la tarde estudié álgebra y q = ayer a la tarde viajé a la luna. Formemos la proposición
r = p ∧ q que es

r = p ∧ q = ayer a la tarde estudié álgebra y viajé a la luna.

Es claro que la proposición r es falsa y esto se debe a que una de las proposiciones componentes, en este
caso la proposición q, es falsa. Por lo tanto podemos afirmar que

r = p ∧ q será verdadera únicamente cuando sean verdaderas tanto p como q.

Analicemos los valores de verdad que toma la conjunción p ∧ q de acuerdo a los valores de verdad de p
y de q. La pregunta inmediata es ¿cuántas posibles combinaciones tenemos para p y q? p puede tomar
dos valores de verdad, estos son verdadero (V) o falso (F), y por cada uno de ellos lo mismo ocurre
con q, por lo que tenemos cuatro combinaciones posibles. Colocamos los mismos en el cuadro 1.1 que
denominaremos tabla de verdad de la conjunción.
Resumiendo podemos decir que la conjunción es verdadera solo cuando ambas proposiciones compo-
nentes lo son.

Ejemplo 2.1 Expresar las siguientes proposiciones en forma simbólica y determinar el valor de verdad
del resultado.

2
 p q p∧q
V V V
V F F
F V F
F F F

Cuadro 1: Tabla de verdad para p ∧ q

a. La Tierra tiene un satélite natural y Júpiter es gaseoso.

b. Mozart nació en Austria y compuso la ópera Las bodas de Fı́garo.
c. Mozart compuso la ópera Don Giovanni y se estrenó en Praga en 1788.

Solución.
a. Llamamos p = La Tierra tiene un satélite natural y q = Júpiter es gaseoso. Como p es verdadera
y q también es verdadera, entonces p ∧ q es verdadera.
Te dejamos como ejercicio las partes [b.] y [c.].

2.2. Disyunción.
También podemos conectar dos proposiciones mediante el conectivo ((o)), llamado disyunción. Por
ejemplo si p = esta tarde voy a estudiar y q = esta tarde voy a salir con amigos, la proposición r = p ∨ q
se lee r = esta tarde voy a estudiar o salir con amigos. Es claro que para que la proposición r sea
verdadera es necesario que alguna de la proposiciones componentes sea verdadera. La tabla de verdad
de la disyunción p ∨ q será

p q p∨q
V V V
V F V
F V V
F F F

Cuadro 2: Tabla de verdad para p ∨ q

En otras palabras podemos decir que p ∨ q es falsa solo si las dos son falsas.

Ejemplo 2.2 Determinar el valor de verdad de las siguientes proposiciones.

a. Las aves vuelan o los gatos son aves.
b. 8 es un número impar o 9 es un número primo.
c. Borges escribió El Aleph o La Mona Lisa es un obra de Miguel Ángel.
Solución.

a. La proposición p =las aves vuelan, es verdadera y la proposición q = los gatos son aves, es falsa,
por lo tanto, la disyunción es verdadera por ser una de las proposiciones simples veradera.

3
 b. La proposición p =8 es un número impar, es falsa y la proposición q =9 es un número primo,también
es falsa, por lo tanto p ∨ q es falsa .
Dejamos el item [c.] para que resuelvas.

No hemos hablado de la negación. El significado de la misma es claro a esta altura. Dada cualquier
proposición p, es posible obtener la negación de p, que escribimos como ∼ p. Por ejemplo si p = mi perro
es verde, la negación de p será ∼ p = mi perro no es verde. Seguramente el lector ya habrá deducido que
p y ∼ p tienen diferente valor de verdad. Es decir si p es verdadera, entonces ∼ p es falsa y viceversa.

Ejemplo 2.3 Construir la tabla de verdad de p∧ ∼ p y de p∨ ∼ p

Solución.

p ∼p p∧ ∼ p p∨ ∼ p
V F F V
F V F V

Cuadro 3: Tabla de verdad de p∧ ∼ p y p∨ ∼ p

Podemos observar que p∧ ∼ p es siempre falsa, independientemente de los valores de verdad de las
proposiciones que la componen. También podemos observar que p∨ ∼ p es siempre verdadera.

Definición 2.4 Si una proposición compuesta es siempre verdadera diremos que es una tautologı́a y si
es siempre falsa diremos que es una contradicción.
Antes de enunciar las propiedades fundamentales de la conjunción y la disyunción debemos dar una
definición.

Definición 2.5 Diremos que dos proposiciones compuestas son equivalentes (utilizaremos en sı́mbolo ≡)
si tienen la misma tabla de verdad.
Las fundamentales propiedades de la conjunción y la disyunción son:
Proposición 2.6 1. Asociativa.

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

2. Conmutativa.
p∧q ≡q∧p p∨q ≡q∨p

3. Distributiva
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

4. Leyes de De Morgan
∼ (p ∧ q) ≡ (∼ p) ∨ (∼ q)
∼ (p ∨ q) ≡ (∼ p) ∧ (∼ q)

4
 Demostración.
1. En este caso tenemos tres proposiciones p, q y r para combinar sus valores de verdad. La cantidad
de combinaciones posibles son 8 que resumimos en la tabla del cuadro 4.

p q r q∨r p ∧ (q ∨ r) p∧q p∧r (p ∧ q) ∨ (p ∧ r)

V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

Cuadro 4: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

Observamos, en la tabla de verdad del cuadro 1,4, que la quinta columna p ∧ (q ∨ r) y la octava
columna (p ∧ q) ∨ (p ∧ r) son iguales. Por lo tanto las proposiciones son equivalentes.
2. En este caso tenemos dos proposiciones p y q,la tabla debe combinar 4 valores de verdad.

p q p∧q ∼ (p ∧ q) ∼p ∼q ∼ p∨ ∼ q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V

Cuadro 5: ∼ (p ∧ q) ≡∼ p∨ ∼ q

Como se observa en la tabla del cuadro 1,5, la cuarta columna ∼ (p ∧ q) y la séptima ∼ p∨ ∼ q son
iguales. Las proposiciones son equivalentes.

Se puede probar que si una proposición está compuesta por n proposiciones simples, la cantidad de
combinaciones posibles entre ambas son 2n .

Ejemplo 2.7 Hacer la tabla de verdad de las siguientes proposiciones.

a. (p∧ ∼ q) ∨ r
b. (∼ p∧ ∼ q) ∨ q

Solución.
a. la proposición está compuesta por tres proposiciones simples, la cantidad de combinaciones posibles
es 23 = 8. La solución se puede ver en el cuadro 1,6.

Dejamos como ejercicio el item[b.]

Ejemplo 2.8 Escribir la negación de las siguientes proposiciones.

5
 p q r ∼q p∧ ∼ q (p∧ ∼ q) ∨ r
V V V F F V
V V F F F F
V F V V V V
V F F V V V
F V V F F V
F V F F F F
F F V V F V
F F F V F F

Cuadro 6: (p∧ ∼ q) ∨ r

a. Colón descubrió América y la Tierra es un Planeta.

b. Las moscas son insectos o las ballenas son mamı́feros .
Solución.
a.- La primera proposición es una conjunción entre las proposiciones p = Colón descubrió América
y q = la Tierra es un Planeta. Para negar la proposición p ∧ q utilizamos la ley de De Morgan,
∼ (p ∧ q) ≡ (∼ p) ∨ (∼ q), luego la negación de esta proposición es: Colón no descubrió América o
la Tierra no es un Planeta.
b.- En este caso se trata de la disyunción entre las proposiciones p = Las moscas son insectos y q = las
ballenas son mamı́feros. Para negar p ∨ q tenemos en cuenta que ∼ (p ∨ q) ≡ (∼ p) ∧ (∼ q), luego
la negación de esta proposición es: Las moscas no son insectos y las ballenas no son mamı́feros.
Ejemplo 2.9 Sabiendo que la proposición p es verdadera y las proposiciones q y r, son falsas, determinar
el valor de verdad de :
a. p ∨ (q∧ ∼ r)
b. ∼ (p ∨ q) ∨ (r ∧ p)
c. ∼ (p ∧ q) ∨ ∼ (∼ r)
Solución.
a. ∼ r es verdadera y q es falsa, luego (q∧ ∼ r) es falsa; la proposición p es verdadera, por lo tanto, al
tratarse de una disyunción, p ∨ (q∧ ∼ r) es verdadera.
b. La proposición p ∨ q es verdadera por ser una disyunción y la proposición p verdadera, luego
∼ (p ∨ q)es falsa. (r ∧ p) es falsa por ser una conjunción y r falsa. Luego ∼ (p ∨ q) ∨ (r ∧ p) es falsa.
Dejamos como ejercicio el item [c.]

2.3. Implicación.
Analicemos ahora la implicación. Sean p = la figura F es un triángulo y q = la figura F tiene tres
lados. Formemos la proposición compuesta r = si la figura F es un triángulo, entonces tiene tres lados
que ejemplificamos como r = p ⇒ q y se denomina condicional o implicación. A la proposición p se
la suele denominar antecedente o hipótesis y a la proposición q se la suele denominar consecuente o
tesis.
La implicación p ⇒ q puede leerse de cualquiera de las siguientes maneras:

6
 p implica q.
Si p, entonces q.
q es necesario para p
p es suficiente para q
q si p

Expresando la proposición anterior en cada uno de esas maneras queda: r = Si la figura F es un

triángulo, entonces tiene tres lados.
r = Que la figura F sea un triángulo, implica que tiene tres lados.
r = Es necesario que la figura F tenga tres lados, para que sea un triángulo.
r = Es suficiente que la figura F sea un triángulo, para asegurar que tiene tres lados.
Una implicación del tipo p ⇒ q es falsa solo cuando p es verdadera y q es falsa, en todos los otros
casos es verdadera. Por lo tanto la tabla de verdad de la implicación será

p q p⇒q
V V V
V F F
F V V
F F V

Analizaremos los siguientes ejemplos:

Ejemplo 2.10 Determinar si las siguientes proposiciones son verdaderas o falsas.
a. Si la Tierra es un Planeta, entonces gira alrededor del Sol.
Esta proposición es verdadera ya que su antecedente p = la Tierra es un Planeta , es verdadera y
su consecuente q = la Tierra gira alrededor del Sol, también.
b. Si 15 es un número primo, es impar.
Llamando p = 15 es un número primo , q = 15 es un número impar, p es falsa y q es verdadera,
luego p ⇒ q es verdadera por ser antecedente falso y consecuente verdadero

c. π es un número racional, si 4 es par.

En este caso, el antecedente p = 4 es un número par , es una proposición verdadera y el consecuente
q = π es un número racional, es una proposición falsa. Luego la proposición p ⇒ q es falsa.
Te dejamos este ejercicio para que resuelvas.

Ejercicio 2.11 Expresar las siguientes proposiciones en forma simbólica.

a. Si tuviese dinero, viajarı́a por Europa.
b. Para sacar el TeleKino es necesario jugar una boleta.
c. Es suficiente asistir a clase para aprobar.

Ejemplo 2.12 Construir una tabla de verdad para demostrar que ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r) es una
tautologı́a.

Solución.
Esto demuestra que la implicación verifica la propiedad transitiva.

7
 p q r p⇒q q⇒r (p ⇒ q) ∧ (q ⇒ r) p⇒r (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

2.4. Doble Implicación.

Si p ⇒ q y además q ⇒ p escribimos p ⇔ q y la denominamos doble implicación. La misma suele
también expresarse de las siguientes maneras.

p cuando y sólo cuando q

p es necesario y suficiente para q.
p si y sólo si q
Para que una doble implicación sea verdadera es necesario que ambas implicaciones componentes sean
verdaderas. Esto determina la siguiente tabla de verdad de la doble implicación.

p q p⇔q
V V V
V F F
F V F
F F V

Son ejemplos de la doble implicación :

1. El sol está brillando si y solo si no está lloviendo.

2. Que la nota de mi examen sea mayor o igual a 4 es condición necesaria y suficiente para que apruebe
la materia.

A continuación podrás encontrar varios ejemplos.

Ejemplo 2.13 Construir las tablas de verdad de la siguientes proposiciones:
1. (p ∧ q) ⇒ p
2. (p ⇒ q) ⇔ (∼ p ∨ q)
3. ∼ q ⇔ (p ∧ q)
Solución.
1. La proposición es una tautologı́a.
2. La proposición es una tautologı́a. Si observamos la columna 3 y la columna 5 , ambas son iguales;
por lo tanto, las porposiciones p ⇒ q ≡∼ p ∨ q .
Dejamos para que resuelvas el inciso [3.]

8
 p q p∧q (p ∧ q) ⇒ p
V V V V
V F F V
F V F V
F F F V

p q p⇒q ∼p ∼p∨q (p ⇒ q) ⇔ (∼ p ∨ q)
V V V F V V
V F F F F V
F V V V V V
F F V V V V

Ejemplo 2.14 Sabiendo que p y q son proposiciones verdaderas y r es falsa , determinar el valor de
verdad de las siguientes proposiciones.
1. (p∧ ∼ r) ⇒ (q ∨ r)

2. ∼ (p ⇒ q) ⇔ (p∧ ∼ q)
3. (p ∧ q)∨ ∼ (r ⇒ q)

Solución.
1. ∼ r es verdadera, luego p∧ ∼ r es verdadera. Al ser q verdadera, q ∨ r es verdadera . El antecedente
y consecuente de la implicación son verdaderos, por lo que (p∧ ∼ r) ⇒ (q ∨ r) es verdadera.
2. La proposición p ⇒ q es verdadera, por lo que ∼ (p ⇒ q) es falsa. p∧ ∼ q es falsa, ya que ∼ q
es falsa, luego ∼ (p ⇒ q) ⇔ (p∧ ∼ q) es falsa. ( Recordar que la doble implicación es verdadera
cuanda ambas proposiciones lo son)
3. Te dejamos este item para que resuelvas.

Ejemplo 2.15 1. Sabiendo que la proposición ∼ q ∨(q ⇒ p) es falsa, indicar cuál es el valor de verdad
de las proposiciones p y q.
2. La proposición (p∧ ∼ q) ⇒∼ r, determinar el valor de verdad de la proposición (r∨ ∼ p) ⇔∼ (q ∧r)

3. Indicar para qué valores de verdad de p y q resulta verdadera la proposición (p ⇒ q) ∧ (∼ q ⇒ p).

Solución.

1. La disyunción es falsa cuando ambas proposiciones lo son, entonces ∼ q es falsa y q ⇒ p tambı́en

es falsa. Luego q es verdadera y p es falsa, ( observar que la implicación es falsa si el antecedente es
verdadero y el consecuente es falso)
2. Una implicación es falsa si el antecedente es verdadero y el consecuente es falso, con lo cual (p∧ ∼ q)
es verdadera y ∼ r es falsa. Luego p y ∼ q son verdaderas , por lo tanto p y r son verdaderas y q
es falsa.
Con estos valores de verdad, la proposición r∨ ∼ p es verdadera y ∼ (q ∧ r) también, por lo tanto
(r∨ ∼ p) ⇔∼ (q ∧ r) es verdadera.
3. Dejamos este item para que resuelvas.

9
2.5. Implicaciones derivadas de una dada.
Dada una implicación p ⇒ q podemos, a partir de ella obtener otras tres implicaciones. Estas son
q ⇒ p que llamaremos recı́proca, ∼ p ⇒∼ q que llamaremos contraria y ∼ q ⇒∼ p que llamaremos
contrarecı́proca.

Ejemplo 2.16 Dada la implicación Si la figura F es un cuadrado, entonces es un rectángulo.,

escribir la recı́proca, la contraria y la contrarecı́proca de la misma.

Solución.
Si la figura F es un rectángulo, entonces es un cuadrado.
Si la figura F no es un cuadrado, entonces no es un rectángulo.
Si la figura F no es un rectángulo, entonces no es un cuadrado.

Ejemplo 2.17 Supongamos que la implicación p ⇒ q, es verdadera, ¿podemos asegurar que la implica-
ción recı́proca q ⇒ p es verdadera?

¿ Y si p ⇒ q es falsa?

Solución. Si p ⇒ q, es verdadera tenemos varias opciones :

p es V y q es V; la recı́proca q ⇒ p es verdadera.
p es F y q es V; la recı́proca q ⇒ p es falsa.
p es F y q es F; la recı́proca q ⇒ p es verdadera.
Luego no se puede determinar que sea verdadera o falsa.
Si p ⇒ q es falsa, podemos decir que p es V y q es F, luego q ⇒ p es verdadera.
Ejercicio 2.18 Contestar las preguntas del ejercicio anterior para la contraria y la contrarecı́proca.

3. Unas palabras sobre demostraciones.

Hemos visto que una implicación del tipo p ⇒ q es falsa unicamente cuando p es verdadero y q es
falso. Por lo tanto para probar que una implicación del tipo p ⇒ q es falsa, basta encontrar un caso en
el que p sea verdadera y q sea falsa. Estos ejemplos se denominan contraejemplos y solo sirven para
demostrar que una implicación es falsa, pues para probar que una implicación es verdadera no se puede
probar con un ejemplo. Explicaremos un poco mas esto.
Supongamos que tenemos la implicación Todos los números son pares, que obviamente es falsa. Para
probar su falsedad basta encontrar un caso (contraejemplo) en el cual no se cumpla. Aunque podemos
encontrar infinitos casos en los que se cumple, basta que haya solo un caso en el que no se cumpla para
poder asegurar que la implicación es falsa. Es por ello que encontrar casos en los cuales sea verdadera no
nos asegura que la proposición lo es.

Surge una pregunta, ¿Cómo demostramos que una implicación p =⇒ q es verdadera? Básicamente son dos
los métodos mas empleados para hacerlo. El primero es partiendo de la proposición p, emplear reglas acep-
tadas como verdaderas y llegar a la proposición q. Analicemos un ejemplo de este tipo de demostraciones
que llamaremos directas.
Ejemplo 3.1 Si n es un número par, entonces n2 es par.

10
Demostración. Vamos a partir del antecedente p : n es un número par. Esto lo podemos expresar en
forma simbólica escribiendo n = 2k con k ∈ Z. Luego n2 = (2k)2 = 4k 2 . Esto último lo podemos escribir
de la forma n2 = 2(2k 2 ), lo que muestra que n2 es un número par.
Esta demostración escrita en forma simbólica queda ası́:

n es un número par ⇒ n = 2k, k ∈ Z

⇒ n2 = 4k 2
⇒ n2 = 2(2k 2 )
⇒ n2 es un número par

En esta demostración hemos partido de la hipótesis y hemos llegado a la tesis, es decir hemos aplicado el
método directo.

Sabemos que si una implicación p =⇒ q es verdadera, la implicación contrareciproca también lo es.

Esto nos permite tener otra forma de demostrar implicaciones que consiste en partir de la negación de
q y llegar a la negación de p, esto es demostrar ∼ q =⇒∼ p. Analicemos un ejemplo de este tipo de
demostraciones.
Ejemplo 3.2 Demostrar que si 5n + 2 es impar entonces n es impar.

Demostración. Vamos a negar la tesis, esto es supongamos que n es par, esto es n = 2k, k ∈ Z. Luego
podemos decir que
5n + 2 = 5(2k) + 2 = 2(5k + 1)
lo que prueba que 5n + 2 es par y esto es la negación de la hipótesis.

En la demostración anterior la última afirmación es la negación de la hipótesis. Hemos partido de la

negación de la tesis y llegamos a la negación de la hipótesis, es decir hemos demostrado la implicación
∼ T =⇒∼ H, que es equivalente a H =⇒ T . Este tipo de demostraciones se suelen denominar demostra-
ciones por el absurdo . Es necesario mencionar que en algunos casos se puede llegar no a la negación
de la hipótesis, sino a la negación de una verdad ya demostrada.

4. Cuantificadores.
Si escribimos x ∈ R : x < 5 es claro que no es una proposición, pues no sabemos quien es x. Es
decir, con x = 3 se obtiene una proposición verdadera y con x = 7 se obtiene una proposición falsa. Sin
embargo escribiendo delante de x ∈ R : x < 5 un cuantificador, podemos obtener una proposición. Los
cuantificadores son dos, ∃ denominado cuantificador existencial y ∀ denominado cuantificador universal.
Ası́, escribiendo
∃x ∈ R : x < 5
obtenemos una proposición verdadera. Y escribiendo

∀x ∈ R, x < 5

obtenemos una proposición falsa.

Ejemplo 4.1 Determinar si cada una de las siguientes proposiciones es verdadera ó falsa

11
 a. ∃x ∈ R : x > 8
Esta proposición es verdadera ya que 8,5 ∈ R y 8,5 > 8.
b. ∃x ∈ Z : x < 0
Esta proposición es verdadera, −1 ∈ Z y −1 < 0.

c. ∀x ∈ Z, x < 0
Esta proposición es falsa porque 3 ∈ Z y 3 > 0.
Cada uno de estos cuantificadores niega al otro. Es decir, si una proposición contiene el cuantificador
existencial, su negación se realiza mediante el cuantificador universal y viceversa. Ası́, la negación de

∃x ∈ R : x > 6

es
∀x ∈ R, x ≤ 6
Ejemplo 4.2 Escribir la negación de las proposiciones del ejercicio anterior.

Solución.
a. La negación de :∃x ∈ R : x > 8 es, ∀x ∈ R : x ≤ 8
b. La negación de :∃x ∈ Z : x < 0 es, ∀x ∈ Z : x ≥ 0
c. La negación de :∀x ∈ Z, x < 0 es, ∃x ∈ Z : x ≥ 0

12