Captulo 2

L ogica Matematica
2.1. Logica Proposicional
Denici on. Una proposicion es un juicio, armaci on o enunciado del cual se puede decir
que es verdadero o falso, pero no ambas cosas simult aneamente. No es necesario saber
de antemano s es verdadero o falso, lo unico es que tenga uno s olo de esos valores. Una
proposici on consta b asicamente de tres partes:
Un sujeto: del cual se dice algo o que el hace algo.
Un verbo: que indica un estado o una acci on que realiza el sujeto.
El complemento: que describe o aclara el estado o accion que realiza el sujeto.
Ejemplos. Los siguientes enunciados son ejemplos de proposiciones
p: El jugador est a en la casilla [2, 2].
q: El archipielago de San Andres, Providencia y Santa Catalina pertenece a Colombia
r: El perro corre velozmente por la pradera jugando con la pelota azul y verde.
s: 2 + 2 = 4.
t: El universo tiene una longitud innita.
Ejemplos. Los siguientes enunciados son ejemplos que no son proposiciones
Vamos ma nana a cine?; Hacemos quiz?. (interrogaciones)
Ah, cu anta mentira hay en esos argumentos!; No te vayas!. (exclamaciones, deseos)
No te aprendas la tablas de memoria; No te metas con ese muchacho; C allate. (con-
sejos, mandatos)
El lindo y hermoso perro de Mara Antonieta; El ronroneo de los gatos. (no son
armaciones que pueda valorarse)
5
6 CAP

ITULO 2. L

OGICA MATEM

ATICA
2.1.1. El lenguaje de la l ogica proposicional
En la l ogica proposicional, el lexico esta denido por tres elementos: las letras proposi-
cionales, los conectivos l ogicos y los parentesis.
Denici on. El lexico de la l ogica proposicional se compone de tres tipos de lexemas:
smbolos y/o letras proposicionales: , , p, q, r, s, p
0
, p
1
, . . .
conectivos l ogicos: , , , ,
smbolos auxiliares: (, )
Las letras proposicionales son usadas para representar proposiciones, por lo tanto el
signicado de una letra proposicional es el signicado que tiene la proposici on que dicha
letra representa. El smbolo proposicional es usado para representar una proposicion
con signicado siempre falso
1
, mientras que es usado para representar una proposici on
con signicado siempre verdadero
2
. Los conectivos l ogicos son smbolos que permiten, a
partir de smbolos y/o letras proposicionales, formar frases. En la denici on mas com un
de la logica proposicional cl asica, una de las cuales es la l ogica clasica estos smbolos son la
negacion (), el o l ogico (), el y l ogico (), la implicacion () y la equivalencia (). El
signicado que cada uno de estos conectivos le da a las frases que se construyen con ellos
se explicar a m as adelante
3
. Los parentesis son usados para agrupar de manera apropiada
las frases o f ormulas de la logica proposicional.
En la l ogica proposicional la gramatica se describe en terminos de formulas bien for-
madas (fbf) de manera recursiva
4
, es decir, suponiendo que los smbolos y letras proposi-
cionales son fbfs y deniendo nuevas fbfs en terminos de fbfs ya construidas.
Denici on. La gramatica de la logica proposicional se dene recursivamente en terminos
de formulas bien formadas (fbf), as:
i) Si p es un smbolo o letra proposicional, entonces p es una fbf.
ii) Si f es fbf entonces (f) es una fbf.
iii) Si f
1
y f
2
son fbfs entonces: (f
1
f
2
), (f
1
f
2
), (f
1
f
2
) y (f
1
f
2
) son fbfs.
En el lenguaje de la l ogica proposicional, a diferencia del espa nol u otro lenguaje natural,
la sem antica es facil de denir ya que los posibles sentidos que tiene una frase son solamente
dos (verdadero y falso) y las frases que se pueden construir se denen de manera recursiva
(f ormulas bien formadas).
Ejemplo. Las siguientes secuencias de smbolos son f ormulas bien formadas:
1
Que se representara abreviadamente por el smbolo F.
2
Que se representara abreviadamente por el smbolo V .
3
Existen diversas formas de denir la logica proposicional clasica dependiendo de los conectivos logicos
usados (smbolo y denicion semantica). La presentada aqu es la mas usual y se le dice clasica por la
denicion semantica de los conectivos logicos.
4
En una denicion recursiva se denen casos particulares o base y los demas se denen como construc-
ciones sobre estos casos base y sobre estas construcciones.
2.1. L

