INTRODUCCIN A LA LGICA MATEMTICA

La Lgica es la disciplina que se ocupa de los mtodos de razonamiento, suministrando reglas y tcnicas que nos permiten decidir si una
argumentacin, una deduccin, es correcta o no. Es la base de todo razonamiento matemtico y tiene numerosas aplicaciones en las ciencias de la
computacin (construccin, escritura y verificacin de programas, diseo
de circuitos de ordenador, ...), en las ciencias fsicas y naturales, en las
ciencia sociales y en la vida diaria.
1.
1.1.

Proposiciones

Definiciones.

Definicin 1.1.1. Una proposicin es una oracin declarativa que es

verdadera o falsa, pero no ambas cosas a la vez.
Ejemplo 1.1.2. Son proposiciones:
El ro Mio pasa por Ourense.
1 100 = 99
La suma de dos nmeros positivos es un nmero positivo.
No son proposiciones:
Qu hora es?
Escuchadme.
x+2 = 5
Denotaremos las proposiciones por las letras minsculas p, q, r, s, t,
u, ...
Ejemplo 1.1.3.
p : El ro Mio pasa por Ourense.
q : 1 100 = 99
Definicin 1.1.4. El valor de verdad de una proposicin es verdadero si
la proposicin es verdadera (V) y es falso si la proposicin es falsa (F).
1

INTRODUCCIN A LA LGICA MATEMTICA

Ejemplo 1.1.5. En el ejemplo anterior el valor de verdad de p es V y el

de q es F.
Definicin 1.1.6. El rea de la lgica que se ocupa de las proposiciones
y de las reglas para el clculo de sus valores de verdad se llama lgica
proposicional o clculo proposicional.
Definicin 1.1.7. Un operador lgico es un elemento verbal o escrito que
permite formar una proposicin (llamada frmula o proposicin molecular o proposicin compuesta) a partir de otras (llamadas proposiciones o
proposiciones atmicas o proposiciones simples).
Ejemplo 1.1.8. Algunos ejemplos de proposiciones compuestas son:
Pareces cansado o enfermo.
Est lloviendo y hace mucho viento.
No te escucho.
O vienes al laboratorio regularmente o tienes que realizar una prueba prctica.
Si no entiendo, pregunto.
Comer si, y slo si, tengo hambre.
1.1.9. En la Tabla 1 se describen los operadores lgicos ms importantes.

Operador lgico
Notacin
Se lee
Disyuncin u O inclusivo

o
Conjuncin

y
Negacin

no
O exclusivo

o ... o ...
Implicacin

si ..., entonces ...

Bicondicional o doble implicacin

... si, y slo si, ...

Tabla 1: operadores lgicos
Ejercicio 1.1.10. Expresa las proposiciones compuestas del ejemplo anterior utilizando proposiciones simples y conectores lgicos.

INTRODUCCIN A LA LGICA MATEMTICA

1.2.

Tablas de verdad.

Definicin 1.2.1. Una tabla de verdad de una proposicin compuesta

es una tabla que da los valores de verdad (V F) de la proposicin en
funcin de los valores de verdad (V F) de sus proposiciones componentes
atmicas.
A continuacin describimos las tablas de verdad de los operadores lgicos.
1.2.2 (Negacin () ). Si p es una proposicin, entonces p (se lee no
p) es la proposicin no se cumple p.
p p
V F
F V
Tabla 2: tabla de verdad de la negacin
Ejemplo 1.2.3.
p : Hoy es lunes, p : Hoy no es lunes.
q : 2 + 5 = 7, q : 2 + 5 6= 7
1.2.4 (Conjuncin ()). Si p y q son dos proposiciones, entonces p q
(se lee p y q) es la proposicin se cumplen p y q.
p
V
V
F
F
Tabla 3: tabla de

q pq
V
V
F
F
V
F
F
F
verdad de la conjuncin

Ejemplo 1.2.5.
p : Hoy es lunes, q : Hoy Llueve.
p q : Hoy es lunes y llueve.
La proposicin p q slo es verdadera los lunes con lluvia.

INTRODUCCIN A LA LGICA MATEMTICA

1.2.6 (Disyuncin ()). Si p y q son dos proposiciones, entonces p q

(se lee p o q) es la proposicin se cumple p o se cumple q o ambas.
p
V
V
F
F
Tabla 4: tabla de

q pq
V
V
F
V
V
V
F
F
verdad de la disyuncin

Ejemplo 1.2.7. En el ejemplo anterior:

p q : Hoy es lunes u hoy llueve.
La proposicin p q slo es falsa los das que ni son lunes ni llueve.
1.2.8 (O exclusivo ()). Si p y q son dos proposiciones, entonces p q
(se lee o p o q) es la proposicin se cumple p o se cumple q, pero no
ambas.
p q pq
V V
F
V F
V
F V
V
F F
F
Tabla 5: tabla de verdad de la disyuncin exclusiva
Ejemplo 1.2.9. En el ejemplo anterior:
p q : U hoy es lunes u hoy llueve.
La proposicin p q slo es falsa los das que ni son lunes ni llueve y
los lunes que llueve.
1.2.10 (Implicacin ()). Si p y q son dos proposiciones, entonces p q
(se lee si p, entonces q, p es suficiente para q, p implica q, q es
necesaria para p o q se deduce de p) es la proposicin si p es verdadera,
entonces q tambin. A p se le llama hiptesis, condicin suficiente o
premisa y a q conclusin, condicin necesaria, tesis o consecuencia.

INTRODUCCIN A LA LGICA MATEMTICA

p
V
V
F
F
Tabla 6: tabla de

q pq
V
V
F
F
V
V
F
V
verdad de la implicacin

Ejemplo 1.2.11.
p : Hace fro, q : Enciendo la calefaccin.
p q : Si hace fro, enciendo la calefaccin.
La proposicin p q slo es falsa si hace fro y no enciendo la calefaccin.
Definicin 1.2.12. La implicacin q p se llama recproca de p q y
la contra-recproca de p q es q p.
p q qp
V V
V
V F
V
F V
F
F F
V
Tabla 7: tabla de verdad de la implicacin recproca
p q q p
V V
V
V F
F
F V
V
F F
V
Tabla 8: tabla de verdad de la implicacin contrarecproca
En la Seccin 2 veremos que una implicacin y su contra-recproca son
equivalentes.
Ejemplo 1.2.13. En el ejemplo anterior:
q p : Si enciendo la calefaccin, entonces hace fro.

INTRODUCCIN A LA LGICA MATEMTICA

La proposicin q p slo es falsa si enciendo la calefaccin y no hace

fro.
q p : Si no enciendo la calefaccin, entonces no hace fro.
La proposicin q p slo es falsa si hace fro y no enciendo la calefaccin.
1.2.14 (Doble implicacin ()). Si p y q son dos proposiciones, entonces
p q (se lee p si, y slo si, q, p es necesario y suficiente para q o si
p, entonces q, y recprocamente) es la proposicin se cumple p si, y slo
si, se cumple q.
p q pq
V V
V
V F
F
F V
F
F F
V
Tabla 9: tabla de verdad de la doble implicacin
Ejemplo 1.2.15.
p : Supero la prueba, q : Estudio.
p q : Supero la prueba si, y slo si, estudio.
Observacin 1.2.16. Combinando operadores lgicos, parntesis y proposiciones moleculares es posible formar otras proposiciones compuestas
y determinar sus valores de verdad utilizando las tablas de verdad.
Ejemplo 1.2.17. La tabla de verdad de la proposicin (p q)(q p)
es:
p
V
V
F
F
Tabla

q p q q p (p q) (q p)
V
V
V
V
F
F
V
F
V
V
F
F
F
V
V
V
10: tabla de verdad de (p q) (q p)