OGICA PROPOSICIONAL 7
f
1
:

(p (q)) (r s)

f
2
:

(r q) (q s)

Ejemplo. Las siguientes secuencias de smbolos no son formulas bien formadas:

f
1
: ( p)(r s)

f
2
:

( p q) (q p )
Denicion. La sem antica de la logica proposicional se dene de manera recursiva sobre
las formulas bien formadas as ((f) se usa para representar el signicado de la formula
bien formada f):
i) Si f es un fbf denida solamente por un smbolo o letra proposicional, el signicado
de la f ormula f es el mismo signicado del smbolo o letra proposicional.
() () (p)
V F signicado de la proposici on p
ii) Si f es una fbf, entonces:
(f)

(f)

V F
F V
iii) Si f
1
y f
2
son fbfs, entonces:
(f
1
) (f
2
) (f
1
f
2
) (f
1
f
2
) (f
1
f
2
) (f
1
f
2
)
V V V V V V
V F V F F F
F V V F V F
F F F F V V
Ejemplo. Suponga que (p) = F, (q) = F, (r) = V , entonces el signicado (valor de
verdad) de la f ormula bien formada
f:

(p) q

(r q) ()

para hallar el signicado de f, primero se debe hallar el valor de verdad de los parentesis
m as internos y luego con esos resultados ir hallando el valor de verdad de las f ormulas mas
internas que vayan apareciendo, de esta manera
(p) (q) (r)

(p)

(r q)

()

(p) q

F F V V F V F

(r q) ()

(p) q

(r q) ()

V F

(p) q

(r q) ()

V
as, (f) = V .
8 CAP

ITULO 2. L

OGICA MATEM

ATICA
2.1.2. Precedencia de conectivos l ogicos
Uno de las principales limitaciones de las f ormulas bien formadas es el uso excesivo de
los parentesis, los cuales, en muchos casos, son redundantes. Para evitar este uso excesivo
de parentesis (sin que esto implique que toda f ormula pueda ser escrita sin parentesis), a
los conectores l ogicos se les asigna una prioridad que determina de manera exacta el orden
en que los parentesis se deben asumir si no se escriben. Entre m as alta es la prioridad de
un conector, los parentesis asociados a el, tienen mayor prelaci on, es decir, en el proceso
de completar los parentesis, los parentesis asociados al operador con m as prioridad son
adicionados primero que los parentesis de un conectivo con menor prioridad. Las priori-
dades asignadas a los operadores se pueden observar el la tabla 2.1. Cuando en la f ormula
aparece el mismo operador varias veces y no se puede determinar a cu al se le deben asignar
los parentesis primero, se asignan los parentesis de izquierda a derecha.
Conectivo Prioridad Signicado
(, ) 1 m as alta
2 alta
, 3 media
, 4 baja
Tabla 2.1. Prioridad de los conectivos logicos.
Ejemplo. La formula p q r s representa la fbf

(p q) (r s)

, ya que
completando parentesis:
i) p q r s
ii) p q (r s) ( prioridad 3)
iii) (p q) (r s) ( m as a la izquierda prioridad 4)
iv)

(p q) (r s)

( prioridad 4)
2.1.3. Leyes
En la l ogica proposicional clasica, una ley logica es una equivalencia o implicacion entre
f ormulas l ogicas. Tal equivalencia o implicacion logica debe ser verdadera para cualquier
interpretaci on de las letras proposicionales que conforman las formulas relacionadas por
la equivalencia (debe ser tautologa). Las m as famosas leyes l ogicas son: Modus Ponen,
Modus Tollen, Inconsistencia, Doble negacion, Conmutatividad, Distributivas, Asociativas
y Morgan.
2.1.3.1. Interpretaci on
Dada una coleccion de smbolos proposicionales, una interpretacion de es una asig-
naci on de valores de verdad a cada una de las letras proposicionales de la coleccion.
Ejemplo. Sea = {q, r, s}.
2.1. L

OGICA PROPOSICIONAL 9
1. Una interpretacion de es: (q) = V, (r) = V, (s) = F.
2. Una interpretacion de es: (q) = F, (r) = F, (s) = F.
3. Una interpretacion de es: (q) = F, (r) = V, (s) = V .
Propiedad. Si una coleccion tiene n letras proposicionales entonces tiene en total 2
n
interpretaciones diferentes.
Ejemplo. Las interpretaciones posibles de la colecci on de letras proposicionales =
{p, q, r}, entonces tiene ocho (2
3
= 8) interpretaciones:
(p) (q) (r)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Nota. El valor de verdad de una formula f para una interpretacion I de
f
se notara como

I
(f).
2.1.3.2. Tautologas, contradicciones y contingencias
Una f ormula f se dice tautologa si para cualquier interpretaci on de su conjunto de
letras proposicionales, su signicado (valor de verdad) es V , se dice contradiccion si para
cualquier interpretacion su signicado es F y se dice contingencia si no es tautologa ni
contradicci on.
Ejemplo. Determinar el tipo (tautologa, contingencia o contradicci on) de cada una de
las siguientes formulas:
1. f = p q q p
2. f = p p
3. f = p (q r)
Solucion.
1. Si f = p q q p entonces
f
= {p, q}
p q p q q p p q q p
V V V V V
V F V V V
F V V V V
F F F F V
10 CAP

ITULO 2. L

OGICA MATEM

ATICA
entonces f es tautologa.
2. Si f = p p entonces
f
= {p}
p p p p
V F F
F V F
entonces f es contradicci on.
3. Si f = p (q r) entonces = {p, q, r}
p q r q r p (q r)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F
entonces f es contingencia.
Al esquema de presentar todas las interpretaciones y el valor de verdad de la f ormula
se le llama tabla de verdad de la f ormula f. Las tablas de verdad son muy utiles para
realizar demostraciones a nivel sem antico, ya que ellas no solamente se pueden usar con
letras proposicionales sino con formulas bien formadas, es decir, considerando toda una
f ormula bien formada como verdadera o falsa y construyendo la tabla de verdad para
dichas formulas.
2.1.3.3. Equivalencias L ogicas
Denici on. Sean f
1
y f
2
dos formulas, se dice que f
1
es logicamente equivalente a f
2
,
(f
1
f
2
) si y solamente si la f ormula f
1
f
2
es una tautologa.
Ejemplo. Las f ormulas f
1
= ( ) y f
2
= son l ogicamente equivalentes, es
decir, () , para cualesquiera formulas y . Para esto, se debe demostrar
que ( ) es una tautologa; como se aprecia en la siguiente tabla
( ) ( )
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
como se observa, f
1
f
2
es una tautologa, por lo tanto, f
1
y f
2
son logicamente equiva-
lentes.
Las equivalencias l ogicas mas conocidas se presentan en la tabla 2.2. La demostraci on
de las mismas se deja al lector.
2.2. L

OGICA DE PREDICADOS 11
Equivalencia Nombre
Tercio excludo
Contradicci on

Identidad


Dominaci on


Idempotencia

Doble negacion

Conmutativas

( ) ( )
Asociativas
( ) ( )
( ) ( ) ( )
Distributivas
( ) ( ) ( )
( )
Morgan
( )
Tabla 2.2. Equivalencias logicas.
2.1.3.4. Implicaciones Logicas
Denici on. Sea = {f
1
, f
2
, . . . , f
n
} una colecci on de f ormulas (premisas) y g una f ormula
(conclusion), se dice que implica logicamente a g ( g), si y solamente si (f
1
f
2

f
n
) g es una tautologa.
Ejemplo. Las premisas = {, } implican logicamente a g = , para esto es
necesario que la formula

( )

sea una tautologa, como se aprecia en la

siguiente tabla
( )

( )

V V F V F F V
V F V F F F V
F V F V F V V
F F V V V V V
como se observa,

( )

es una tautologa, por lo tanto, = {, }

implica logicamente a g = .
Las implicaciones l ogicas mas conocidas se presentan en la tabla 2.3. Se deja al lector
la demostracion de las mismas.
2.2. Logica de predicados
La l ogica proposicional no dene objetos. Si se tiene la proposici on p: el ni no est a ju-
gando con la pelota roja y blanca, tambien se podra hablar de la proposici on q: la foca
12 CAP

ITULO 2. L

OGICA MATEM