INTRODUCCIN A LA LGICA MATEMTICA

Ejercicio 1.2.18. Construye las tablas de verdad para cada una de estas
frmulas:

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

1.3.

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

Tautologas, contradicciones y contingencias.

Definicin 1.3.1. Una proposicin molecular que siempre es verdadera

independientemente de los valores de verdad de las frmulas atmicas que
la componen es una tautologa; si siempres es falsa, se llama contradiccin.
Y si no es ni tautologa ni contradiccin se llama contingencia.
La tabla de verdad de una tautologa nicamente tiene valores verdaderos en su ltima columna, la de una contradiccin valores falsos, y la
de una contingencia valores falsos y verdaderos.
Ejemplo 1.3.2. Se verifica que:
p p es una tautologa.
p p p p
V F
V
F V
V
Tabla 11: tabla de verdad de p p

p p es una contradiccin.
p p p p
V F
F
F V
F
Tabla 12: tabla de verdad de p p

p q es una contingencia (vase la Tabla 6).

1.3.3 (Otras tautologas). Las siguientes implicaciones son tautologas y

se usarn en la demostracin de resultados en matemticas y ciencias de
la computacin (vase la Seccin 4).

INTRODUCCIN A LA LGICA MATEMTICA

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

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

Ejercicio 1.3.4. Construye las tablas de verdad de las anteriores tautologas.

2.
2.1.

Equivalencias lgicas

Definiciones.

Definicin 2.1.1. Dos frmulas p y q son lgicamente equivalentes si

p q es una tautologa. Es decir, p y q son simultneamente verdaderas
o falsas. Se denota p q.
Ejemplo 2.1.2. Las frmulas p q y p q son lgicamente equivalentes, i. e., p q p q.
p q p q p p q
V V
V
F
V
V F
F
F
F
F V
V
V
V
F F
V
V
V
Tabla 13: tabla de verdad de p q y p q
2.2.

Equivalencias lgicas relativas a , y .

Propiedades 2.2.1. Sean p, q y r proposiciones. Se tienen las siguientes

equivalencas lgicas:
Identidad: p V p, p F p
Dominacin: p V V , p F F
Idempotentes: p p p, p p p
Doble negacin: (p) p
Conmutativas: p q q p, p q q p
Absorcin: p (p q) p, p (p q) p
Asociativas: (p q) r p (q r), (p q) r p (q r)
Distributivas: p(qr) (pq)(pr), p(qr) (pq)(pr)
De Morgan: (p q) p q, (p q) p q

INTRODUCCIN A LA LGICA MATEMTICA

Ejercicio 2.2.2. Demuestra las equivalencias anteriores.

Ejemplo 2.2.3. Se verifica que:
(p (p q)) p q
En efecto:
(p (p q)) p (p q))
p ((p) q)
p (p q)
(p p) (p q)
F (p q)
(p q)
2.3.

Equivalencias lgicas relativas a .

Propiedades 2.3.1. Si p, q y r son proposiciones, se verifican las siguientes equivalencias lgicas:

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

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

Ejercicio 2.3.2. Demuestra las equivalencias anteriores.

2.4.

Equivalencias lgicas relativas a .

Propiedades 2.4.1. Sean p y q proposiciones.

p q (p q) (q p)
p q p q
p q (p q) (p q)
(p q) p q
(p q) (p q) (p q)
Ejercicio 2.4.2. Demuestra las equivalencias anteriores.
3.

Predicados y cuantificadores

La afirmacin x + 2 = 5 no es una proposicin, ya que el hecho de

que sea verdadera o falsa depende del valor de x. Sin embargo, muchas
afirmaciones en matemticas y en computacin son de este tipo.

10

INTRODUCCIN A LA LGICA MATEMTICA

3.1.

Predicados.

Definicin 3.1.1. Una sentencia P que alude a una o varias variables

X1 , X2 , . . . , Xn se llama predicado o funcin proposicional y se denota
P (X1 , X2 , . . . , Xn ).
Ejemplo 3.1.2. Son predicados:

P (X) : X > 3, donde X representa a cualquier nmero real.

Q(X, Y ) : X + Y = 5, donde X e Y representan a dos nmeros
reales cualesquiera.

Definicin 3.1.3. Todo predicado P (X) se puede considerar como una

aplicacin P que asocia una proposicin P (x) a cada elemento x de un
cierto conjunto llamado universo del predicado o dominio del predicado.
Ejemplo 3.1.4. En el ejemplo anterior:

El universo de P es el conjunto de los nmeros reales R.

El universo de Q es el conjunto R2 = R R.

Observacin 3.1.5. El valor de verdad de un predicado puede variar

ya que depende de la seleccin de las variables X1 , X2 , . . . , Xn . Cuando
las variables de una funcin proposicional tomen valores concretos el
resultado ser una proposicin verdadera o falsa.
Ejemplo 3.1.6. En el ejemplo anterior:

P (4) es verdadera y P (2) es falsa.

Q(0, 5) es verdadera, Q(1, 6) es verdadera y Q(0, 21 ) es falsa.

A partir de ahora y, para simplificar, consideraremos predicados P (X)

que dependen nicamente de una variable X.
3.1.7 (Operadores lgicos y predicados). Al igual que las proposiciones,
los predicados que se apoyan en un mismo universo pueden combinarse
mediante operadores lgicos. Por ejemplo:

El predicado P (X) que asocia a cada elemento x del dominio de

P la negacin de la proposicin P (x), i. e., P (x).
El predicado (P Q)(X) que asocia a cada elemento x del dominio
de P y de Q la conjuncin de las proposiciones P (x) y Q(x), i. e.,
P (x) Q(x).

INTRODUCCIN A LA LGICA MATEMTICA

11

El predicado (P Q)(X) que asocia a cada elemento x del dominio

de P y de Q la disyuncin de las proposiciones P (x) y Q(x), i. e.,
P (x) Q(x).

Ejemplo 3.1.8. Sean P y Q los siguientes predicados con dominio el

conjunto de los nmeros naturales:
P (X) : X es un nmero par,
Q(X) : X es el cuadrado de un nmero natural.
Entonces:
P (X) : X no es un nmero par.
(P Q)(X) : X es par o es el cuadrado de un nmero natural.
(P Q)(X) : X es par y es el cuadrado de un nmero natural.
Ejercicio 3.1.9. Sean P y Q los siguientes predicados con universo el
conjunto de los gallegos:
P (X) : X vive en Ourense,
Q(X) : X trabaja en Ourense.
Expresa en lenguaje natural:
P (X)
(P Q)(X)
(P Q)(X)
3.2. Cuantificadores. Cuando a todas las variables de una proposicin proposicional se le han asignado valores, la sentencia resultante se
convierte en una proposicin con un determinado valor de verdad (V
F). Pero hay otra forma importante de conseguir una proposicin a partir
de un predicado: la cuantificacin.
Definicin 3.2.1. Sea P (X) un predicado en la variable X. La cuantificacin universal de P (X) es la proposicin P (x) es verdadera para
todo los valores x del dominio.
Se denota x, P (x) y se lee para todo x, P (x), para cada x, P (x) o
para cualquier x, P (x). Y para especificar el universo U del predicado
escribimos x en U, P (x) ( x U, P (x)).
El smbolo se llama cuantificador universal.
Ejemplo 3.2.2. En el Ejemplo 3.1.8:

12

INTRODUCCIN A LA LGICA MATEMTICA

x N, P (x): todo nmero natural es par.

x N, Q(x): todo nmero natural es el cuadrado de un nmero
natural.

3.2.3 (Valores de verdad de la cuantificacin universal ). Para mostrar

que una proposicin de la forma x, P (x) es falsa, slo necesitamos encontrar un valor x del dominio para el cual P (x) sea falsa. Este valor
x se llama contraejemplo de la sentencia x, P (x). Y para mostrar que
x, P (x) es verdadera hay que probar que P (x) es verdadera para todos
los valores x en el dominio.
Ejemplo 3.2.4. En el Ejemplo 3.1.8:
x N, P (x) es falsa ya que el nmero 3 es natural y no es par.
x N, Q(x) es falsa ya que el nmero 3 es natural y no es el
cuadrado de un nmero natural.
Ejercicio 3.2.5. Determina el valor de verdad de:
x R, x < 100 x 1 < 100
2
x R, x 0 x x
Definicin 3.2.6. La cuantificacin existencial de P (X) es la proposicin existe un elemento x en el dominio tal que P (x) es verdadera.
Se denota x, P (x) y se lee hay un x tal que P (x), hay al menos un
x tal que P (x) o para algn x, P (x). Y para especificar el universo U
del predicado escribimos x en U, P (x) ( x U, P (x)).
El smbolo se llama cuantificador existencial.
Ejemplo 3.2.7. En el Ejemplo 3.1.8:
x N, P (x): existe (al menos) un nmero natural que es par.
x N, Q(x): existe (al menos) un nmero natural que es el
cuadrado de un nmero natural.
3.2.8 (Valores de verdad de la cuantificacin existencial ). Para mostrar
que una proposicin de la forma x, P (x) es falsa, hay que mostrar que
P (x) es falsa para todos los valores x del dominio; y para mostrar que es
verdadera hay que encontrar un valor x en el dominio para el cual P (x)
sea verdadera.
Ejemplo 3.2.9. En el Ejemplo 3.1.8:
x N, P (x): es verdadera, ya que el nmero 2 es natural y par.

INTRODUCCIN A LA LGICA MATEMTICA

13

x N, Q(x): es verdadera, ya que el nmero 4 es natural y 4 = 22 .

Ejercicio 3.2.10. Determina el valor de verdad de:

n N, n2 < n
x R, x21+1 > 1

Observacin 3.2.11. Cuando un predicado depende de varias variables

se pueden utilizar cuantificadores (universal y/o existencial) para cada
una de las variables (cuantificadores anidados). Si P (X, Y ) es un predicado se pueden presentar las siguientes situaciones:

x, y, P (x, y): para todo par x, y P (x, y) es verdadera.

x, y, P (x, y): existe un par x, y para el cual P (x, y) es verdadera.
x, y, P (x, y): para todo x hay un y para el cual P (x, y) es
verdadera.
x, y, P (x, y): existe un x para el cual P (x, y) es verdadera para
todo y.

Para cada una de las variables se puede especificar el universo.

Ejemplo 3.2.12. Supongamos que el dominio de las variables reales x
e y consiste en todos los nmeros reales.

x R, y R, x + y = y + x: la suma de dos nmeros reales es

conmutativa.
x R, y R, x + y = y: existencia del elemento neutro para
la suma (x es el 0).
x R, y R, x + y = y + x = 0: existencia del elemento
opuesto para la suma (y es x).
x R, y R, x y = xy = 1

Ejercicio 3.2.13. Expresa la proposicin existe (al menos) un nmero

natural que es el cuadrado de un nmero natural utilizando dos variables.
Propiedad 3.2.14 (Conmutatividad de los cuantificadores anidados).
Si P (x, y) es un predicado, entonces:

x, y, P (x, y) y, x, P (x, y) (x, y), P (x, y)

x, y, P (x, y) y, x, P (x, y) (x, y), P (x, y)

14

INTRODUCCIN A LA LGICA MATEMTICA

Observacin 3.2.15. Cuidado! En general NO se verifica que:

y, x, P (x, y) x, y, P (x, y)
Ejemplo 3.2.16. Sea P (X, Y ) la sentencia X + Y = 0, con universo
el conjunto de los nmeros reales. Estudia el valor de verdad de:
y R, x R, P (x, y)
Hay un nmero real y tal que para todo nmero real x se verifica
que x + y = 0. Esta sentencia es falsa.
x R, y R, P (x, y)
Para todo nmero real x existe un nmero real y tal que x + y = 0.
Esta sentencia es verdadera (y sera x).
Ejercicio 3.2.17. Determina el valor de verdad de las siguientes proposiciones. El universo de las variables x e y es R.

3.3.

x, y, x2 > y + 1
x, y, x2 > y + 1

x, y, x2 > y + 1
x, y, x2 > y + 1

lgebra de predicados.

Definicin 3.3.1. El lgebra de predicados se ocupa de las reglas que

relacionan los cuantificadores entre s y con los conectores lgicos.
Propiedades 3.3.2 (Negacin). Sea P (x) un predicado. Entonces:
( x, P (x)) x, P (x)
( x, P (x)) x, P (x)
Ejemplo 3.3.3. Sea P (X) el predicado X ha cursado una asignatura
de francs con universo todos los alumnos de 1o de la E.S.E.I.
( x, P (x)): hay al menos un alumno que no ha cursado una
asignatura de francs.
( x, P (x)): ningn alumno ha cursado una asignatura de francs.
Ejercicio 3.3.4. Niega las siguientes proposiciones:
1
x R, 2
<1
x +1
2
x R, x < x
Propiedades 3.3.5 (Disyuncin). Sean P (x) y Q(x) dos predicados.
Entonces:
x, P (x) Q(x) ( x, P (x)) ( x, Q(x))

INTRODUCCIN A LA LGICA MATEMTICA

15

Observacin 3.3.6. Cuidado! En general NO se verifica que:

x, P (x) Q(x) ( x, P (x)) ( x, Q(x))
Ejemplo 3.3.7. Consideremos los siguientes predicados con universo el
alfabeto:
P (X) : X es una vocal,
Q(X) : X es una consonante.

x, P (x) Q(x): toda letra es vocal o consonante.

( x, P (x)) ( x, Q(x)): todas las letras son vocales o todas las
letras son consonantes.

Propiedades 3.3.8 (Conjuncin). Sean P (x) y Q(x) dos predicados.

Entonces:
x, P (x) Q(x) ( x, P (x)) ( x, Q(x))
Observacin 3.3.9. Cuidado! En general NO se verifica que:
x, P (x) Q(x) ( x, P (x)) ( x, Q(x))
Ejemplo 3.3.10. En el Ejemplo 3.3.7:
x, P (x) Q(x): Existe una letra que es vocal y consonante.
( x, P (x))( x, Q(x)): Existe una letra que es vocal y existe una
letra que es consonante.
Definicin 3.3.11. La unicidad de la cuantificacin existencial de P (X)
es la proposicin existe un nico elemento x en el dominio tal que P (x)
es verdadera.
Se denota x, P (x) o ! x, P (x) y se lee hay un nico x tal que
P (x).
Se verifica que:
x, P (x) ( x, P (x)) [ y, z, (P (y) P (z)) (y = z)]
Ejemplo 3.3.12. Sea P (X) = X + X = 0 con dominio el conjunto de
los nmeros reales. Entonces:
x R, P (x)
se expresa en lenguaje natural: existe un nico nmero real x tal que
x + x = 0. La sentencia es verdadera y x sera el nmero 0.

16

INTRODUCCIN A LA LGICA MATEMTICA

Propiedades 3.3.13 (Implicaciones). Sean P (x) y Q(x) dos predicados.

Entonces:
x, (P (x) Q(x)) ( x, P (x)) ( x, Q(x))
( x, P (x)) ( x, Q(x)) x, (P (x) Q(x))
Propiedades 3.3.14 (Tautologas). Sean P (x) y Q(x) dos predicados.
Son tautologas:
(( x, P (x)) ( x, Q(x))) ( x, P (x) Q(x))
( x, P (x) Q(x)) (( x, P (x)) ( x, Q(x)))
Ejercicio 3.3.15. Sean
P (x) : x es un nmero primo,
Q(x) : x es un nmero par,
dos predicados en el dominio de los nmeros naturales. Expresa en lenguaje natural las siguientes expresiones y estudia su valor de verdad:

x, P (x) Q(x)
x, P (x) Q(x)
( x, P (x)) ( x, Q(x))
x, P (x) Q(x)
4.

4.1.

x, P (x) Q(x)
( x, P (x)) ( x, Q(x))
x, P (x)

Razonamiento deductivo

Reglas de inferencia.

Definicin 4.1.1. Los argumentos basados en tautologas son mtodos

de razonamiento universalmente correctos. Son las reglas de inferencia.
Las reglas de inferencia se basan en tautologas de la forma
Hiptesis 1 Hiptesis 2 . . . Conclusin
Usaremos la siguiente notacin para las reglas de inferencia:
Hiptesis 1
Hiptesis 2
...
Conclusin
El smbolo se lee por lo tanto, luego, etc.

INTRODUCCIN A LA LGICA MATEMTICA

17

Las reglas de inferencia ms frecuentes se indican en la Tabla 14.

Regla
p
pq
pq
p
p
q
pq
p
pq
q
q
pq
p
pq
qr
pr
pq
p
q
pq
p r
qr
pq
(p q) (q p)
pq
qp
pq
pq
q p

Tautologa

Nombre

p (p q)

adicin

(p q) p

simplificacin

((p) (q)) p q

conjuncin

(p (p q)) q

modus ponens

(q (p q)) p

modus tollens

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

silogismo hipottico

((p q) (p)) q

silogismo disyuntivo

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

ley de resolucin

(p q) ((p q) (q p))
((p q) (q p)) (p q)
(p q) (q p)
Tabla 14: Reglas de inferencia

Ejemplo 4.1.2. El argumento

Si hace fro, enciendo la calefaccin. Hace fro, luego enciendo la calefaccin.
se basa en la regla de inferencia modus ponens:
p : Hace fro,
q : Enciendo la calefaccin.

18

INTRODUCCIN A LA LGICA MATEMTICA

pq
p
q
Ejercicio 4.1.3. Determina en qu regla de inferencia se basan los siguientes argumentos:
Hace fro. Por tanto, hace fro o llueve.
Hace fro y llueve. Por tanto, llueve.
Hace fro. Llueve. Por tanto, hace fro y llueve.
Si hace fro, enciendo la calefaccin. Si enciendo la calefaccin,
el consumo de electricidad aumenta. Si hace fro, el consumo de
electricidad aumenta.
Si hace fro, enciendo la calefaccin. No enciendo la calefaccin,
luego no hace fro.
Llueve o hace fro. No hace fro. Por lo tanto, llueve.
Voy al cine o voy a la piscina. No voy al cine o voy a la playa. Por
lo tanto, voy a la piscina o voy a la playa
Bebo si, y slo si, tengo sed. Por lo tanto, si bebo, tengo sed y si
tengo sed, bebo.
Si bebo, tengo sed y si tengo sed, bebo. Por lo tanto, bebo si, y
slo si, tengo sed.
Propiedades 4.1.4. Para P (X) un predicado y c un elemento en el universo de P , se tienen las reglas de inferencia para sentencias cuantificadas
indicadas en la Tabla 15.
Estas reglas de inferencia se usan con frecuencia en los argumentos
matemticos, muchas veces sin mencionarlas explcitamente.
Regla
x P (x)
P (c)
P (c), c arbitrario
x P (x)
x P (x)
P (c), para algn elemento c
P (c), para algn elemento c
x P (x)

Nombre
particularizacin universal
generalizacin universal
particularizacin existencial
generalizacin existencial

INTRODUCCIN A LA LGICA MATEMTICA

19

Tabla 15: Reglas de inferencia para sentencias cuantificadas

Ejemplo 4.1.5. El argumento
Todos los alumnos de Fundamentos Matemticos para la
Informtica (FMI) estn matriculados en Ingeniera Informtica. Mara es una alumna de FMI. Entonces Mara est
matriculada en Ingeniera Informtica.
se basa en la regla de inferencia particularizacin universal :
P (x) : x est matriculado en Ingeniera Informtica,
c = Mara.
x P (x)
P (c)
Ejercicio 4.1.6. Determina en qu regla de inferencia se basan los siguientes argumentos:
Un estudiante de esta clase no ha ledo el libro. Luego, alguien no
ha ledo el libro.
Todos los estudiantes de la clase entienden lgica. Xavier es un
estudiante de la clase. Por tanto, Xavier entiende lgica.
Todos los estudiantes de Ingeniera Informtica cursan FMI. Mara
cursa FMI. Por tanto, Mara es estudiante de Ingeniera Informtica.
4.2.

Razonamientos vlidos y falacias.

Definicin 4.2.1. Un argumento P1 P2 . . . Pn Q es vlido si

siempre que P1 P2 . . . Pn sean todas verdaderas, entonces Q tambin
sea verdadera.
Observa que no decimos que la conclusin Q sea verdadera; sino que si
se garantizan las hiptesis, entonces se tiene garantizada la conclusin.
Un argumento es vlido debido a su foma, no a su contenido.
Para evitar razonamientos incorrectos, se debe mostrar en cada paso
cmo se llega de un razonamiento a otro, razonando explcitamente cada
paso que se ha dado.
Ejemplo 4.2.2. El razonamiento

20

INTRODUCCIN A LA LGICA MATEMTICA

Fumar es saludable. Si fumar es saludable, entonces los cigarrillos son recetados por los mdicos. Entonces los cigarrillos
son recetados por los mdicos.
es vlido, ya que se basa en la regla de inferencia modus ponens:
p : Fumar es saludable,
q : Los cigarrillos son recetados por los mdicos.
p
pq
q
Ejercicio 4.2.3. Determina si los siguientes argumentos son vlidos:
Si bajan los impuestos, entonces se elevan los ingresos. Los ingresos
se elevan. Entonces bajan los impuestos.
Si 2 = 3, entonces pilot un avin. 2 = 3. Entonces pilot un avin.
Si fumar es saludable, entonces los cigarrillos son recetados por
los mdicos. Fumar no es saludable. Entonces los cigarrillos no son
recetados por los mdicos.
Si 2 = 3, entonces pilot un avin. Pilot un avin. Entonces 2 = 3.
Definicin 4.2.4. Las falacias son una forma de razonamiento incorrecto basadas en contingencias.
Algunas falacias frecuentes son:
Falacia de afirmar la conclusin: [(p q) q] p
Falacia de negar la hiptesis: [(p q) p] q
Ejemplo 4.2.5. En el Ejercicio 4.2.3:
El ltimo razonamiento es la falacia de afirmar la conclusin.
El tercer razonamiento es la falacia de negar la hiptesis.
Ejercicio 4.2.6. Estudia la validez del siguiente argumento: Condicin
suficiente para que yo apruebe es que yo sepa o que el profesor no sea
justo. Yo no se y el profesor no es justo. Por lo tanto, suspendo.
5.

Mtodos de demostracin

5.1. Definiciones. Un sistema matemtico consta de axiomas, definiciones y trminos no definidos. Se suponen verdaderos los axiomas; las
definiciones se utilizan para crear conceptos nuevos en trminos de los ya

INTRODUCCIN A LA LGICA MATEMTICA

21

existentes; algunos trminos no se definen de forma explcita, sino que