ATICA
Implicaci on Nombre
{, } ( ) Combinaci on
{, } Ley de simplicacion
{, } Variante de la ley de simplicaci on
{} ( ) Ley de adici on
{} ( ) Variante de la adici on
{, } Modus ponens
{, } Modus tollens
{ , } ( ) Silogismo hipotetico
{, } Silogismo disyuntivo
{, } Variante de silogsmo disyuntivo
{ , } Ley de casos
{ } ( ) Eliminaci on de equivalencia
{ } ( ) Variante de eliminaci on de equivalencia
{ , } ( ) Introducci on de la equivalencia
{, } Ley de inconsistencia
Tabla 2.3. Implicaciones logicas.
est a jugando con la pelota azul y verde. Al tener frases de este estilo estamos cambiando
el sujeto de la oracion.
En este caso se puede pensar denir sentencias sin un sujeto especco. El sujeto puede
cambiar (la foca, el ni no). Se realiza referencia a una realidad. Esto da como resultado
frases del estilo x est a jugando con y.
x e y son objetos que est an relacionados con un predicado y dependiendo del objeto,
se tiene una proposici on que es verdadera o es falsa. En terminos de estos se dene un
predicado como una frase que tiene un valor que verdad dependiendo de los objetos de
los que se este hablando. En el ejemplo anterior el predicado es EstaJugandoCon y se
escribira de la forma EstaJugandoCon(x, y), que se interpreta conceptualmente como x
esta jugando con y.
Un predicado da una forma mas amplia de hablar. Se podra tener una colecci on
{1, 2, 3, 4, 5, 6, 7, 8, 9, 0}, y sobre esta coleccion se dene un predicado. Se podra hablar
del predicado esPar(x). Si se toma el predicado esPar(3) este tiene un valor de verdad
falso, si se toma el predicado esPar(6) este tiene un valor de verdad verdadero.
A una colecci on de objetos a los cuales se les desea aplicar el predicado se le llama
el universo de discurso. Cuando en un predicado se reemplaza una variable x por un
valor concreto del universo del discurso, se dice que se esta instanciando la variable
x, la f ormula resultante se dice que es una instancia del predicado inicial. De esta
manera cuando se instancian todas la variables de un predicado, lo que se obtiene es una
proposici on, y por lo tanto cumple la condici on de que en ning un caso la instancia puede
ser verdadera y falsa a la vez.
2.2. L

OGICA DE PREDICADOS 13
2.2.1. Cuanticadores
Pueden haber predicados como esDigito(x) que para todos los objetos del universo
del discurso {1, 2, 3, 4, 5, 6, 7, 8, 9, 0} son verdaderos. Para este mismo universo, el predi-
cado esMayora10(x) es falso para todos los elementos de dicha colecci on, y el predicado
esModuloAditivo(x) es verdadero s olo para x = 0 y para el resto de los casos sera falso.
Cuando se desea expresar que un predicado P(x) describe una propiedad sobre todos
los elementos del universo del discurso o para solo algunos, se dice que se est a cuanticando
la variable x.
Cuando se desea expresar que un predicado describe una propiedad para todos los
elementos del universo del discurso, se dice que se est a cuanticando universalmente.
Cuando el predicado describe una propiedad para algunos de los elementos del universo
del discurso, se dice que se est a cuanticando existencialmente.
Para expresar estas nuevas propiedades se necesitan nuevos smbolos, y estos son los
smbolos y que permiten ampliar el lexico y se utilizan de la siguiente manera:
Para notar que una variable x est a cuanticada universalmente en un predicado P(x)
se utiliza la expresi on
xP(x)
que se lee para todo x P(x).
Para notar que una variable x est a cuanticada existencialmente en un predicado
P(x) se utiliza la expresion
xP(x)
que se lee existe x tal que P(x).
2.2.2. Semantica de los cuanticadores
Cuando en una expresi on una variable est a cuanticada universalmente, se tiene que

xP(x)

P(x
1
) P(x
2
) P(x
n
)
para todo valor x
i
del universo del discurso.
Cuando en una expresi on una variable est a cuanticada existencialmente, se tiene que

xP(x)

P(x
1
) P(x
2
) P(x
n
)
para todo valor x
i
del universo del discurso.
Ejemplo. Si se tienen los n umeros dgitos como universo de discurso y se establece como
predicado
P(x) : x es m ultiplo de 4,
se tiene que

xP(x)

= V y

xP(x)

= F; esto porque el predicado ser a cierto cuando

se instancia la variable con los valores 0, 4 y 8

P(0), P(4), P(8)