se definen de forma implcita mediante axiomas. Dentro de un sistema
matemtico es posible deducir teoremas.
Definicin 5.1.1. Un teorema es una sentencia que se puede verificar
que es verdadera (i.e. su valor de verdad es verdadero). El enunciado de
un teorema puede ser de la forma:
p q (recordemos que p es la hiptesis y q la conclusin)
p q
x P (x)
x P (x)
Ejemplo 5.1.2. Algunos ejemplos de teoremas son:
Si 3n + 2 es impar, entonces n es impar.
2
El entero n impar si, y slo si, n es un entero impar.
y
Existen dos nmeros irracionales x e y tales que x es racional.
n
n con n un nmero natural positivo, se verifica que n < 2 .
Definicin 5.1.3. Se distinguen los siguientes tipos de teoremas:
Una proposicin es un teorema de menor importancia en el discurso. Cuando tenemos varios resultados y queremos resaltar la
importancia de uno de elllos, se llama teorema y los otros proposiciones.
Un lema es un teorema sencillo utilizado en la demostracin de
otros teoremas.
Un corolario es una proposicin que se puede establecer directamente a partir de un teorema que ya ha sido demostrado.
Definicin 5.1.4. Una demostracin de un teorema es un argumento
formado por una secuencia de sentencias, mediante el cual se prueba que
el teorema es verdadero. La demostracin de un teorema debe comenzar
con las hiptesis y, mediante axiomas o postulados y teoremas demostrados previamente, se derivan sentencias nuevas, justificando cada paso
por alguna regla de inferencia, hasta llegar a la conclusin.
Las reglas de inferencia se usan para deducir conclusiones a partir de
otras afirmaciones y son las que enlazan los pasos de una demostracin.
5.2. Mtodos de demostracin. Los mtodos de demostracin son
importantes no slo porque se usan para demostrar teoremas matemticos, sino por sus muchas aplicaciones en ciencias de la computacin

22

INTRODUCCIN A LA LGICA MATEMTICA

(verificacin de que un programa de ordenador es correcto, seguridad de

los sistemas operativos, inferencias en inteligencia artificial, consistencia
de las especificaciones de un sistema, ...).
5.2.1. Consideremos un teorema de la forma Si se cumple p, entonces
se cumple q:
Teorema : p q

(puede ocurrir que p p1 p2 . . . pn )

Entre las tcnicas de demostracin de este tipo de teoremas destacamos:

Demostracin
Demostracin
Demostracin
Demostracin
Demostracin

directa.
indirecta: paso al contra-recproco.
por contradiccin: reduccin al absurdo.
vacua.
trivial.

A continuacin se explican cada una de estas tcnicas.

5.2.2 (Demostracin directa). Suponemos que p es verdadera y se utilizan las reglas de inferencia, axiomas y teoremas ya demostrados para
demostrar que q tambin es verdadera.
Ejemplo 5.2.3. Demuestra la proposicin: Si n es un entero impar,
entonces n2 es un entero impar.
Demostracin.
n es impar n = 2k + 1, para algn nmero entero k
n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2 (2k 2 + 2k) + 1 n2 es impar.
Observa que un corolario de este resultado sera: Si n es un entero tal
que n2 es par, entonces n es par.
5.2.4 (Demostracin indirecta: paso al contra-recproco). Como (p
q) (q p), el teorema se puede demostrar viendo que el contrarecproco es verdadero. A su vez, este se puede probar directamente o
mediante otra tcnica.
Ejemplo 5.2.5. Demuestra la proposicin: Si 3n+2 es un entero impar,
entonces n es un entero impar.

INTRODUCCIN A LA LGICA MATEMTICA

23

Demostracin. Por paso al contra-recproco veamos que si n es un

entero par, entonces 3n + 2 es un entero par.
n es par n = 2k, para algn nmero entero k
3n + 2 = 3(2k) + 2 = 6k + 2 = 2(3k + 1) 3n + 2 es par.
5.2.6 (Demostracin por contradiccin: reduccin al absurdo). Se basa
en la tautologa p q [(p q) F ], i.e. p q (p q) F .
Para probar que p q supongamos que q es verdadera (i.e. q es falsa)
y que p es verdadera. Basta ver que p q implica una contradiccin (F).
En efecto, si p q implica una contradiccin (i.e. p q F es
verdadera), entonces o p es falsa o q es falsa. Con lo cual, como p es
verdadera, q es falsa y, por lo tanto, q es verdadera.
Ejemplo 5.2.7.

T eorema : 2 es irracional.

Demostracin. Por reduccin al absurdo, supongamos que 2 es racional. Entonces:

p
2 = , con p y q 6= 0 nmeros enteros sin factores comunes
q
p
p2
2 = ( )2 = 2 p2 = 2q 2 p2 es par p es par
q
q
p = 2n, con n un nmero entero 2 2 4n2 = 2q 2 2n2 = q 2
p =2q

q es par q es par
contradiccin, ya que p y q no tienen factores comunes.
5.2.8 (Demostracin vacua). Supongamos que p es falsa, entonces p q
es verdadera.
Ejemplo 5.2.9. Sea n un nmero entero. Si P (n) es la proposicin Si
n > 1 es impar, entonces n2 > n, demuestra que la proposicin P (0) es
verdadera.
Demostracin. La proposicin P (0) es la implicacin Si 0 > 1 es impar,
entonces 02 > 0. Como la hiptesis es falsa, la implicacin es automticamente verdadera.
5.2.10 (Demostracin trivial ). Supongamos que q es verdadera, entonces
p q es verdadera.

24

INTRODUCCIN A LA LGICA MATEMTICA

Ejemplo 5.2.11. Sea n un nmero entero. Si P (n) es la proposicin Si a

y b son enteros positivos, entonces an bn , demuestra que la proposicin
P (0) es verdadera.
Demostracin. La proposicin P (0) es la implicacin Si a y b son
enteros positivos, entonces a0 b0 . Como a0 = b0 = 1, la conclusin de
P (0) es verdadera (y no se ha usado la hiptesis).
Ejercicio 5.2.12. Demuestra que si n es un entero y n3 + 5 es impar,
entonces n es par usando:
Una demostracin directa.
Una demostracin indirecta.
Una demostracin por reduccin al absurdo.
5.2.13. Supongamos ahora que p p1 p2 . . . pn , i.e., el teorema es
de la forma
Teorema : p1 p2 . . . pn q
Para demostrar este tipo de teoremas se usa la tcnica de demostracin
por casos.
5.2.14 (Demostracin por casos). La tcncia se basa en la tautologa
[(p1 p2 . . . pn ) q] [(p1 q) (p2 q) . . . (pn q)]
y, por lo tanto, consiste en probar que p1 q, p2 q, . . . y pn q.
Ejemplo 5.2.15. Demuestra que si x e y son nmeros reales, entonces
|xy| = |x||y|.
Demostracin.
Si x e y son positivos, xy es positivo y, por lo tanto, |xy| = xy =
|x||y|, ya que x = |x| e y = |y|.
Si x e y son negativos, xy es positivo y, por lo tanto, |xy| = xy =
(x) (y) = |x||y|, ya que x = |x| y y = |y|.
Si x es positivo e y es negativo, xy es negativo y, por lo tanto,
|xy| = xy = x (y) = |x||y|, ya que x = |x| y y = |y|.
Si x es negativo e y es positivo, xy es negativo y, por lo tanto,
|xy| = xy = (x) y = |x||y|, ya que x = |x| e y = |y|.
5.2.16. Consideremos un teorema de la forma
Teorema : p q

INTRODUCCIN A LA LGICA MATEMTICA

25

Para probar este tipo de teorema se utiliza la tcnica de demostracin

por equivalencia.
5.2.17 (Demostracin por equivalencia). El mtodo se fundamenta en la
tautologa
(p q) [(p q) (q p)]
y, por lo tanto, se reduce a probar que p q y q p.
Ejemplo 5.2.18. Demuestra que El entero n impar si, y slo si, n2 es
un entero impar.
Demostracin.
Esta implicacin se ha probado en un ejemplo anterior.
Por paso al contra-recproco, probemos que si n es un entero par
entonces n2 es par.
n par n = 2k para algn entero k
n2 = (2k)2 = 4k 2 n2 es par.
5.2.19. Supongamos que el teorema es de la forma
Teorema : p1 p2 . . . pn
Para demostrarlo se usa el mtodo siguiente.
5.2.20 (Demostracin de varias equivalencias). La tcnica se basa en la
tautologa
[p1 p2 . . . pn ] [(p1 p2 ) (p2 p3 ) . . . (pn p1 )]
y, por lo tanto, la demostracin consiste en mostrar que p1 p2 , p2
p3 , . . . y pn p1 .
Ejemplo 5.2.21. Muestra que las siguientes sentencias son equivalentes:
1. n es un entero par.
2. n 1 es un entero impar.
3. n2 es un entero par.
Demostracin.
(1) (2)
n par n = 2k para algn entero k
n 1 = 2k 1 = 2(k 1) + 1 n 1 impar.

26

INTRODUCCIN A LA LGICA MATEMTICA

(2) (3)
n 1 impar n 1 = 2k + 1 para algn entero k
n = 2k + 2 = 2(k + 1) n2 = [2(k + 1)]2 = 4(k + 1)2
n2 par.
(3) (1) Por paso al contra-recproco, basta probar que si n es impar entonces n2 es impar. Y esta implicacin ya ha sido probada en un
ejemplo anterior.
Ejercicio 5.2.22. Demuestra que estas tres sentencias son equivalentes,
donde a y b son nmeros reales:
a es menor que b.
El valor medio de a y b es mayor que a.
El valor medio de a y b es menor que b.
5.2.23. Supongamos que el teorema es de la forma
Teorema : x, P(x)
Se distinguen dos tcnicas de demostracin de existencia: la constructiva y la no constructiva.
5.2.24 (Demostracin de existencia).
Demostracin constructiva: encontrar un elemento a tal que P (a)
es verdadera.
Demostracin no constructiva: por ejemplo, por reduccin al absurdo, i.e., mostrando que ( x, P (x)) implica una contradiccin.
Ejemplo 5.2.25. Demuestra que: Hay un entero positivo que se puede
poner de dos formas diferentes como suma de cubos de enteros positivos.
Demostracin. Tras muchos clculos se encuentra que 1729 = 103 +
3
9 = 123 + 13 .
Ejemplo 5.2.26. Demuestra que: Existen dos nmeros irracionales x e
y tales que xy es racional.

Demostracin.
Por
un
ejemplo
anterior
sabemos
que
2 es irracional.
2
2
Si 2 es racional,
ya estara. En caso contrario, 2 es irracional y

2
tomando x = 2 e y = 2 resulta que:

2 2
y
x = ( 2 ) = ( 2) 2 2 = ( 2)2 = 2

INTRODUCCIN A LA LGICA MATEMTICA

27

5.2.27. Consideremos un teorema de la forma

Teorema : x, P(x)
5.2.28 (Demostracin de unicidad ). Para demostrar este teorema debemos realizar dos pasos:
1. Demostrar la existencia (ver 5.2.24).
2. Demostrar la unicidad: para ello hay que mostrar que si y 6= x
entonces no se cumple P (y). Es decir:
( x, P (x)) ( y (y 6= x P (y)))
Ejemplo 5.2.29. Muestra que Todo nmero entero tiene un nico elemento opuesto.
Demostracin.
Existencia: si p es un nmero entero p es su opuesto ya que p+(p) =
0.
Unicidad: supongamos que existe un nmero entero r 6= p tal que
p + r = 0. Entonces:
p + r = 0 = p + (p) p + r p = p r = p
5.2.30 (Contraejemplos). Si creemos que una sentencia de la forma
x, P (x) es falsa, o bien no conseguimos encontrar una demostracin,
buscamos un contraejemplo.
Ejemplo 5.2.31. Muestra que la siguiente afirmacin es falsa: Todo
entero positivo es la suma de los cuadrados de tres enteros.
El nmero 7 es un contraejemplo ya que no se puede escribir como
suma de los cuadrados de tres enteros. En efecto, slo podran considerarse los cuadrados que no excedan de 7, que son 0, 1 y 4. Y utilizando
estos tres cuadrados nunca se obtiene el 7.
5.2.32. Supongamos un teorema de la forma
Teorema : n, P(n)
donde el dominio es el conjunto de los nmeros enteros n tales que n n0
para un nmero entero n0 fijo.
Para demostrar este tipo de enunciados se usa la induccin matemtica.

28

INTRODUCCIN A LA LGICA MATEMTICA

5.2.33 (Induccin matemtica). La induccin matemtica se basa en la

tautologa:
[P (n0 ) ( k, P (k) P (k + 1))] n, P (n)
Por lo tanto, en toda demostraccin por induccin se deben realizar los
siguientes pasos:
Paso base: Se demuestra que P (n0 ) es verdadera.
Paso de induccin: Se demuestra que P (k) P (k + 1) es una
tautologa, k n0 . Es decir, hay que probar que si P (k) es
verdadera, entonces P (k + 1) tambin.
Ejemplo 5.2.34. Demuestra que: n con n un nmero natural positivo,
se verifica que n < 2n .
Paso base: n0 = 1. La afirmacin 1 < 2 es trivial.
Paso de induccin: supongamos que la afirmacin es cierta para
k > 1 y probmosla para k + 1.
k < 2k 2k < 2 2k = 2k+1
Por otra parte:
1 < k k + 1 < k + k = 2k
Combinando las dos desigualdades se obtiene que:
k + 1 < 2k < 2k+1 k + 1 < 2k+1
Ejercicio 5.2.35. Usa la induccin matemtica para demostrar que:
3(5n+1 1)
,
3 + 3 5 + 3 52 + . . . + 3 5n =
4
para todo entero no negativo n.
En el Captulo ?? se estudia en detalle la induccin matemtica en su
versin fuerte, as como su validez como tcnica de demostracin.
6.

Ejercicios

6.1. Proposiciones.
1. Cules de estas frases son proposiciones? Cul es el valor de
verdad de aquellas que son proposiciones?
Lugo es la capital de Galicia.
Madrid es la capital de Espaa.

INTRODUCCIN A LA LGICA MATEMTICA

2+3=5
5 + 7 = 10
x + 2 = 11
Responde a esta pregunta.
x + y = y + x para todo par de nmeros reales x e y.
Cul es la negacin de cada uno de estos enunciados?
Hoy es jueves.
No hay polucin en Ourense.
2+1 = 3
El verano de Ourense es clido y soleado.
Sean p y q los enunciados: p: Compr un billete de lotera, q: gan
el bote de un milln de euros. Expresa cada una de las siguientes
frmulas en lenguaje natural: p, p q, p q, p q, p q, p
q, p q, p (p q).
Sean p y q los enunciados: p: Conduces a ms de 100 km por
hora, q: Te multan por exceso de velocidad. Escribe los enunciados
siguientes usando p y q y conectivos lgicos.
No conduces a ms de 100 km por hora.
Conduces a ms de 100 km por hora, pero no te multan por
exceso de velocidad.
Te multarn por exceso de velocidad si conduces a ms de 100
km por hora.
Si no conduces a ms de 100 km por hora no te multarn por
exceso de velocidad.
Conducir a ms de 100 km por hora es suficiente para que te
multen por exceso de velocidad.
Te multan por exceso de velocidad pero no conduces a ms de
100 km por hora.
Siempre que te multan por exceso de velocidad conduces a ms
de 100 km por hora.
Determina si cada una de estas proposiciones es verdadera o falsa:
6 > 8 y 8 > 7
No es cierto que (6 > 8 y 8 > 7).
8 > 6 o no es cierto que (8 > 7) y (6 > 7).
1 + 1 = 2 si, y slo si, 2 + 3 = 4.
Es invierno si, y slo si, no es primavera, verano u otoo.
1 + 1 = 3 si, y slo si, los perros hablan.