, aqu se ha tomado la
denici on de m ultiplo como
se dice que un n umero m es m ultiplo de n si existe un entero k, tal que se
satisface la igualdad m = nk.
14 CAP

ITULO 2. L

OGICA MATEM

ATICA
2.2.3. Leyes de Morgan para cuanticadores
Con respecto a los cuanticadores, se tienen la siguientes equivalencias que expresan
leyes analogas a las leyes de Morgan para la l ogica de proposiciones:
xP(x) xP(x): no existe un x que cumpla el predicado P quiere decir que para
todo x no se cumple el predicado P.
xP(x) xP(x): no todo x cumple el predicado P es decir que existe un x que no
cumple el predicado.
2.2.4. Particularizaci on universal
Si se piensa por un segundo en el argumento atribuido a Aristoteles,
Todo hombre es Mortal, Aristoteles es un hombre entonces Aristoteles es Mor-
tal
Uno de los universos de discurso podra ser
U = todas las cosas pensadas por Arist oteles.
En este caso se pueden identicar dos predicados: Mortal(x) y Humano(x).
x

Humano(x) Mortal(x)

Humano(Aristoteles)
Mortal(Aristoteles)
en este razonamiento se observa que Aristoteles realiza una particularizacion univer-
sal, esto consiste en reemplazar una variable que esta cuanticada universalmente por
un objeto del universo.

Este es un argumento valido, ya que si se asume la veraci-
dad del predicado x

Humano(x) Mortal(x)

y tambien la veracidad de la pro-

posicion Humano(Aristoteles), entonces la conclusion Mortal(Aristoteles) debe ser
verdadera, ya que si no fuese as, entonces, la proposicion

Humano(Aristoteles)
Mortal(Aristoteles)

seria falsa, y eso hara que el predicado x

Humano(x) Mortal(x)

fuese falso, lo que contradice la suposici on de su veracidad.

2.2.5. Logica de predicados en programacion
Cuando un profesor revisa un programa, este eval ua que para toda entrada dada, se
tenga una salida esperada. Si el profesor encuentra un caso para el que el programa no
muestra una salida esperada (particularizaci on universal), se concluye que el programa
no funciona pues se espera que haga lo que debe hacer para todos los posibles casos
contemplados.
La logica de predicados ayuda a establecer precondiciones en la elaboraci on de los
programas. Validaciones de este tipo incluyen vericaciones en los tipos de datos, por
ejemplo:
El calculo de permetros y areas debe funcionar solamente con n umeros positivos.
2.2. L

OGICA DE PREDICADOS 15
El valor de una temperatura requiere que la medici on se realice con magnitudes
continuas.
El tiempo promedio de vida de un animal unicelular es una cantidad continua que
representa tiempos positivos.
16 CAP

ITULO 2. L

OGICA MATEM

ATICA
2.3. Ejercicios
1. De los siguientes enunciados cu ales son proposiciones y cu ales no?, justique su
respuesta.
Tom Hanks ha ganado dos premios Oscar como mejor actor por dos a nos con-
secutivos.
Dame una cerveza.
Colombia gan o ocho medallas olmpicas en Londres 2012.
Todo n umero primo es impar.
1 + 1 = 2.
La diferencia de dos primos.
Todo n umero par mayor que 2 puede escribirse como suma de dos n umeros
primos. (Christian Goldbach, 1742).
Que hora es?.
x
n
+ y
n
= z
n
.
x + y = z + y si x = z.
2. De las siguientes secuencias de smbolos cu ales son f ormulas bien formadas y cuales
no?.

((p) r) (p q)

((p) (q)) (q r)

(p q) (q p)

(p p) (p p) (p (p))