2.

3.

4.

5.

29

30

INTRODUCCIN A LA LGICA MATEMTICA

6. Determina si cada una de estas proposiciones es verdadera o falsa:

Si 1 + 1 = 2, entonces 2 + 2 = 5.
Si 1 + 1 = 3, entonces 2 + 2 = 4.
Si 1 + 1 = 3, entonces 2 + 2 = 5.
1 + 1 = 3 si los cerdos vuelan.
Los perros hablan si 1 + 1 = 3.
Si 1 + 1 = 2, entonces los perros hablan.
Si 2 + 2 = 4, entonces 1 + 2 = 3.
7. Determina el valor de verdad de la recproca y contra-recproca de
cada una de las implicaciones del ejercicio anterior.
8. Escribe cada uno de estos enunciados de la forma si p, entonces
q.
Es necesario lavar el coche de tu padre para salir.
Viento del norte implica temporal.
Una condicin suficiente para que la garanta sea vlida es que
hayas comprado el ordenador hace menos de un ao
A Guillermo siempre se le pilla cuando hace trampas.
Puedes acceder al servidor de correo electrnico si eres alumno
de la escuela.
Ser seleccionado para un trabajo es consecuencia de conocer a
la gente adecuada.
Raquel se marea siempre que va en avin.
9. Escribe cada uno de estos enunciados de la forma p si, y slo si,
q.
Si hace calor, te compras un helado, y si te compras un helado,
hace calor.
Para ganar el premio es necesario y suficiente tener el nmero
ganador.
Ascenders slo si tienes contactos, y tienes contactos slo si
asciendes.
Si ves televisin, tu mente se empobrecer, y recprocamente.
El tren llega con retraso exactamente aquellos das que lo utilizo.
10. Enuncia la recproca y la contra-recproca de cada una de estas
implicaciones.
Si llueve esta noche, me quedar en casa.
Voy a la playa siempre que el da amanezca soleado.

INTRODUCCIN A LA LGICA MATEMTICA

31

Cuando me acuesto tarde es necesario que duerma hasta el

medioda.
11. Construye las tablas de verdad para cada una de estas frmulas.

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

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

12. Una antigua leyenda siciliana dice que el barbero de una remota
ciudad, a la que slo se puede llegar a travs de un peligroso camino
de montaa, afeita a aquellas personas y slo a aquellas personas,
que no se afeitan a s mismas. Puede existir tal barbero?
13. Expresa las siguientes especificaciones del sistema utilizando las
proposiciones p: El archivo es revisado para buscar algn error,
y q: El archivo fue grabado desde una memoria USB, junto con
conectivos lgicos.
El archivo se revisa para buscar algn error siempre que haya
sido grabado desde una memoria USB.
El archivo fue grabado desde una memoria USB, pero no se
revis para buscar ningn error.
Es necesario revisar el archivo para buscar algn error siempre
que haya sido grabado desde una memoria USB.
Cuando el archivo no sea grabado desde una memoria USB
no se revisa para buscar ningn error.
14. Demuestra que cada una de estas implicaciones es una tautologa.
(p q) (p q)
(p q) q
[(p q) (p r) (q r)] r
6.2. Equivalencias lgicas.
1. Demuestra que las siguientes frmulas no son equivalentes:
p (q r) y (p q) r
(p q) y (p q)
2. Demuestra que las siguientes frmulas son equivalentes:
(p q) y p q
p (q r) y q (p r)
3. Demuestra que:
p q q p

32

INTRODUCCIN A LA LGICA MATEMTICA

(p q) r] 6 [(p r) q]
[(p q) r] [(p r) q]
4. Demuestra que (p q) r y p (q r) son lgicamente equivalentes.
5. Simplifica las proposiciones:
(p q) (p q)
[[(p q) r] q]
6. La siguiente frase se ha tomado de una especificacin de un sistema
de datos en una entidad bancaria: Si la base de datos del directorio
est abierta, el monitor se pone en estado cerrado si el sistema no
est en estado inicial . Encuentra una especificacin equivalente,
ms fcil de entender, que incluya disyunciones o negaciones, pero
no implicaciones.

6.3. Predicados y cuantificadores.

1. Denotemos por P (X) la sentencia: La palabra X contiene la letra
a. Cules son los valores de verdad siguientes?

P(naranja)
P(verdadero)

P(limn)
P(falsa)

2. Sea P (X) la sentencia: X vive en Ourense, donde el dominio de

X consiste en todos los estudiantes de tu clase. Expresa cada una
de estas cuantificaciones en lenguaje natural:

x, P (x)
x, P (x)

x, P (x)
x, P (x)

x, P (x)
x, P (x)

3. Traduce estas sentencias a lenguaje natural donde P (X) es X es

un poltico y Q(X) es X es locuaz y el dominio consiste en
todas los ciudadanos gallegos.

x, P (x) Q(x)
x, P (x) Q(x)

x, P (x) Q(x)
x, P (x) Q(x)

4. Sea P (X) la sentencia: X tiene un coche, Q(X): X tiene una

moto, y R(X): X tiene una bicicleta. Expresa cada una de las
siguientes sentencias en trminos de P (X), Q(X) y R(X), cuantificadores y conectivos lgicos. El dominio para los cuantificadores
consiste en todos los estudiantes de tu clase.

INTRODUCCIN A LA LGICA MATEMTICA

33

Un estudiante de tu clase tiene un coche, una moto y una

bicicleta.
Todos los estudiantes de tu clase tienen un coche, una moto y
una bicicleta.
Algn estudiante de tu clase tiene un coche y una moto, pero
no una bicicleta.
Ningn estudiante de tu clase tiene un coche, una moto y una
bicicleta.
Para cada uno de los tres medios de transporte, coche, moto y
bicicleta, hay un estudiante de tu clase que tiene uno de ellos.
5. Sea Q(X) la sentencia: X +2 < 3X. Si el dominio consiste en todos
los enteros, cules son los valores de verdad?

Q(0)
x, Q(x)
x, Q(x)

Q(1)
x, Q(x)

Q(1)
x, Q(x)

6. Halla un contraejemplo, si es posible, a estas sentencias universalmente cuantificadas.

x Z, x2 x
x Z, x2 = 1

x Z, x > 0 o x < 0
x Z, x 3 < x2

7. Cules son los valores de verdad de estas proposiciones?

x Z, x > 1
x Z, x + 3 = 2x
x Z, x > 1
x Z, x + 3 = 2x

x Z, x2 = 1
x Z, x = x + 1
x Z, x2 = 1
x Z, x = x + 1

8. Determina el valor de verdad de las siguientes proposiciones. El

universo de las variables x e y es R.
2
Para cada x, x > x + 7.
2
x, x > 1 x > x + 7
2
2
x, y, x < y x < y + 7
2
2
x, y, x < y x < y + 7
2
Para algn x, x > x + 7.
2
x, x > 1 x > x + 7
2
2
x, y, x < y x < y + 7
2
2
x, y, x < y x < y + 7

34

INTRODUCCIN A LA LGICA MATEMTICA

9. Escribe la negacin de cada una de las proposiciones de los ejercicios 6, 7 y 8.