3. Escriba la f ormula bien formada que representa cada una de la siguientes secuencias
de smbolos:
p q r s q
p q q p
p q r (q r) q
p (q r) p q (p q)
4. Hallar el signicado de cada f ormula que se especica a continuacion con respecto a
la interpretaci on denida para esta.
f = p q r s q, si (p) = V , (q) = V , (r) = V , (s) = F.
f = p q q p, si (p) = V , (q) = F.
f = p q r (q r) q, si (p) = F, (q) = V , (r) = V .
f = p (q r) p q (p q), si (p) = V , (q) = F, (r) = V .
5. Verique las equivalencias logicas de la tabla 2.2.
2.3. EJERCICIOS 17
6. Verique las implicaciones l ogicas de la tabla 2.3.
7. Verique que las formulas f
1
= p q r y f
2
= p (q r) no son logicamente
equivalentes.
8. Con los operadores logicos y es posible expresar los otros operadores logicos
(, , ) de forma equivalente, de la siguiente manera
p q (p q)
p q (p q)
p q (p q) (q p)
vericar que efectivamente los operadores l ogicos , , se pueden expresar en
terminos de los operadores l ogicos y .
9. Con los operadores logicos y es posible expresar los otros operadores logicos
(, , ). Encontrar formulas logicas que contengan s olo los operadores l ogicos
y que sean equivalentes a las f ormulas p q, p q, p q y verique que
efectivamente son l ogicamente equivalentes.
10. Adicional a los conectivos l ogicos presentados, existen otros conectivos, tal como el
conectivo o exclusivo (), el cual es muy utilizado en computacion, y tiene como
objetivo que dadas dos f ormulas f
1
y f
2
, la operaci on f
1
f
2
ser a unicamente ver-
dadera cuando se cumpla que s olo una de la f ormulas f
1
o f
2
sea verdadera. De esta
manera, la sem antica para este conectivo es la siguiente
(f
1
) (f
2
) (f
1
f
2
)
V V F
V F V
F V V
F F F
(a) Encuentre una formula que sea equivalente l ogicamente a la f ormula f
1
f
2
,
que solo utilice los operadores logicos y .
(b) Encuentre una formula que sea equivalente l ogicamente a la f ormula f
1
f
2
,
que solo utilice los operadores logicos y .
11. Adicional a los conectivos l ogicos presentados, existe otro conectivo, tal como el
conectivo barra de Sheer (|), para el cual su sem antica es la siguiente
(f
1
) (f
2
) (f
1
| f
2
)
V V F
V F V
F V V
F F V
18 CAP

ITULO 2. L

OGICA MATEM

ATICA
La principal caracterstica de este conectivo es que las formulas f, f
1
f
2
, f
1
f
2
,
f
1
f
2
, f
1
f
2
, son l ogicamente equivalentes a f ormulas que solo contienen el
conectivo |, como se observa a continuaci on
f f | f
f
1
f
2
(f
1
| f
1
) | (f
2
| f
2
)
f
1
f
2
(f
1
| f
2
) | (f
1
| f
2
)
f
1
f
2
f
1
| (f
2
| f
2
)
(a) Verique las anteriores equivalencias logicas.
(b) Encuentre una formula que s olo utilice el conectivo | y que sea l ogicamente
equivalente a la formula f
1
f
2
.
12. Adicional a los conectivos l ogicos presentados, existe otro conectivo, tal como el
conectivo echa de Peirce (), para el cual su sem antica es la siguiente
(f
1
) (f
2
) (f
1
f
2
)
V V F
V F F
F V F
F F V
La principal caracterstica de este conectivo es que las formulas f, f
1
f
2
, f
1
f
2
,
f
1
f
2
, f
1
f
2
, son l ogicamente equivalentes a f ormulas que solo contienen el
conectivo , como se observa a continuaci on
f f f
f
1
f
2
(f
1
f
2
) (f
1
f
2
)
f
1
f
2
(f
1
f
1
) (f
2
f
2
)
f
1
f
2

(f
1
f
1
) f
2

(f
1
f
1
) f
2

(a) Verique las anteriores equivalencias logicas.

(b) Encuentre una f ormula que s olo utilice el conectivo y que sea logicamente
equivalente a la formula f
1
f
2
.
13. Hallar el valor de verdad para los siguientes predicados con variables cuanticadas
y cuyo universo del discurso son los n umeros reales.
i. x(x es mayor que cada n umero natural).
ii. x(x es menor que todos los n umeros naturales positivos).
iii. x(x tiene inverso aditivo).
iv. x(x
2
> 0).
v. x(x 0).
vi. x(x tiene inverso multiplicativo).
2.3. EJERCICIOS 19
vii. x(xy = x, para todo n umero real y)
viii. x(x es divisor de cada n umero real).
ix. x(ax
2
+ bx + c = 0, para todos los n umeros reales a,b y c).
x. x(ax
3
+ bx
2
+ cx + d = 0, para todos los n umeros reales a, b, c y d).
14. Usando las leyes de Morgan para cuanticadores, negar los predicados del numeral 13.