10. Traduce estas especificaciones de sistema a lenguaje natural, donde
P (x) es El servidor x no reponde, Q(x) es El servidor x est ocupado, R(y) es El mensaje y se ha perdido y S(y) es El mensaje
se est enviando.
x, P (x) Q(x) y, R(y)
x, Q(x) y, S(y)
y, S(y) R(y) x, P (x)
((( x, Q(x)) ( y, S(y))) y, R(y)
11. Sea Q(X, Y ) la sentencia X ha enviado un mensaje a Y , donde
el dominio tanto para X como para Y consiste en todos los estudiantes de tu clase. Expresa cada una de estas cuantificaciones en
lenguaje natural.

x, y, P (x, y)
x, y, P (x, y)
y, x, P (x, y)

x, y, P (x, y)
y, x, P (x, y)
x, y, P (x, y)

12. Sea P (X, Y ) la sentencia X se puede comunicar va chat con Y ,

donde el dominio tanto para X como para Y consiste en todas
las personas del mundo. Utiliza cuantificadores para expresar cada
una de las siguientes sentencias.
Todo el mundo puede comunicarse va chat con Juan.
Mara puede comunicarse va chat con todo el mundo.
Todo el mundo puede comunicarse va chat con alguien.
No hay nadie que pueda comunicarse va chat con todo el mundo.
Todo el mundo puede puede comunicarse va chat con alguien.
Nadie puede puede comunicarse va chat con Juan y Mara.
Paula puede comunicarse va chat exactamente con dos personas.
Hay exactamente una persona con quien todo el mundo puede
comunicarse va chat.
Nadie puede comunicarse va chat consigo mismo.
13. Determina el valor de verdad de cada una de estas sentencias.
2
n Z, m Z, n m
n Z, m Z, n + m = 0

INTRODUCCIN A LA LGICA MATEMTICA

6.4.

35

n Z, m Z, n2 + m2 = 5
n Z, m Z, n m2
n Z, m Z, nm = m

Razonamiento deductivo.

1. Qu reglas de inferencia se han usado en los siguientes argumentos?

Los jabales habitan en Galicia y son mamferos. Por lo tanto,
los jabales son mamferos.
o
Estamos a ms de 40 C o la polucin es peligrosa. Hoy estamos
o
a menos de 40 C. Por tanto, la polucin es peligrosa.
Andrea es una excelente nadadora. Si Andrea es una excelente
nadadora, entonces puede trabajar como salvavidas. Por tanto,
Andrea puede trabajar como salvavidas.
Susana trabajar en una empresa de informtica este verano.
Por tanto, este verano Susana trabajar en una empresa de
informtica o deambular por la playa.
Si trabajo toda la noche, podr resolver todos los problemas. Si
puedo resolver todos los problemas, entonces entender la asignatura. Por tanto, si trabajo toda la noche, entonces entender
la asignatura.
2. Para cada uno de estos conjuntos de premisas, qu conclusin o
conclusiones se pueden deducir? Explica las reglas de inferencia
utilizadas para obtener cada conclusin a partir de las premisas.
Si ceno comidas picantes, entonces tengo pesadillas. Tengo pesadillas si llueve por la noche. No he tenido pesadillas.
Soy inteligente o afortunado. No soy afortunado. Si soy afortunado, me tocar la lotera.
Todo estudiante de ingeniera informtica tiene un ordenador.
Marcos no tiene un ordenador. Ana tiene un ordenador
Lo que es bueno para el medio ambiente, lo es para tu pas. Lo
que es bueno para tu pas es bueno para ti. Lo que es bueno
para el medio ambiente es que recicles.
Todos los rumiantes rumian la comida. Las ovejas son rumiantes. Los perros no rumian la comida. Los murcilagos no son
rumiantes.

36

INTRODUCCIN A LA LGICA MATEMTICA

3. Para cada uno de estos argumentos determina si es vlido y explica

por qu.
Todos los estudiantes de la clase entienden lgica. Xavier es un
estudiante de la clase. Por tanto, Xavier entiende lgica.
Todos los estudiantes de Ingeniera Informtica cursan Fundamentos Matemticos para la Informtica (FMI). Luca cursa
FMI. Por tanto Luca es estudiante de Ingeniera Informtica.
A todos los loros les gusta la fruta. Mi pjaro no es un loro.
Por tanto, a mi pjaro no le gusta la fruta.
Los que comen vegetales todos los das estn sanos. Ana no
est sana. Por tanto, Ana no come vegetales todos los das.
4. Para cada uno de estos argumentos determina si es vlido y explica
por qu.

pq
p
q

pq
q
p

p p
q

p (q r)
q (p r)
(p q) r
(p r)
p q
qs
rs
(p q) (r s)
pr
qs

6.5. Mtodos de demostracin.

1. Demuestra que 5 es un nmero irracional.

2. Demuestra que n N las siguientes condiciones son equivalentes:
2
n + 2n + 1 es par.
2
n es impar.
n + 7 es par.
3. (Desigualdad triangular ) Demuestra que x, y R se verifica:
|x| + |y| < |x + y|
4. Demuestra que la suma de un nmero irracional y un nmero racional es irracional.
5. Demuestra que el producto de dos nmeros racionales es racional.

INTRODUCCIN A LA LGICA MATEMTICA

37

6. Muestra que se cumple, o que no, que el producto de dos nmeros

irracionales es irracional.
7. Demuestra que si n es un entero positivo, entonces:
1 + 2 + 3 + ... + n =

n(n + 1)
2

8. Obtn una frmula para la suma de los n primeros positivos pares.

9. Usa la induccin matemtica para probar la frmula obtenida en
el ejercicio anterior.
10. Obtn una frmula para la suma de los n primeros positivos impares.
11. Usa la induccin matemtica para probar la frmula obtenida en
el ejercicio anterior.
12. Para todo entero no negativo n usa la induccin matemtica para
demostrar que:
n(n+1)(n+2)
1 2 + 2 3 + 3 4 + . . . + n (n + 1) =
,nN
3
Pn 3 n2 (n+1)2
,nN

i=1 i =
4
2
n
n+1
1 + 2 + 2 + ... + 2 = 2
1
13. Encuentra el fallo en esta demostracin:
Teorema: Para todo entero positivo n, 2|2n + 3.
Paso base: La frmula es cierta para n0 = 1.
Paso de induccin: Supongamos que 2|2k + 3 y veamos que
2|2(k+1)+3. Se verifica que 2(k+1)+3 = 2k+2+3 = 2k+3+2.
Aplicando la hiptesis de induccin, se deduce que 2|2k + 3 + 2
y, por lo tanto, 2|2(k + 1) + 3.
Referencias
[1] Bujalance, E.: Elementos de matemtica discreta. Sanz y Torres, 1993.
[2] Bujalance, E.: Problemas de matemtica discreta. Sanz y Torres, 1993.
[3] Busby, R. C.; Kolman, B.;Ross, S. C.: Estructuras de matemticas discretas para la computacin. Prentice Hall, 1997.
[4] Ferrando, J. C.; Gregori, V.: Matemtica discreta. Revert, 1995.
[5] Garca Merayo, F.: Matemtica discreta. Paraninfo, 2005.
[6] Garca Merayo, F.; Hernndez Pealver, G.; Nevot Luna, A.: Problemas
resueltos de matemtica discreta. Thomson, 2003.
[7] Garca C.; Lpez, J. M.; Puigjaner, D.: Matemtica discreta: problemas
y ejercicios resueltos. Prentice Hall, 2002.

38

INTRODUCCIN A LA LGICA MATEMTICA

[8] Garnier, R.; Taylor, J.: Discrete mathematics for new technology. Adam
Hilger, 1992.
[9] Grassmann, W. K.: Matemtica discreta y lgica. Prentice Hall, 1998.
[10] Grimaldi, R. P.: Matemticas discreta y combinatoria: una introduccin
con aplicaciones. Addison-Wesley Iberoamericana, 1997.
[11] Johnsonbaugh, R.: Matemticas discretas. Prentice Hall, 1999.
[12] Rosen, K. H.: Matemtica Discreta y sus aplicaciones. Mc Graw Hill,
2004.
[13] Wilson, R. J.: Introduccin a la teora de los grafos. Alianza, 1983.