Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Y MTODOS DE DEMOSTRACIN
PRLOGO
Tanto en su vida diaria como, sobre todo, en la investigacin cientfica, el hombre debe
muchos de sus xitos o fracasos a la eficacia de sus argumentos (o razonamientos).
La lgica es la disciplina que trata de los mtodos de razonamiento; la lgica proporciona
reglas y tcnicas para determinar si es o no vlido un argumento dado. El razonamiento
lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin,
para verificar si son o no correctos los programas; en las ciencias fsicas y naturales, para
sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para
resolver una gran variedad de problemas. Claramente, se usa en forma constante el
razonamiento lgico.
La lgica simblica o matemtica es probablemente, en su parte elemental, la teora
cientfica ms sencilla, segura y completa de nuestro actual universo de conocimientos.
Esta teora rene un repertorio de tpicos, de ya consagrada validez, que han sido
adquiridos en el curso de los ltimos cien aos: el lgebra de BOOLE (lgica de
enunciados), la axiomtica cuantificacional de FREGE-RUSSEL, los clculos de deduccin
natural de GENTZEN, los mtodos metamatemticos de HILBERT, la semntica de
TARSKI y los concretos y ms recientes resultados metatericos de POST, SKOLEM,
GDEL-HENKIN y CHURCH.
Durante dos mil aos los matemticos han estado haciendo inferencias correctas, de ndole
sistemtica, y los lgicos y filsofos han estado analizando la naturaleza de los argumentos
vlidos. Es, en consecuencia, sorprendente que slo en las tres o cuatro ltimas dcadas
haya sido desarrollada una teora formal de la inferencia plenamente satisfactoria. En el
largo periodo que se extiende desde Aristteles, en el siglo IV A.C., hasta Leibniz en el
siglo XVII, los lgicos de la antigedad, los medievales y los postmedievales descubrieron
mucho de importancia y significacin sobre la lgica, pero el ms importante defecto de
esta tradicin clsica era su fracaso en relacionar la lgica como teora de la inferencia a la
clase de razonamientos deductivos que se usan continuamente en matemticas.
Leibniz tena cierta visin sobre la necesidad de hacer esta conexin, pero hasta fines del
siglo XIX y comienzos del XX se establecieron relaciones sistemticas entre la lgica y las
matemticas, principalmente mediante las obras de FREGE, PEANO y RUSSEL. A pesar
del alcance y magnitud de sus investigaciones, slo en aos recientes ha sido formulada una
teora completamente explcita de la inferencia, adecuada para manejar todos los casos
paradigmticos de razonamiento deductivo, en matemticas y en las ciencias empricas. Es
grande el nmero de personas que han contribuido a estos desarrollos, pero quizs los ms
prominentes han sido KURT, GDEZ, DAVID HILBERT y ALFREDO TARSKI.
Los tres primeros captulos de este texto son una introduccin a la lgica simblica
elemental para cualquier tipo de lector que est interesado en introducirse en esta materia.
Como una aplicacin de stos, el captulo cuarto trata de los mtodos de demostracin en
matemticas. La lgica no es solo ciencia, sino tambin arte de la deduccin, y su dominio
exige, como la aritmtica, la capacidad de efectuar clculos bien hechos.
2
El primer captulo hace un recorrido por el clculo proposicional que es la parte de la lgica
que trata sobre las proposiciones y fue desarrollado sistemticamente por primera vez por el
filsofo griego Aristteles hace ms de dos mil trescientos aos. Este captulo contiene el
material bsico comn de la mayor parte de los libros de lgica, se presentan las
proposiciones, conectivos lgicos y tablas de verdad. Adems, se tratan tambin las
equivalencias lgicas como una herramienta esencial para trabajar el lgebra declarativa y
las formas normales.
Las implicaciones lgicas, conocidas, ms comnmente, como reglas de inferencia, y la
forma como pueden utilizarse como base de un razonamiento vlido es el tema que se trata
en el segundo captulo; all se presentan algunos mtodos de demostracin como el
proporcionado por el teorema de la deduccin, el mtodo por reduccin al absurdo y la
resolucin. Hay, por supuesto, razonamientos que no son vlidos, llamados falacias que,
tambin, los analizaremos en este captulo.
La generalizacin de los temas presentados en los dos captulos anteriores se trata en el
tercer captulo, el de clculo de predicados, ste contiene todas las componentes del clculo
proposicional y de la inferencia lgica, incluyendo las constantes, las variables
proposicionales y los conectivos lgicos. Adems, el clculo de predicados contiene
sujetos, funciones proposicionales y cuantificadores, conceptos que examinaremos
tambin.
Dos importantes preguntas que aparecen en el estudio de las matemticas son: (1) cundo
es correcta una demostracin matemtica?, y (2) qu mtodos se pueden utilizar para
construir demostraciones matemticas? Este es el tema tratado en el cuarto captulo, el de
mtodos de demostracin. Los mtodos de demostracin son importantes no slo porque se
utilizan para demostrar teoremas matemticos, sino por sus muchas aplicaciones en otras
ciencias. Hay muchos errores comunes en la construccin de una demostracin,
describiremos brevemente algunos de ellos en este captulo. Tambin, presentaremos el
mtodo de induccin matemtica, cmo se puede utilizar y por qu es un mtodo vlido de
demostracin.
Las matemticas se ensean generalmente como si estuviesen esculpidas en piedra. Casi
todos los textos de matemticas presentan formalmente los teoremas y sus correspondientes
demostraciones. Tal presentacin no permite entrever el proceso de descubrimiento en
matemticas. La formulacin de conjeturas y los intentos de asentar estas conjeturas bien
mediante demostraciones o utilizando contraejemplos lo describiremos brevemente en la
parte final del cuarto captulo. Muchos problemas esperan todava a ser resueltos por gente
inteligente, se enuncian algunos de los ms accesibles y famosos de estos problemas
abiertos.
Aunque las ideas expuestas en este texto no son creacin exclusiva del autor, creo haber
aportado en l el esfuerzo personal y mi experiencia de muchos aos de docencia, con la
esperanza de que los profesores de lgica se sirvan de stas para orientar su labor didctica
en la obtencin del noble fin de la superacin de nuestra juventud estudiosa. Convencido
como estoy de que ninguna obra humana es perfecta, sern los profesores y los estudiantes
quienes con sus opiniones y sugerencias habrn de ayudarme a mejorar el presente texto.
3
CONTENIDO
1. CLCULO PROPOSICIONAL
1.1. Proposiciones
1.2. Proposiciones simples (o atmicas)
1.3. Proposiciones compuestas (o moleculares)
1.4. La conjuncin
1.5. La disyuncin
1.6. EL condicional
1.7. Recproca, contrarrecproca e inversa
1.8. EL bicondicional
1.9. Tablas de verdad de proposiciones compuestas
1.10. Prioridad de los conectivos lgicos
1.11. Traduccin de frases del lenguaje natural
1.12. Juegos de lgica
1.13. Tautologas y contradicciones
1.14. Implicaciones y equivalencias lgicas
1.15. Tablas de equivalencias lgicas importantes
1.16. lgebra declarativa
1.17. Formas normales
1.18. Tablas de verdad y formas normales
1.19. Ejercicios y temas adicionales
2. INFERENCIA LGICA
2.1. Introduccin
2.2. Reglas de inferencia y demostraciones
1. Modus Ponendo Ponens
2. Regla de Doble Negacin
3. Modus Tollendo Tollens
4. Ley de Adjuncin y Ley de Simplificacin
5. Modus Tollendo Ponens
6. Ley de Adicin
7. Ley del Silogismo Hipottico
8. Ley del Silogismo Disyuntivo
9. Ley del Simplificacin Disyuntiva
10. Leyes Conmutativas
11. Leyes de DE Morgan
12. Ley de Proposiciones Bicondicionales
2.3. Resumen
2.4. Teorema de la Deduccin
2.5. Consistencia de premisas
2.6. Pruebas indirectas
2.7. La resolucin
4
2.8. Falacias
3. CLCULO DE PREDICADOS
3.1. Introduccin
3.2. Funciones proposicionales
3.3. Cuantificadores
3.4. El cuantificador universal
3.5. El cuantificador existencial
3.6. Variables ligadas
3.7. Negaciones
3.8. Traduccin de frases del lenguaje natural a lenguaje formal
3.9. Ejemplos de Lewis Carrol
3.10. Cuantificadores anidados
3.11. El orden de los cuantificadores
3.12. Validez
3.13. Equivalencias lgicas para proposiciones cuantificadas
3.14. Reglas de inferencia para proposiciones cuantificadas
1. Particularizacin Universal
2. Generalizacin Universal
3. Particularizacin Existencial
4. Generalizacin Existencial
3.15. Ejercicios y temas adicionales
4. MTODOS DE DEMOSTRACIN
4.1. Introduccin
4.2. Tipos de demostracin
1. Demostraciones directas.
2. Demostraciones indirectas.
3. Demostraciones vacuas y triviales.
4. Demostraciones por reduccin al absurdo.
5. Demostracin por casos.
6. Demostraciones de equivalencias.
7. Demostraciones de existencia.
8. Demostraciones de unicidad.
9. Razonamiento hacia adelante y hacia atrs.
4.3. Contraejemplos
4.4. Errores en las demostraciones
4.5. Induccin matemtica
4.6. Por qu es vlida la induccin matemtica
4.7. Conjeturas: Demostracin y contraejemplos
4.8. Problemas abiertos
4.9. Resumen
5
1. CLCULO PROPOSICIONAL
Hay tres clases de lenguaje mediante los cuales nos podemos comunicar: el lenguaje oral
que se manifiesta verbalmente; el lenguaje escrito que es una traduccin del lenguaje oral
mediante frases impresas; y el lenguaje simblico que es una traduccin de los dos
anteriores, mediante smbolos apropiados que siguen reglas bien definidas.
Tanto el lenguaje oral como el escrito sufren el defecto de que, muchas veces, las ideas no
se expresan en forma precisa, dando lugar a ambigedades. El lenguaje simblico, que es
utilizado en matemticas y en otras disciplinas, es, por el contrario preciso y no da lugar a
falsas interpretaciones.
En este primer captulo se presenta los conceptos y leyes del clculo proposicional. Las
reglas de la lgica le dan un significado preciso a los enunciados matemticos y no
matemticos y se usan para distinguir entre argumentos vlidos y no vlidos.
Un concepto bsico y esencial de la lgica es el de proposicin, que definimos a
continuacin.
1.1. Proposiciones
Definicin 1.1 Una proposicin es una expresin con sentido completo mediante la cual se
afirma o se niega algo que puede ser verdadero o falso (pero no las dos cosas a la vez).
Ejemplo 1. Son proposiciones:
a) 2 es un nmero primo
b) 15 no es mltiplo 5
c) Bogot es la capital de Colombia
Ejemplo 2. No son proposiciones:
a) Hace fro!
b) Qu hora es?
Dada una proposicin, su negacin se considera tambin una proposicin.
1.5. La disyuncin
Definicin 1.5 La disyuncin de dos proposiciones p y q , que se denota por p q y se
lee p o q , es la proposicin que se obtiene enunciando q a continuacin de p
separadas por la conectiva o. La disyuncin p q es falsa cuando p y q son falsas, en
los dems casos es verdadera. Lo anterior se resume en la siguiente tabla de verdad para la
disyuncin
p q
pq
V V
V
V F
V
V
F V
F F
F
Una disyuncin es verdadera cuando al menos una de las dos proposiciones es verdadera.
Ejemplo 9. La disyuncin de las proposiciones del ejemplo 8, es p q : Hoy es viernes
u hoy llueve. Esta proposicin es verdadera cualquier da que sea viernes o llueva
(incluidos los viernes que llueve). Es falsa slo los das que ni son viernes ni llueve.
Ejemplo 10. La proposicin compuesta la tierra es un planeta o el sol no es el centro del
universo se puede simbolizar como p q siendo p : la tierra es un planeta y q : el
sol es el centro de la tierra.
8
Ejemplo 11. La siguiente tabla de verdad muestra los posibles valores de verdad de la
proposicin p q a partir de los posibles valores de verdad de p y de q .
p
V
V
F
F
q
V
F
V
F
q
F
V
F
V
p q
V
V
F
V
V
V
F
F
V
F
V
F
pq
F
V
V
F
9
1.6. EL condicional
Definicin 1.6 El condicional de dos proposiciones p y q , que se denota por p q y se
lee si p entonces q , es la proposicin que se obtiene enunciando q a continuacin de
p separadas por la conectiva sientonces. El condicional p q es falso nicamente
cuando p es verdadera y q falsa, en los dems casos es verdadero. Lo anterior se resume
en la siguiente tabla de verdad para el condicional
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
p implica q
p slo si q
una condicin suficiente para q es p
q siempre que p
q es necesario para p
q se deduce de p
Ejemplo 12. Cules son las recproca, contrarrecproca e inversa del condicional: El
equipo local gana siempre que llueve?
Solucin. Como q siempre que p es una forma de expresar el condicional p q , la
afirmacin original se puede escribir como: Si llueve, entonces el equipo local gana. En
consecuencia, la recproca de este condicional es: Si el equipo local gana, entonces
llueve. La contrarrecproca es: Si el equipo local no gana, entonces no llueve y la
inversa es: Si no llueve, entonces el equipo local no gana. Slo la contrarrecproca es
equivalente a la afirmacin original.
1.8. EL bicondicional
Definicin 1.7 El bicondicional de dos proposiciones p y q , que se denota por p q y
se lee p si, y slo si q , es la proposicin que se obtiene enunciando q a continuacin de
p separadas por la conectiva si, y slo si. El bicondicional p q es verdadero
nicamente cuando p y q tienen el mismo valor de verdad, en los dems casos es falso.
Lo anterior se resume en la siguiente tabla de verdad para el bicondicional
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V
Ejercicios
1. Cules de las siguientes frases son proposiciones? Cul es el valor de verdad de
aquellas que son proposiciones?
a) Cali es la capital de Colombia.
b) Buenos Aires es la capital de Argentina.
c) 2+3=5.
d) 5+7=10.
e) 2 x 3 7 .
f) Responde a esta pregunta.
g) Muy bien!
h) x y y x para todo par de nmeros reales x y y .
2. Cul es la negacin de cada uno de los siguientes enunciados?
a) Hoy es jueves.
b) No hay polucin en Bogot.
c) 2+1=3.
d) El verano de Villavicencio es clido y soleado.
e) El verano de Villavicencio es clido o soleado.
3. Sean p y q los enunciados
p: Est permitido nadar en la costa de Cartagena
q: Se han divisado tiburones cerca de la costa
Exprese cada una de las siguientes proposiciones en lenguaje natural.
a) q
b) p q
c) p q
d) p q
e) q p
f) p q
g) p q
h) p ( p q)
4. Sean p y q los enunciados
p: Estamos bajo cero
q: Nieva
Escriba los siguientes enunciados utilizando p, q y conectivos lgicos:
13
a)
b)
c)
d)
e)
f)
g)
8. Diga qu significa cada una de las siguientes frases en los casos en que el o es inclusivo
(es decir, una disyuncin) o bien exclusivo. Cul crees que es el significado que se
quiere expresar realmente en cada caso?
a) Para matricularte en lgica debes haber cursado una asignatura de clculo o alguna
asignatura de sistemas.
b) Cuando compras un vehculo de marca X, te devuelven US$ 2000 en efectivo o el
2% del prstamo solicitado.
c) La cena para los dos incluye dos platos de la carta A o tres de la carta B.
d) En el colegio se suspenden clases si caen ms de 50 cm de nieve o si el viento
helado baja de -20 C.
9. Escriba cada uno de los siguientes enunciados en la forma si p, entonces q.
a) Nieva siempre que el viento sopla del noreste.
b) El manzano florecer si el tiempo se mantiene clido durante una semana.
c) Que los Pistons ganen el campeonato implica que vencieron a los Lakers.
d) Es necesario subir 12 Km para llegar a la cima del pico.
e) Para ser profesor fijo es suficiente con ser famoso.
f) Si conduces ms de 600 Km seguidos, necesitaras ms gasolina.
g) Tu garanta es vlida slo si compraste el reproductor de DVD hace menos de 90
das.
10. Escriba cada uno de los siguientes enunciados en la forma p si, y slo si q.
a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor
afuera.
b) Para ganar la rifa es necesario y suficiente tener el nmero ganador.
c) Ascenders slo si tienes contactos, y tienes contacto slo si asciendes.
d) Si ves televisin, tu mente se empobrecer, y recprocamente.
e) El tren llega con retraso exactamente aquellos das que tengo que tomarlo.
f) Es necesario y suficiente que el nmero entero sea par, para que sea divisible entre
dos.
11. Enuncie la recproca, la contrarrecproca y la inversa de cada uno de los siguientes
condicionales.
a) Si un entero es par, entonces es divisible por 2.
b) Si nieva hoy, esquiar maana.
c) Voy a clases siempre que vaya a haber un control.
d) Cuando me acuesto tarde, es necesario que duerma hasta el medioda.
e) Un entero positivo es primo slo si no tiene otros divisores distintos de 1 y l
mismo.
Ejemplo 14. Construir las tablas de verdad para las siguientes proposiciones compuestas:
a) ( p q) (p q) .
b) ( p (q r )) ( p (q r )) .
Solucin. a) Para estas dos proposiciones simples p y q se tienen cuatro posibilidades
distintas de acuerdo a los valores de verdad de p y q . La tabla de verdad se presenta a
continuacin:
p
p q
V
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
( p q)
F
F
V
F
p q
F
F
V
V
F
F
V
F
( p q) (p q)
V
V
V
V
qr
p (q r )
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
V
V
V
V
V
V
qr
V
p (q r )
( p (q r )) ( p (q r ))
V
V
V
V
V
F
F
F
V
F
V
V
V
F
F
F
F
F
F
V
F
F
F
Otra forma distinta (en apariencia) de construir la tabla de verdad de una proposicin
compuesta es indicando debajo de las correspondientes proposiciones simples sus posibles
valores de verdad y, debajo de cada conectiva lgica el valor de verdad del resultado
correspondiente. De esta forma; por ejemplo, la tabla de verdad del ejemplo 14, parte b),
queda as:
(p
V
V
V
V
F
F
F
F
16
V
F
V
V
V
V
V
V
(q
V
V
F
F
V
V
F
F
V
F
V
V
V
F
V
V
r ))
V
F
V
F
V
F
V
F
V
F
V
V
V
F
F
F
(p
V
V
V
V
V
F
F
F
(q r ))
V
F
F
F
V
F
F
F
ambiguos. Transformar frases a expresiones lgicas trae consigo evitar estas ambigedades.
Se debe tener en cuenta que esto puede conllevar a hacer un conjunto de suposiciones
razonables basadas en el sentido que se le d a la frase. Por otra parte, una vez que hayamos
traducido frases del lenguaje natural a expresiones lgicas, podemos analizar estas
expresiones lgicas para determinar sus valores de verdad, las podemos manipular y
podemos utilizar las reglas de inferencia (que se tratarn ms adelante, en el captulo 2)
para razonar sobre ellas. El paso del lenguaje natural al lenguaje formal se conoce como
formalizacin. Para ilustrar el proceso de formalizacin, consideremos los siguientes
ejemplos
Ejemplo 15. Cul es la formalizacin de la siguiente frase?:
Puedes acceder a Internet desde la universidad slo si estudias sistemas o no eres alumno
de primero.
Solucin. Hay muchas formas de formalizar esta frase. Aunque es posible representar la
frase mediante una variable proposicional simple, como p , no sera til para analizar su
significado o razonar con ella. As, utilizaremos proposiciones simples para representar
cada parte de la oracin y determinar los conectivos lgicos apropiados entre ellas. En
particular, representaremos las frases Puedes acceder a Internet desde la universidad,
Estudias sistemas y Eres alumno de primero por p , q y r , respectivamente.
Considerando que slo si es una forma de expresar un condicional, la frase se puede
representar como p (q r ) .
Ejemplo 16. Cmo se puede formalizar la siguiente frase?:
No puedes montar en la montaa rusa si mides menos de 1.20 m, a no ser que seas mayor
de 16 aos.
Solucin. De nuevo, hay muchas formas; la ms simple, pero menos til, es representarla,
como p . Aunque no es incorrecto, no sera eficiente para tratar de analizarla o razonar con
ella. Lo ms apropiado es usar proposiciones simples para representar partes de esa frase y
decidir los conectivos lgicos entre ellas. En particular, si representamos por p , q y r ,
respectivamente, las frases Puedes montar en la montaa rusa, Mides menos de 1.20 m
y Eres mayor de 16 aos, la frase se puede representar como (q r ) p . Por
supuesto, hay otras formas de representar esta frase mediante expresiones lgicas, pero la
que hemos usado se ajusta a nuestras necesidades.
Ejercicios
1. Construya la tabla de verdad para cada una de las siguientes expresiones:
a) p p
b) p p
c) ( p q) q
d) ( p q) ( p q)
e) ( p q) (q p)
f) ( p q) (q p)
18
r ( p s) ((t q) u)) .
8. Un muchacho le dice a su novia me caso contigo slo si consigo trabajo. En efecto el
muchacho encontr trabajo pero no se cas con ella. incumpli su promesa?
9. La proposicin n-sima de una lista de 100 proposiciones es: Exactamente n de las
proposiciones de esta lista son falsas.
a) Qu conclusiones se pueden derivar de estas proposiciones?
b) Responde la parte a) si la proposicin n-sima es Al menos n de las proposiciones
de la lista son falsas.
c) Responde la parte b) suponiendo que la lista contiene 99 proposiciones.
10. Cada uno de los habitantes de una aldea remota dice siempre la verdad o siempre
miente. Un aldeano siempre responder un Si o No por respuesta a las preguntas de
los turistas. Suponga que eres un turista que visita la zona y encuentras una bifurcacin
en el camino. Una direccin conduce a las ruinas que quieres visitar. La otra direccin
conduce a la jungla profunda. Un aldeano se encuentra en la bifurcacin del camino.
Qu pregunta debes hacerle al aldeano para averiguar la direccin correcta?
19
Ejercicios
Los ejercicios 1, 2 y 3 estn relacionados con la isla de los caballeros y villanos inventada
por Smullyan, donde los caballeros siempre dicen la verdad y los villanos siempre mienten.
Te encuentras a dos personas, A y B. Determina, si es posible, qu son A y B en cada caso.
Si no puedes determinar qu son, puedes deducir alguna conclusin?
1. A dice Al menos uno de nosotros es un villano y B no dice nada.
2. A dice Los dos somos caballeros y B dice A es un villano.
3. Tanto A como B dicen Yo soy un caballero.
4. En Turqua se acostumbraba que los reos condenados a muerte eligieran la forma de
morir, para ello deberan de decir una proposicin. Si la proposicin era verdadera lo
decapitaban y si era falsa lo ahorcaban. El da del juicio un reo judo dijo la siguiente
proposicin: Ser ahorcado y continu Si me ahorcan van a quebrantar la ley puesto
que lo que he dicho es verdad, por lo tanto deberan de decapitarme; pero si me
decapitan, tambin van a quebrantar la ley puesto que lo que he dicho es falso. Qu
hacen con el judo, lo decapitan, lo ahorcan, lo dejan libre?
p
F
V
p p
V
V
p p
F
F
Equivalencias lgicas
p p V
p p F
p V p
pF p
p V V
pF F
p p p
p p p
(p) p
pq q p
pq q p
p ( q r ) ( p q) r
p ( q r ) ( p q) r
p ( q r ) ( p q) ( p r )
p (q r ) ( p q) ( p r )
( p q) p q
( p q) p q
p ( p q) p
p ( p q) p
( p q) (p q) q
( p q) (p q) q
p V V y F p V
V p p y
p F p
p q p q
p q q p
p q p q
p q ( p q)
( p q) p q
( p q) ( p r ) p ( q r )
( p q) ( p r ) p ( q r )
( p r ) ( q r ) ( p q) r
( p r ) ( q r ) ( p q) r
Equivalencias lgicas relacionadas con bicondicionales
p q ( p q ) ( q p)
p q p q
p q ( p q) (p q)
( p q) p q
23
La ley asociativa para la disyuncin muestra que la expresin p q r est bien definida
en el sentido de que no importa si tomamos primero la disyuncin de p y q y luego la
disyuncin de p q con r, o si primero tomamos la disyuncin de q y r y luego la
disyuncin de p y q r . De forma anloga, la ley asociativa para la conjuncin muestra
que la expresin p q r est bien definida.
Generalizando este razonamiento, se sigue que p1 p2 ... pn y p1 p2 ... pn estn
bien definidas siempre que p1 , p2 ,, pn sean proposiciones. Adems las leyes de De
Morgan se generalizan a
Solucin .
( p (p q)) p (p q)
p ((p) q)
p ( p q )
(p p) (p q)
F ( p q )
(p q) F
p q
( p q) ( p q) ( p q) ( p q)
(p q) ( p q)
(p p) (q q)
V V
(p q) (q p)
(p q) q (p q) p
(p q) F F (q p)
(p q) (q p)
(q p) (p q)
( p q) (p q)
p ( p q) ( p V ) ( p q)
p (V q)
p V
Solucin .
( p q) (p q) ( p p) q
V q
Ejercicios
1. Demuestre, sin utilizar tablas de verdad, que cada uno los condicionales del ejercicio 4,
seccin anterior, es una tautologa.
2. Demuestre, sin utilizar tablas de verdad, que cada una de las leyes de absorcin del
ejercicio 5, seccin anterior, es una tautologa.
3. Demuestre, sin utilizar tablas de verdad, que cada una de las leyes del ejercicio 6,
seccin anterior, es una tautologa.
4. Determine si (q ( p q)) p es o no una tautologa.
5. Demuestre que ( p q) r y p (q r ) no son equivalentes.
26
Solucin .
(( p q) r ) ( p q) (r )
( p q) r
(p (q)) r
28
(p q) r ,
ya est en fnd
(p r ) (q r ),
ya est en fnc
( p q) p (q r ) ( p p r ) (q r ) .
Solucin.
( p q) p (q r ) ( p p r ) (q r ) ( p q) p (q r ) (V r ) (q r )
( p q) p (q r ) V (q r )
( p q) p (q r ) (q r )
( p q) p (q r ) (q r )
p (q r ) (q r )
pr
p r
q p
F
F
F
F
V
V
V
V
V
V
V
V
V
F
V
F
V
V
F
F
F
F
V
V
(p r ) (q p)
V
V
F
F
F
F
V
F
29
Como el valor es V para la primera, la segunda y la sptima fila de esta tabla, la fnd con
trminos mnimos es la disyuncin de las conjunciones elementales que representan esas
filas, y est dada por:
( p q r ) ( p q r ) (p q r ) .
Mediante una transformacin apropiada esto se reduce a la forma normal disyuntiva:
( p q) (p q r ) .
Consideremos ahora un ejemplo en el que la funcin lgica se conoce nicamente por su
tabla de verdad.
Ejemplo 33. Encontrar la forma normal disyuntiva de la funcin lgica, f (o f ( p, q, r ) ),
dada por la siguiente tabla de verdad
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
f
F
F
V
F
V
V
F
V
Solucin. Para la fnd, como en el ejemplo anterior, obsrvese que el valor es V para la
tercera, la quinta, la sexta y la octava fila de esta tabla, luego la fnd con trminos mnimos
equivalente a f es:
( p q r ) (p q r ) (p q r ) (p q r ) .
Mediante transformaciones apropiadas se pueden obtener diferentes expresiones
equivalentes a la funcin lgica f , como por ejemplo:
f (p (r q)) ( p q r ) o bien f (q ( p r )) (p q)
Un hecho importante, es el de que una vez que tenemos la forma normal disyuntiva con
trminos mnimos de una frmula, es sencillo obtener la forma normal conjuntiva. Sea f
una frmula, entonces f tiene el valor de verdad V, slo donde f tiene el valor de
verdad F. De donde la fnd para f se obtiene de la tabla de verdad para f, de la misma
forma que la fnd para f , excepto que son las filas con valores de verdad F las que se
utilizan. Luego, de esta manera podemos obtener la fnc para f; es decir, hallando
inicialmente la fnd para f y mediante las leyes de De Morgan y la ley de doble negacin
obtenemos la fnc para f.
30
Ejemplo 34. Consideremos de nuevo la funcin lgica f del ejemplo anterior cuya fnd con
trminos mnimos ya conocemos. Entonces la fnd para f es:
f ( p q r ) ( p q r ) ( p q r ) (p q r )
Por lo tanto, y utilizando las leyes de De Morgan y la ley de doble negacin obtenemos:
f (( p q r ) ( p q r ) ( p q r ) (p q r ))
(p q r ) (p q r ) (p q r ) ( p q r )
Ejercicios
1. Halle la fnd y la fnc (simplifique), equivalente a cada una de las siguientes expresiones:
a) (p r ) (q p)
b) ( p q) r
c) ( p q) (r q)
d) ( p q) ( p q r )
e) (( p q) ((q r ) p)) f) ( p p) p
2. Halle la fnd y la fnc (y simplifique), equivalente a la siguiente expresin:
( p q) ( p (r s)) ( p q s) .
3. Demuestre que la fnd ( p q r ) (p q r ) (p q r ) (p q r )
es equivalente a la expresin (p (r q)) ( p q r ) .
4. Demuestre que la fnd ( p q r ) (p q r ) (p q r ) (p q r )
es equivalente a la expresin (q ( p r )) (p q) .
5. Demuestre que la fnd ( p q r ) ( p q r ) (p q r ) es equivalente a la
fnd ( p q) (p q r ) .
6. Encuentre la forma normal disyuntiva y la forma normal conjuntiva de cada una de las
funciones lgicas, f y g, dadas en la siguiente tabla de verdad:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
f
F
F
V
V
V
V
F
F
g
V
F
V
F
F
V
F
V
31
es un
q p
es
no es asociativo.
13. Cuntas tablas de verdad diferentes de frmulas que relacionen las proposiciones p y q
existen?
Se dice que una proposicin es satisfacible si existe alguna asignacin de valores de verdad
para las variables, de dicha proposicin, que la hacen verdadera.
14. Cules de las siguientes proposiciones son satisfacibles?
a) ( p q r ) ( p q s) ( p r s) (p q s) ( p q s)
b) (p q r ) (p q s) ( p q s) (p r s) ( p q r )
( p r s)
c) ( p q r ) ( p q s) (q r s) (p r s) (p q s)
( p q r ) (p q s) (p r s)
La lgica difusa o borrosa se utiliza en inteligencia artificial. En lgica difusa, una
proposicin tiene un valor de verdad que es un nmero comprendido entre 0 y 1, ambos
incluidos. Una proposicin con un valor de verdad de 0 es falsa y con un valor de verdad de
1 es verdadera. Los valores entre 0 y 1 indican grados de verdad. Por ejemplo, el valor de
verdad 0.8 se puede asignar a la proposicin Alfredo est feliz, ya que Alfredo est feliz
la mayor parte del tiempo, y el valor de verdad 0.4 se asignar a la proposicin Juan est
feliz cuando Juan est feliz un poco menos de la mitad del tiempo.
15. El valor de verdad de la negacin de una proposicin en lgica difusa es 1 menos el
valor de verdad de la proposicin. Cules son los valores de verdad de las
afirmaciones Alfredo no est feliz y Juan no est feliz?
16. El valor de verdad de la conjuncin de dos proposiciones en lgica difusa es el mnimo
de los valores de verdad de las dos proposiciones. Cul es el valor de verdad de las
frases Alfredo y Juan estn felices y Ni Alfredo ni Juan estn felices?
17. El valor de verdad de la disyuncin de dos proposiciones en lgica difusa es el mximo
de los valores de verdad de las dos proposiciones. Cul es el valor de verdad de las
frases Alfredo est feliz o Juan est feliz y Alfredo no est feliz o Juan no est feliz?
33
2. INFERENCIA LGICA
2.1. Introduccin
En el captulo 1, hemos aprendido a dividir las proposiciones en sus partes lgicas y de este
modo se ha llegado a conocer algo sobre la forma lgica de las proposiciones. En este
captulo, estudiaremos las implicaciones lgicas, conocidas, ms comnmente, como reglas
de inferencia, y la forma como pueden utilizarse como base de un razonamiento vlido.
Hay, por supuesto, argumentos que no son vlidos, llamados falacias que, tambin, los
analizaremos ms adelante.
Las reglas de inferencia que rigen el uso de los trminos de enlace son muy simples. Se
pueden aprender estas reglas y su uso, como se aprenden las reglas de un juego. El juego se
juega con proposiciones. Se empieza con conjuntos de proposiciones simbolizadas que se
llaman premisas. El objetivo del juego es utilizar las reglas de inferencia de manera que
conduzcan a otras proposiciones que se denominan conclusiones. El paso lgico de las
premisas a la conclusin es una deduccin. La conclusin que se obtiene se dice que es una
consecuencia lgica de las premisas si cada paso que se da para llegar a la conclusin est
permitido por una regla. La idea de inferencia se puede expresar como: de premisas
verdaderas se deducen slo conclusiones que son verdaderas.
1) p
2) p q
q
Esta regla de inferencia permite demostrar q a partir de p y p q ; es decir, se puede pasar
de las dos premisas a la conclusin, o decir que la conclusin es consecuencia lgica de las
premisas o que siempre que las premisas sean ciertas, la conclusin tambin es cierta.
Como el esquema de razonamiento es vlido y si utilizamos el smbolo para separar las
premisas de la conclusin, entonces la regla anterior se puede escribir como la siguiente
implicacin lgica:
[ p ( p q)] q
Que se puede verificar fcilmente, que es una tautologa, mediante una tabla de verdad.
La regla de inferencia dice que si se tienen dos proposiciones de la forma p y p q , se
puede deducir la conclusin q. Recurdese que la regla se aplica a la forma de las
proposiciones; es decir, que siempre que se d un condicional y se d precisamente el
antecedente de ste, se sigue lgicamente el consecuente. La misma regla se aplica tanto si
el antecedente es una proposicin simple como si es una proposicin compuesta y tanto si
el consecuente es una proposicin simple como si es una proposicin compuesta.
El nombre en latn de modus ponendo ponens se puede explicar de la siguiente manera:
Esta regla de inferencia es el mtodo (modus), que afirma (ponens) el consecuente,
afirmando (ponendo) el antecedente.
Ejemplo 1. La regla de inferencia denotada por MPP se puede escribir, tambin, como:
1) p q
2) ( p q) r
r
1) (p q) (r s)
o bien como:
2) (p q)
r s
Ejemplo 2. Veamos ahora una inferencia de la misma forma, pero cuyo contenido se ha
sacado del lenguaje corriente. La primera premisa es el condicional: Si nieva hoy,
entonces iremos a esquiar. La segunda premisa es: est nevando hoy. Qu conclusin
se puede sacar de estas dos premisas?
Solucin. La conclusin es iremos a esquiar. Esta conclusin se puede inferir lgicamente
de las premisas dadas.
35
Cuando se usa una regla de inferencia para pasar de un conjunto de proposiciones a otra
proposicin se demuestra que la ltima proposicin es consecuencia lgica de las otras.
Utilizando el modus ponendo ponens se demuestra s a partir de las premisas r y r s . Se
puede esquematizar la demostracin de manera ms clara escribiendo:
1) r
2) r s
3) s
M PP
1) p q
2) q r
3) p
Se quiere probar la proposicin r. Para llegar a r, se necesitan dos pasos, cada uno
permitido por el modus ponendo ponens, MPP. Estos dos pasos son las lneas 4) y 5)
escritas a continuacin:
1) p q
2) q r
3) p
4) q
MPP 1, 3
5) r
MPP 2, 4
Obsrvese que cada lnea est numerada, tanto si es una premisa como una lnea deducida.
Adems, despus de las abreviaturas correspondientes a las reglas empleadas para obtener
las lneas deducidas, se ha indicado el nmero de las lneas a partir de las cuales se ha
deducido esta lnea.
Ejemplo 3. Demostrar r s de las siguientes premisas:
1) p r s
P
36
2) t u p
3) t u
Solucin . 1) p r s
2) t u p
3) t u
4) p
M PP 2, 3
5) r s
M PP1, 4
(p)
p
p
(p)
2) r s (q)
3) p
Solucin . 1) p r s
2) r s (q)
3) p
4) r s
M PP1, 3
5) (q)
M PP 2, 4
6) q
DN 5
Esta regla que tiene nombre en latn modus tollendo tollens se aplica a los condicionales;
negando (tollendo) el consecuente, se puede negar (tollens) el antecedente del condicional.
Ejemplo 5. Demostrar r a partir de las siguientes premisas:
1) p q
P
2) q
3) p r
P
37
Solucin . 1) p q
2) q
3) p r
4) p
M TT1, 2
5) r
M PP 3, 4
pq
,
p
q
El orden de las premisas (o la conclusin) es indiferente. La conjuncin es conmutativa.
Ejemplo 6. Demostrar p q de:
1) r p
P
Solucin.
2) r
3) r q
1) r p
2) r
3) r q
4) p
MPP 1, 2
5) q
MPP 2, 3
6) p q
A 4, 5
Solucin. 1) r t
2) s r
3) r
S1
4) s
MTT 2, 3
38
Una vez ms, el nombre en latn dice algo acerca de la regla. Dice que negando (tollendo)
un miembro de la disyuncin se afirma (ponens) el otro miembro.
Ejemplo 8. Demostrar q de:
1) p q
Solucin.
2) p r
3) r
1) p q
2) p r
3) r
4) (p )
MTT 2, 3
5) p
DN 4
6) q
MTP 1, 5
p
,
pq
Solucin .
2) s
1) s p q
2) s
3) p q
M PP1, 2
4) q
S3
5) q r
LA 4
La conclusin es en este caso un condicional. Ambas premisas son condicionales. Esta ley
tambin es bastante conocida como la ley transitiva.
Ejemplo 10. Demostrar q de:
1) r s
Solucin .
2) s p q
3) r t
4) t
1) r s
2) s p q
3) r t
4) t
5) r p q
SH 1, 2
6) r
M TT 3, 4
7) p q
M PP 5, 6
8) q
S7
1) p q
2) p r
3) q s
, como implicacin lgica: [( p q) ( p r ) (q s)] (r s) .
rs
De nuevo la conclusin se puede considerar que es un condicional ya que r s r s .
Ejemplo 11. Demostrar t p de:
1) s r
P
Solucin .
40
2) r t
3) s p
4) p
1) s r
2) r t
3) s p
4) p
5) t p
SD 1, 2, 3
6) t
M TP 4,5
7) t p
A 4,6
Se debe tener cuidado al aplicar la ley anterior. Primero hay que verificar que se tienen los
dos condicionales y que los antecedentes de los condicionales son precisamente los dos
miembros de la disyuncin dada.
9. Ley del Simplificacin Disyuntiva (PD).
p p
,
p
Solucin .
2) p r
3) q r
1) p q
2) p r
3) q r
4) r r
SD 1, 2, 3
5) r
PD 4
pq
q p
pq
,
q p
Estas reglas, posiblemente parecern muy triviales; sin embargo se han de enunciar, pues
no se puede dar ningn paso como conocido, si no se tiene una regla explcita que lo
permita. Estas leyes corresponden a las equivalencias lgicas dadas en el captulo anterior
que son: p q q p y p q q p .
11. Leyes de DE Morgan (LD).
( p q)
p q
p q
,
( p q)
( p q)
p q
p q
.
( p q)
Estas leyes tambin corresponden a las dos equivalencias lgicas dadas en el captulo
anterior, conocidas con el mismo nombre.
41
3) r s
4) (q s) (t s) P
1) (p r )
2) q p
3) r s
4) (q s) (t s)
5) p (r )
LD 1
6) p r
DN 5
7) r
S6
8) s
MPP 3, 7
9) p
S6
10) q
MTP 2, 9
11) q s
A 8, 10
12) t s
MPP 4, 11
13) s t
LC 12
Solucin.
pq
,
pq
q p
1) p q
2) q p
,
pq
Solucin.
42
2) p
1) p ( q r )
2) p
3) p ( q r )
PB 1
4) q r
MPP 2, 3
5) r
S4
La regla 12 es de nuevo una equivalencia ya dada, escrita como dos reglas de inferencia. En
general, las equivalencias dadas en el captulo anterior se pueden reescribir como reglas de
inferencia, de la misma manera como se hizo con las ltimas cuatro leyes.
Para finalizar esta seccin vamos a desarrollar dos ejemplos ms sacados del lenguaje
natural y donde aplicaremos algunas de las reglas de inferencia dadas.
Ejemplo 15. Demostrar que las hiptesis Esta tarde no hace sol y hace ms fro que ayer,
Iremos a nadar slo si hace sol, Si no vamos a nadar, daremos un paseo en canoa y Si
damos un paseo en canoa, estaremos en casa para la puesta del sol conducen a la
conclusin estaremos en casa para la puesta del sol.
Solucin. Sea p la proposicin Esta tarde hace sol, q la proposicin Hace ms fro que
ayer, r la proposicin Iremos a nadar, s la proposicin daremos un paseo en canoa y t
la proposicin estaremos en casa para la puesta del sol. Entonces, las hiptesis se pueden
expresar como p q , r p , r s y s t . La conclusin es simplemente t. (En el
caso de la segunda hiptesis, se recuerda que una de las formas de expresar r p es r
slo si p, de lo visto en el captulo 1). A continuacin haremos la deduccin de la
conclusin deseada a partir de las hiptesis como premisas:
1) p q
2) r p
3) r s
4) s t
5) p
S1
6) r
M TT 2, 5
7) s
M PP 3, 6
8) t
M PP 4, 7
Ejemplo 16. Mostrar que las hiptesis Si me mandas un mensaje por correo electrnico,
entonces acabar de escribir el programa, Si no me mandas un mensaje por correo
electrnico, me ir a la cama temprano y Si me voy a la cama temprano, me levantar
descansado llevan a la conclusin Si no acabo de escribir el programa, me levantar
descansado.
Solucin. Sea p la proposicin me mandas un mensaje por correo electrnico, q la
proposicin Terminar de escribir el programa, r la proposicin Me ir a la cama
temprano, y s la proposicin Me levantar maana descansado. Entonces, las hiptesis
se pueden expresar como p q , p r , y r s . La conclusin es q s . A
continuacin se hace la deduccin de la conclusin a partir de las hiptesis como premisas:
1) p q
2) p r
3) r s
P
43
4) q p
Contrarrecproca de 1
5) q r
SH 4, 2
6) q s
SH 5, 3
2.3. Resumen
Se ha visto que uno de los objetivos importantes de la lgica es la inferencia o deduccin de
conclusiones de un conjunto de premisas dado. Hasta aqu, en nuestro estudio de las
implicaciones lgicas se han analizado alrededor de quince reglas de inferencia, las
suficientes para poder hacer demostraciones largas y bastante complicadas.
Las reglas de la lgica no son, evidentemente, reglas elegidas al azar. Son de tal forma que
slo permiten hacer inferencias vlidas. Una inferencia vlida es la que es consecuencia
lgica de las premisas. Esto significa que si las premisas son ciertas, la conclusin que se
sigue tambin ha de ser cierta.
Para seguir en el estudio de la lgica es esencial estar muy familiarizado no slo con la idea
misma de inferencia vlida, sino tambin con cada regla particular de inferencia que
permite realizar un paso lgico. Si no se conocen bien estas reglas no se es capaz de planear
una estrategia que ayudar a alcanzar la conclusin deseada.
Ejercicios
1. Demuestre p de las siguientes premisas:
1) r s
P
2) r
3) s q
4) q p
3) p
3) s t
4) t u
5) u q
3. Demuestre r s de:
1) p q
P
2) p q t
44
3) t u v
4) u v r s
4. Demuestre s de:
1) p q
2) q r
3) s r
4) p
5. Demuestre p de:
1) p q
P
2) q r
3) r s
4) s
6. Demuestre u de:
1) p t
2) s t
3) s q
4) q p u
7. Demuestre q s de:
1) q r
P
2) q s
3) r
8. Demuestre s q de:
1) s q
P
2) (t r )
3) s (t r )
9. Demuestre p r de:
1) p q
P
2) r q
2) q r
3) r
4) p (t s)
45
2) s
3) (r s) q
2) (t )
3) q
2) p q
3) q r
2) s
3) p s
4) r t
2) s t
3) t
2) (q p) r
3) r
2) p r
3) q s
4) r t
Solucin .
48
2) r p
3) q
1) p (q s )
2) r p
3) q
4) r
supuesto
5) p
M TP 2, 4
6) q s
M PP1, 5
7) s
M PP 3, 6
8) r s
TD 4, 7
Solucin .
2) q r
1) p q
2) q r
3) p
supuesto
4) q
M PP1, 3
5) r
M PP 2, 4
6) p r
TD 3, 5
Ejercicios
Utilizando, nicamente, el teorema de la deduccin, realice cada uno de los ejercicios del 1
al 4.
1. Demuestre t q a partir de las siguientes premisas:
1) r ( s q)
P
2) t r
3) s
2. Demuestre p r de:
1) p q
P
2) p (q s)
3) q ( s r )
3. Demuestre s t de:
1) p (q r )
P
2) p
3) (s t ) r
4. Demuestre p s de:
1) p (q r )
P
2) q p
3) s r
Solucin .
50
2) p r
3) q r
1) (q p)
2) p r
3) q r
4) q p
LD 1
5) q
S4
6) p
S4
7) r
M PP 3, 5
8) r
MTP 2, 6
9) r r
A 7, 8
Solucin .
2) q r
3) s r
4) p s
1) p q
2) q r
3) s r
4) p s
5) p r
SH 1, 2
6) p
S4
7) s
S4
8) r
9) s
M PP 5, 6
MTT3, 8
10) s s
A 7, 9
2) p r
3) q r
P
51
2) p r
3) q r
Obsrvese, que son las mismas premisas del ejemplo 21. Como all, se demostr que las
premisas son consistentes, podemos concluir entonces que: Francisco no tiene la razn.
Ejercicios
En los ejercicios del 1 al 3, demuestre que cada conjunto de premisas es consistente.
1) (r s) (t r )
1. 2) s t
3) ( s r ) t
1) ( p q) r
2) r t
2. 3) t u
4) q r
5) t u
52
1) p q
3.
2) q r
3) s t
4) t u
1) p q
2) p q
1) p q
5. 2) (q r )
3) r p
1) r q
6. 2) q s
3) (r q) (q s)
7.
1) (q r ) ( s r )
2) (r q) ( s r )
En los ejercicios del 8 al 10, demuestre o refute la consistencia de las deducciones que se
hacen:
8. Si el da tiene 24 horas o la hora tiene 60 segundos, entonces el ao tiene 365das y
algunos meses tienen 30 das. Si la hora no tiene 60 segundos, entonces el ao tiene 365
das o el da tiene 24 horas. Si el ao tiene 365 das, entonces algunos meses tienen 30
das. El ao no tiene 365 das.
9. El Banco de la Repblica fue estafado y el Chase Manhatan no est implicado. Si el
nmero de estafados fue cuatro, entonces el Chase Manhatan est implicado. O el
nmero de estafados fue cuatro o un empleado del Banco de la Repblica es cmplice.
10. Si Juan trabaja en el computador, entonces Pedro va al cine, y si Martha escucha
msica, entonces Jairo juega futbol. Juan no trabaja en el computador o Pedro va al
cine, si y slo si, Martha no escucha msica y Jairo no juega futbol.
prueba por contradiccin y prueba por reduccin al absurdo). La tcnica de esta prueba se
desarrolla como sigue:
(1) Introdzcase como una nueva premisa la negacin de la conclusin deseada.
(2) Partiendo de esta premisa, juntamente con las premisas dadas, dedzcase una
contradiccin.
(3) Afrmese la conclusin deseada como inferencia lgica de las premisas.
Podemos demostrar esquemticamente cmo estos tres pasos caen dentro del patrn de una
deduccin formal. Sea la conjuncin de las premisas y C la conclusin deseada.
1)
2) C
supuesto
...
...
n) s s
n 1) C ( s s ) TD 2, n
n 2) C
Para ilustrar este esquema, y para dar dos ejemplos particulares de prueba indirecta,
consideremos los siguientes casos.
Ejemplo 23. Demostrar p de las siguientes premisas:
1) p q
P
Solucin .
2) r q
3) ( p r )
1) p q
2) r q
3) ( p r )
4) p
supuesto
5) q
M PP1, 4
6) r
M TP 2, 5
7) p r
LD 3
8) r
9) r r
M TP 4, 7
A 6, 8
10) p (r r ) TD 4, 9
11) p
2) q p
3) s r
1) p q r
2) q p
3) s r
4) p s
supuesto
5) p
S4
6) s
S4
7) q r
M PP1, 5
8) r
M PP 3, 6
9) q
M TP 7, 8
10) p
M PP 2, 9
11) p p
A 5, 10
12) ( p s ) ( p p)
TD 4, 11
13) p s
Solucin .
Ejercicios
Cada uno de los ejercicios del 1 al 11, realcelo por el mtodo de reduccin al absurdo.
1. Demuestre p de:
1) r q
2) s t
3) t q p
4) r s
2. Demuestre r q de:
1) p q
P
2) s q r
3) p s
4) q s
3. Demuestre r s de:
1) p q s
P
2) u p
3) t q
4) u t
55
4. Demuestre r de:
1) p q
2) (p q) r
3) q
5. Demuestre s de:
1) (p q) r
2) ( p q)
3) r s
6. Demuestre s de:
1) (t s)
2) t (q r )
3) p (q r )
7. Demuestre p q de:
1) (p q) r
2) s
3) (t r ) s
8. Demuestre s de:
1) ( p q) t
2) s t
3) p
9. Demuestre u de:
1) (p q) r
2) (r s)
3) p q
4) (s t ) u
2) t ((r q))
3) t s
11. Demuestre que las hiptesis Si Colombia sigue endeudndose y los dineros no son
bien invertidos, entonces vamos a la quiebra econmica, no vamos a la quiebra
econmica o habr ms impuestos y es falso, que si los dineros no son bien
invertidos, entonces habr ms impuestos llevan a la conclusin Colombia no sigue
endeudndose.
56
Mediante reduccin al absurdo, en cada uno de los ejercicios del 12 al 15, demuestre la
validez de la deduccin:
1) q (( p r ))
12.
2) q (p (r s)) P
s
1) p (q r )
2) ( p t ) (q r ) P
13.
3) t ( p (r q)) P
rq
1) ( p q) (r t )
14.
15.
2) (r t ) ( p q) P
p
1) p (q r )
2) ( p (r q)) t
3) ( p r ) (t ( p r )) P
pr
19. O la lgica es difcil o no les gusta a muchos estudiantes. Si las matemticas son fciles,
entonces la lgica no es difcil. En consecuencia, si a muchos estudiantes les gusta la
lgica, las matemticas no son fciles.
20. Si Colombia sigue endeudndose y los dineros no son bien invertidos, entonces vamos a
la quiebra econmica. No vamos a la quiebra econmica o habr ms impuestos. Es
falso, que si los dineros no son bien invertidos, entonces habr ms impuestos. Por lo
tanto, Colombia no sigue endeudndose.
2.7. La resolucin
La resolucin es una regla de inferencia que se utiliza, usualmente, para realizar
demostraciones por contradiccin. Es decir, para probar una proposicin (demostrar su
validez) se demuestra que su negacin lleva a una contradiccin.
Puesto que existe un algoritmo para convertir cualquier proposicin a la forma normal
conjuntiva (vase seccin 1.17), no perdemos la generalidad si empleamos un
procedimiento de demostracin (como la resolucin) que opere solamente con
proposiciones expresadas de esta forma.
De hecho para que la resolucin funcione, es necesario ir un poco ms all. Es necesario
convertir el conjunto de premisas y la negacin de la conclusin en un conjunto de
clusulas, donde una clusula se define como una proposicin en forma normal conjuntiva
que no contiene ninguna conectiva ; o dicho de otra forma, una clusula es una
disyuncin de variables o sus negaciones. Para ello, se convierte cada premisa y la negacin
de la conclusin a la forma normal conjuntiva y, a continuacin se dividen esas expresiones
en clusulas, una por cada conjuncin. Las conjunciones se consideran agrupadas. Despus
de aplicar este procedimiento tendremos un conjunto de clusulas. Estas clusulas sern las
que utilice la resolucin para hacer demostraciones.
La resolucin es un proceso iterativo simple en el cual, en cada paso se comparan
(resuelven) dos clusulas llamadas clusulas padres, generando una nueva clusula
(resolvente) llamada clusula hija, que se ha inferido de ellas. Supongamos que se tienen
dos clusulas como premisas:
1) p q
2) p r
Esta es la nica regla que se utiliza en la resolucin. Escrita como regla de inferencia se
puede expresar como:
58
1) p q
2) p r
, como implicacin lgica: ( p q) (p r ) (q r ) .
qr
3) ( s t ) q
4) t
3) s q
4) t q
5) t
6) r
7) p q
de 2 y 6
8) q
de 1 y 7
9) t
de 4 y 8
59
10) F
de 5 y 9
11) r
ley de contradiccin
3) r (t u )
4) p t
1) p q
2) q r
3) q s
4) r t u
5) p
6) t
7) u
8) r t
9) r
10) q
11) r
12) F
13) u
P
de 4 y 7
de 6 y 8
de 1 y 5
de 2 y 10
de 9 y 11
ley de contradiccin
2.8. Falacias
Hay argumentos que no son vlidos llamados falacias. Hay varias falacias muy frecuentes
que surgen de razonamientos incorrectos. Estas falacias se asemejan a algunas reglas de
inferencia, pero se basan en contingencias, no en tautologas (recurdese que una
contingencia es cualquier proposicin que puede ser verdadera o falsa). Mostraremos la
diferencia entre razonamientos incorrectos y razonamientos correctos.
La proposicin ( p q) q p no es una tautologa, ya que es falsa cuando p es falsa y
q es verdadera. Sin embargo, hay muchos argumentos incorrectos que tratan a esta
proposicin como si fuese una tautologa. Este tipo de razonamiento incorrecto se llama
falacia de afirmar la conclusin.
60
Ejemplo 27. Es correcto el argumento siguiente? Si haces todos los problemas de este
libro, aprenders lgica. T has aprendido lgica. Por lo tanto hiciste todos los problemas
de este libro.
Solucin. Sea p la proposicin Hiciste todos los problemas del libro. Sea q la proposicin
T aprendiste lgica. Entonces, este argumento es de la forma si p q y q, entonces p.
Esto es un ejemplo de argumento incorrecto que usa la falacia de afirmar la conclusin. De
hecho, es posible que t aprendas lgica de alguna otra forma que no sea hacer todos los
problemas del libro. (Puedes aprender lgica leyendo, asistiendo a clases y haciendo
muchos, pero no todos, los problemas de este libro).
La proposicin ( p q) p q no es una tautologa, puesto que es falsa cuando p
falsa y q verdadera. Muchos argumentos incorrectos utilizan errneamente la anterior
proposicin como regla de inferencia. Este tipo de razonamiento incorrecto se llama falacia
de negar la hiptesis.
Ejemplo 28. Sean p y q las proposiciones del ejemplo 27. Si el condicional p q es
verdadero y p es verdadera, es correcto concluir que q es verdadera? En otras
palabras, es correcto asumir que no aprendiste lgica si no hiciste todos los problemas del
libro, suponiendo que si haces todos los problemas del libro, aprendes lgica?
Solucin. Es posible que aprendas lgica incluso si no haces todos los problemas del libro.
Este argumento incorrecto es de la forma p q y p implica q , que es un ejemplo de
falacia de negacin de la hiptesis.
En principio no hay una regla general que nos diga cuando debemos utilizar una
demostracin directa o indirecta. En algunas ocasiones el uso de una demostracin indirecta
viene sugerida por la dificultad de encontrar un punto de partida que relacione las distintas
informaciones dadas en el problema, y haga viable la demostracin requerida. En otras
palabras el que se use uno u otro mtodo de demostracin depende de la habilidad del
ejecutante, es decir, de la experiencia de la persona enfrentada al problema. Ojal que sirva
de consejo o al menos de consuelo al principiante el hecho de que, toda habilidad se logra
en el continuo ejercicio. Adelante!
Ejercicios
1. Demuestre p , por resolucin, de las siguientes premisas:
1) p q
P
2) r q
3) r p
2) ( p q) r P
3) ( s t ) q
4) t
3) s r
4) p q
4. Utilice la regla de resolucin para mostrar que las hiptesis No llueve o Ibeth tiene un
paraguas, Ibeth no tiene un paraguas o ella no se moja y Llueve o Ibeth no se moja
implican la conclusin Ibeth no se moja.
5. Utilice la regla de resolucin para demostrar
( p q) (p q) ( p q) (p q) no se cumple.
que
la
expresin
b)
c)
d)
e)
Que a pocos estudiantes les gusta la lgica si las matemticas no son fciles.
Que las matemticas no son fciles o la lgica es difcil.
Que la lgica no es difcil o las matemticas no son fciles.
Que si a pocos estudiantes les gusta la lgica, entonces bien las matemticas no son
fciles o bien la lgica no es difcil.
63
3. CLCULO DE PREDICADOS
3.1. Introduccin
El clculo de predicados es una generalizacin del clculo proposicional, contiene todas sus
componentes, incluyendo las constantes, las variables proposicionales y los conectivos
lgicos. Adems, el clculo de predicados contiene sujetos, predicados y cuantificadores,
conceptos que examinaremos en este captulo.
Solucin. Como Q(x) es falsa para todo nmero real x , la proposicin xQ(x) es falsa.
Cuando todos los elementos del dominio se pueden enumerar; escribindolos, por ejemplo,
como x1 , x2 , , xn , se sigue que la proposicin xP (x) es lo mismo que la disyuncin
P( x1 ) P( x2 ) ... P( xn ) , puesto que esta disyuncin es verdadera si, y slo si, al menos
uno de P( x1 ) , P( x2 ) , , P( xn ) es verdadera.
Ejemplo 12. Cul es el valor de verdad de xP (x) , donde P(x) es la expresin x 2 10
y el dominio consiste de los enteros positivos menores o iguales que 4?
Solucin. Como el dominio es 1, 2, 3, 4, la proposicin xP (x) es lo mismo que la
disyuncin P(1) P(2) P(3) P(4) . Como
verdadera, se sigue que xP (x) es verdadera.
P(4) , la proposicin 42 10 , es
Cundo es falsa?
Hay un x para el que P(x) es falsa
xP(x)
Definicin 3.6 La parte de una expresin lgica a la cual se aplica el cuantificador se llama
mbito (alcance) de este cuantificador. En consecuencia, una variable es libre si est fuera
del mbito de todos los cuantificadores en la expresin.
Ejemplo 13. En la expresin xQ( x, y) , la variable x est ligada por el cuantificador
existencial x , pero la variable y es libre porque no est ligada a un cuantificador y no se le
asigna valor alguno a esta variable.
En la proposicin x( P( x) Q( x)) xR( x) todas las variables estn ligadas. El mbito
del primer cuantificador, x , es la expresin P( x) Q( x) porque x se aplica slo a
P( x) Q( x) y no al resto de la proposicin. De forma similar, el mbito del segundo
cuantificador, x , es la expresin R(x) . Es decir, el cuantificador existencial x liga la
variable x en P( x) Q( x) y el cuantificador universal x liga la variable x en R(x) .
Obsrvese que podamos haber escrito la proposicin usando dos variables diferentes x y y
como x( P( x) Q( x)) yR( y) , porque los mbitos de los dos cuantificadores no se
solapan. Se debe prestar atencin cuando se utilice la misma letra para representar variables
ligadas por diferentes cuantificadores con mbitos que no se solapan.
3.7. Negaciones
En muchas ocasiones necesitamos obtener la negacin de una proposicin cuantificada. Por
ejemplo, consideremos la negacin de la expresin: Todos los estudiantes de la clase han
tomado un curso de clculo.
Esta expresin es una proposicin cuantificada universalmente, de la forma xP(x) , donde
P(x) es la funcin proposicional x ha tomado un curso de clculo. La negacin de esta
proposicin es No se cumple que todos los estudiantes de la clase hayan tomado un curso
de clculo. Esto es equivalente a Hay al menos un estudiante en la clase que no ha
tomado un curso de clculo. Y esto es simplemente la negacin de la funcin
proposicional cuantificada existencialmente, es decir, xP(x) .
Este ejemplo ilustra la siguiente equivalencia xP( x) xP( x) .
Supongamos que queremos negar una proposicin cuantificada existencialmente. Por
ejemplo, consideremos la proposicin Hay un estudiante en la clase que ha tomado un
curso de clculo. sta proposicin es de la forma xQ(x) , donde Q(x) es la funcin
proposicional x ha tomado un curso de clculo. La negacin de esta proposicin es No
se cumple que hay un estudiante en la clase que haya tomado un curso de clculo. Esto es
equivalente a Ninguno de los estudiantes de la clase ha tomado un curso de clculo, que
es justamente la negacin de la funcin proposicional cuantificada universalmente. Sera
equivalente, en leguaje poco comn, a Para todo estudiante se cumple que no ha tomado
un curso de clculo, o en forma simblica se puede escribir xQ(x) .
Este ejemplo ilustra la siguiente equivalencia xQ( x) xQ( x) .
69
xP(x)
xP(x)
d) n(n 2 n)
d) x( x 2 x)
funcin proposicional P(x) consiste en los enteros 0, 1,
de las siguientes proposiciones usando disyunciones,
b) xP(x)
d) xP(x)
f) xP(x)
10. Suponga que el dominio de la funcin proposicional P(x) consiste en los enteros 1, 2,
3, 4 y 5. Exprese cada una de las siguientes proposiciones sin usar cuantificadores, slo
disyunciones, conjunciones y negaciones.
a) xP(x)
b) xP(x)
c) xP(x)
d) xP(x)
e) x(( x 3) P( x)) xP( x)
Solucin. Primero, reescribimos la proposicin, de tal forma que podamos identificar con
claridad los cuantificadores que debemos emplear. Hacindolo, obtenemos: Para todo
estudiante de esta clase, ese estudiante ha estudiado clculo. Luego introducimos la
variable x, de tal forma que nuestra proposicin se convierte en Para todo estudiante x de
esta clase, x ha estudiado clculo. Continuando, introducimos la funcin proposicional
C x , que significa x ha estudiado clculo. Por consiguiente, si el dominio de x consiste
de los estudiantes de la clase, podemos traducir nuestra frase como xC (x) .
No obstante, hay otras opciones correctas; se pueden considerar diferentes dominios o
diferentes funciones proposicionales. La opcin que seleccionemos depender del
razonamiento que queramos realizar a continuacin. Por ejemplo, podemos estar
interesados en un grupo de personas ms amplio que el de esa clase en particular. Si
cambiamos el dominio, tomando el conjunto de todas las personas, habra que expresar
nuestro enunciado como Para toda persona x, si la persona x es un estudiante de esta clase,
entonces x ha estudiado clculo. Si S (x) significa x est en la clase, nuestra proposicin
se puede expresar como x(S ( x) C ( x)) . [Cuidado! Nuestra proposicin no puede
expresarse como x(S ( x) C ( x)) , puesto que esta proposicin afirmara que todas las
personas son estudiantes de la clase y han estudiado clculo!].
Finalmente, cuando estamos interesados en los estudios de una persona, aparte del clculo,
podramos preferir usar una funcin proposicional de dos variables Q( x, y) para la frase el
estudiante x ha estudiado la asignatura y . As, podramos reemplazar C (x) por
Q(x, clculo) en las dos opciones que hemos elegido para obtener xQ(x, clculo) o
x(S ( x) Q( x, clculo)) .
En el ejemplo anterior mostramos diferentes formas de expresar la misma proposicin
utilizando funciones proposicionales cuantificadores y conectivos lgicos. Sin embargo,
siempre adoptaremos la opcin ms sencilla que sea adecuada para nuestro razonamiento
posterior.
Ejemplo 17. Formalizar las frases Algn estudiante de esta clase ha visitado Mxico y
Todo estudiante de esta clase ha visitado bien Mxico o bien Argentina.
Solucin. La frase Algn estudiante de esta clase ha visitado Mxico significa que Hay
un estudiante en esta clase que tiene como atributo que ese estudiante ha visitado Mxico.
Podemos introducir una variable x , de tal forma que nuestra frase se convierte en Hay un
estudiante x en esta clase que tiene como atributo que ha visitado Mxico. Ahora,
introducimos la funcin proposicional M (x) , que es el enunciado x ha visitado Mxico.
Si el dominio para x consiste de los estudiantes de esta clase, se puede traducir esta
primera frase como xM (x) .
Sin embargo, si estamos interesados en otras personas adems de la clase, tomamos la frase
de forma ligeramente diferente. Nuestra frase se puede expresar como Hay una persona x
que tiene como atributos que x es un estudiante de esta clase y que x ha visitado Mxico.
73
En este caso, el dominio para la variable x es todas las personas. Introducimos la funcin
proposicional S (x) , x es un estudiante de esta clase. Nuestra solucin se convierte en
x(S ( x) M ( x)) , ya que la frase hace referencia a una persona x que es estudiante de la
clase y que ha visitado Mxico. [Cuidado! Nuestra proposicin no puede expresarse
como x(S ( x) M ( x)) , la cual es correcta cuando todos en la clase han visitado Mxico!].
De forma similar, la segunda frase se puede expresar como Para todo x en la clase, x
tiene como atributo que x ha visitado Mxico o x ha visitado Argentina. (Hay que tener
en cuenta que estamos asumiendo el o inclusivo, no el exclusivo). Sea C (x) la expresin
x ha visitado Argentina. Siguiendo el razonamiento anterior, vemos que si el dominio de
x consiste de los estudiantes de la clase, esta segunda proposicin se puede expresar como
x(C ( x) M ( x)) . Sin embargo, si el dominio de x consiste de todas las personas, la frase
se puede expresar como Para toda persona x , si x es un estudiante de esta clase, entonces
x ha visitado Mxico o x ha visitado Argentina. En este caso, la proposicin se puede
expresar como x(S ( x) (C( x) M ( x))) .
En lugar de utilizar las funciones proposicionales M (x) y C (x) para representar que x
ha visitado Mxico y que x ha visitado a Argentina, respectivamente, podramos haber
utilizado una funcin proposicional de dos variables V ( x, y) para representar x ha
visitado el pas y . En este caso, V (x, Mxico) y V (x, Argentina) tendran el mismo
significado que M (x) y C (x) , respectivamente, y podran reemplazarlas en nuestras
respuestas. Si estamos trabajando con muchas frases relacionadas con gente que visita
diferentes pases, podramos preferir la opcin de una funcin proposicional de dos
variables. En otros casos, por simplicidad, nos quedaramos con las funciones
proposicionales de una variable M (x) y C (x) .
Suponiendo que el dominio es el conjunto de todos los animales, expresar las proposiciones
del argumento anterior utilizando las funciones proposicionales P(x) , Q(x) y R(x) ,
cuantificadores y conectivos lgicos.
Solucin. Estas proposiciones se pueden expresar como:
x( P( x) Q( x))
x( P( x) R( x))
x(Q( x) R( x)) .
Se debe tener en cuenta que la segunda proposicin no se puede escribir como
x( P( x) R( x)) . La razn es que P( x) R( x) es verdadera siempre que x no sea un
len, por lo que x( P( x) R( x)) es verdadera mientras haya al menos un animal que no
sea un len, incluso si todo len toma caf. De forma similar, la tercera proposicin no
puede escribirse como x(Q( x) R( x)) .
Ejemplo 19. Consideremos las siguientes frases, de las cuales las tres primeras son
premisas y la cuarta es una conclusin vlida.
Todos los colibres tienen el plumaje de vivos colores.
No hay pjaros grandes que liben nctar.
los pjaros que no liban nctar tienen el plumaje de colores plidos.
Los colibres son pequeos.
Sean P(x) , Q(x) , R(x) y S (x) las expresiones x es un colibr, x es grande, x liba
nctar y x tiene el plumaje de vivos colores respectivamente. Suponiendo que el
dominio es el conjunto de todos los pjaros, expresar las proposiciones del argumento
anterior utilizando P(x) , Q(x) , R(x) y S (x) , cuantificadores y conectivos lgicos.
Solucin. Podemos expresar las proposiciones de este argumento como:
x( P( x) S ( x)) .
x(Q( x) R( x)) .
x(R( x) S ( x)) .
x( P( x) Q( x)) .
(Hay que tener en cuenta que hemos asumido que pequeo es lo mismo que no grande
y que plumaje de colores plidos es lo mismo que plumaje de colores no vivos).
Ejercicios
1. Traduzca de dos formas cada una de las siguientes frases a expresiones lgicas
utilizando funciones proposicionales, cuantificadores y conectivos lgicos. En primer
75
c) x( x 2 x)
Ejemplo 24. Expresar Si una persona es de sexo femenino y tiene un hijo, esta persona es
la madre de alguien mediante una expresin lgica utilizando funciones proposicionales,
cuantificadores y conectivos lgicos. El dominio es el conjunto de todas las personas.
Solucin. La frase anterior se puede expresar como Para toda persona x , si la persona x
es de sexo femenino y la persona x tiene un hijo, entonces existe una persona y tal que la
persona x es la madre de la persona y . Introducimos las funciones proposicionales F (x)
que significa x es de sexo femenino, P(x) que significa x tiene un hijo y M ( x, y)
que significa x es la madre de y . La frase original se puede expresar como
x(( F ( x) P( x)) yM ( x, y)) . Podemos desplazar y hacia la izquierda, puesto que y
no aparece en F ( x) P( x) , para obtener la siguiente expresin equivalente
xy(( F ( x) P( x)) M ( x, y)) .
Ejemplo 25. Expresar la proposicin Cada persona tiene exactamente un amigo preferido
mediante una expresin lgica utilizando funciones proposicionales, cuantificadores y
conectivos lgicos. El dominio es el conjunto de todas las personas.
Solucin. La frase anterior se puede expresar como Para cada persona x , la persona x
tiene exactamente un amigo preferido. Introduciendo el cuantificador universal, se ve que
la proposicin es la misma que x (la persona x tiene exactamente un amigo preferido),
donde el dominio consiste de todas las personas. Decir que x tiene exactamente un amigo
preferido significa que hay una persona y que es el mejor amigo de x , y adems, que para
toda persona z , si z no es la persona y , entonces z no es el mejor amigo de x . Cuando
introducimos la funcin proposicional A( x, y) como y es el mejor amigo de x , la
proposicin que afirma que x tiene exactamente un amigo preferido se puede representar
como y( A( x, y) z(( z y) A( x, z))) . En consecuencia, la proposicin original se
puede expresar como xy( A( x, y) z(( z y) A( x, z))) .
(Tambin se puede expresar como x! yA( x, y) , donde ! es el cuantificador de unicidad,
y se lee existe un nico. El cuantificador de unicidad no es realmente un cuantificador;
ms bien es un recurso para escribir ciertas proposiciones que se pueden expresar utilizando
los cuantificadores y ).
Ejemplo 26. Utilizar cuantificadores para expresar la proposicin Hay una mujer que ha
viajado en un vuelo en cada una de las aerolneas del mundo.
Solucin. Sea P(v, f ) v ha viajado en el vuelo f y Q( f , a) f es un vuelo de la
aerolnea a . Se puede expresar la proposicin como vaf ( P(v, f ) Q( f , a)) , donde
los dominios para v , f y a consisten de todas las mujeres del mundo, todos los vuelos y
todas las aerolneas, respectivamente. La proposicin se podra haber expresado como
vafR(v, f , a) , donde R(v, f , a) significa v ha viajado en el vuelo f de la aerolnea
a . Aunque esta expresin es ms compacta, oscurece un tanto las relaciones entre las
variables. Por ello, la primera solucin puede ser preferible.
80
consiste de todos los nmeros reales en vez de slo los reales positivos.
Las proposiciones con varios cuantificadores anidados se pueden negar aplicando
sucesivamente las reglas de negacin de las proposiciones que contienen un nico
cuantificador. Esto se ilustra en los ejemplos 30-32.
Ejemplo 30. Negar la proposicin xy( xy 1) . De tal forma que ninguna negacin
preceda al cuantificador.
81
Solucin. Aplicando sucesivamente las reglas para negar proposiciones dadas en la seccin
3.7, podemos mover la negacin en xy( xy 1) dentro de todos los cuantificadores.
Luego xy( xy 1) xy( xy 1) xy( xy 1) xy( xy 1) .
Ejemplo 31. Negar la proposicin No existe ninguna mujer que haya viajado en un vuelo
de cada una de las aerolneas del mundo.
Solucin. La afirmacin anterior es la negacin de la proposicin Hay una mujer que ha
viajado en un vuelo en cada una de las aerolneas del mundo del ejemplo 26. Por el
ejemplo 26, la proposicin se puede expresar como vaf ( P(v, f ) Q( f , a)) , donde
p(v, f ) es v ha viajado en f y Q( f , a) es f es un vuelo de la aerolnea a .
Aplicando sucesivamente las reglas para negar proposiciones dadas en la seccin 3.7 y las
leyes de De Morgan podemos mover la negacin en vaf ( P(v, f ) Q( f , a)) dentro
de todos los cuantificadores y obtener:
Aplicando
0 0x(0 x a f ( x) L )
0 0x(0 x a f ( x) L )
0 0x(0 x a f ( x) L )
0 0x(0 x a f ( x) L )
0 0x(0 x a f ( x) L )
0 0x(0 x a f ( x) L ) .
Utilizamos la equivalencia ( p q) p q en el penltimo paso. Debido a que
lm xa f (x) no existe, significa que para todos los nmeros reales L , lm xa f ( x) L , la
proposicin se puede expresar como L 0 0x(0 x a f ( x) L ) .
82
Esta ltima proposicin afirma que para cada nmero real L hay un nmero real 0 tal
que para todo nmero real 0 existe un nmero real x tal que
0 x a f ( x) L .
xyP( x, y)
xyP( x, y)
xyP( x, y)
yxP( x, y)
Cundo es falsa?
Hay un par x ,
P( x, y) es falsa.
y para el cual
xyP( x, y) yxP( x, y)
xyP( x, y) yxP( x, y) .
84
Ejercicios
1. Traduzca cada una de las siguientes proposiciones a lenguaje natural, donde el dominio
para todas las variables es el conjunto de los nmeros reales.
a) xy( x y)
b) xy((( x 0) ( y 0)) ( xy 0))
c) xyz( xy z)
2. Sea Q( x, y) la expresin x ha enviado un correo electrnico a y , donde el dominio
tanto para x como para y consiste en todos los estudiantes de tu clase. Exprese cada
una de las siguientes proposiciones en lenguaje natural.
a) xyQ( x, y)
b) xyQ( x, y)
c) xyQ( x, y)
d) yxQ( x, y)
e) yxQ( x, y)
f) xyQ( x, y)
3. Supongamos que mediante la expresin W ( x, y) queremos expresar que el estudiante
x ha visitado la pgina web y , donde el dominio para x consiste de todos los
estudiantes de tu facultad y para y consiste de todas las pginas web. Exprese cada una
de las siguientes proposiciones en lenguaje natural.
a) W (Sara , www.att.com)
b) xW (x, www.imdb.org)
c) yW (Jos, y)
d) y(W (Yuri, y) W (Cindy, y))
e) yz( y (David) (W (David, z) W ( y, z)))
f) xyz(( x y) (W ( x, z) W ( y, z)))
4. Supongamos que mediante la expresin T ( x, y) queremos expresar que al estudiante x
le gusta la cocina del pas y , donde el dominio para x consiste de todos los estudiantes
de tu facultad y para y consiste de todos los pases con cultura culinaria propia.
Exprese cada una de las siguientes proposiciones en lenguaje natural.
a) T (Abdallah, japonesa)
b) xT ( x, coreana) xT ( x, mexicana)
c) y(T (Mnica, y) T (Juan, y))
d) xzy(( x z) (T ( x, y) T ( z, y)))
e) xzy(T ( x, y) T ( z, y))
f) xzy(T ( x, y) T ( z, y))
5. Sea L( x, y) la expresin x quiere a y , donde el dominio tanto para x como para y
consiste en todas las personas del mundo. Utilice slo la funcin proposicional L( x, y)
y cuantificadores para expresar cada una de las siguientes proposiciones.
a) Todo el mundo quiere a Jaime.
b) Todo el mundo quiere a alguien.
85
c)
d)
e)
f)
g)
h)
i)
j)
l) Todos los estudiantes de la clase bien han recibido un mensaje por correo
electrnico de otro estudiante de la clase o bien ha sido telefoneado por otro
estudiante de la clase.
m) Hay al menos dos estudiantes en tu clase tales que uno ha enviado al otro un
mensaje por correo electrnico y el segundo ha telefoneado al primero.
n) Hay dos estudiantes en tu clase que entre ambos bien han enviado un mensaje por
correo electrnico o bien han telefoneado a cada uno de los dems miembros de la
clase.
8. Utilice cuantificadores y funciones proposicionales con ms de una variable (si es
necesario) para expresar las siguientes afirmaciones.
a) Todo estudiante de ingeniera necesita un curso de lgica.
b) Hay un estudiante en esta clase que tiene un computador personal.
c) Todo estudiante de esta clase ha cursado al menos una asignatura de matemticas.
d) Hay un estudiante en esta clase que ha cursado al menos un curso de matemticas.
e) Todo estudiante de esta clase ha estado en todos los edificios del campus.
f) Hay un estudiante en esta clase que ha estado en todos los salones de al menos un
edificio del campus.
g) Todo estudiante de esta clase ha estado al menos en un saln de cada edificio del
campus.
9. Exprese cada una de las siguientes proposiciones utilizando operadores matemticos y
lgicos, funciones proposicionales y cuantificadores. El dominio consiste de todos los
nmeros enteros.
a) La suma de dos enteros negativos es negativa.
b) La diferencia de dos enteros positivos no es necesariamente positiva.
c) La suma de los cuadrados de dos enteros es mayor o igual que el cuadrado de la
suma.
d) El valor absoluto del producto de dos enteros es el producto de sus valores
absolutos.
10. Utilice funciones proposicionales, cuantificadores, conectivos lgicos y operadores
matemticos para expresar la proposicin que dice que todo entero positivo es la suma
de los cuadrados de cuatro enteros.
11. Exprese cada una de las siguientes proposiciones utilizando operadores matemticos y
lgicos, funciones proposicionales y cuantificadores. El dominio consiste de todos los
nmeros reales.
a) El producto de dos reales negativos es positivo.
b) La diferencia entre un nmero real y l mismo es cero.
c) Todo real positivo tiene exactamente dos races cuadradas.
d) Un real negativo no tiene races reales.
12. Cules son los valores de verdad de las siguientes proposiciones?
a) ! xP( x) xP( x)
b) xP( x) ! xP( x)
87
c) ! xP( x) xP( x)
13. Escriba ! xP( x) , donde el dominio consiste de los enteros 1, 2 y 3, en trminos de
negaciones, conjunciones y disyunciones.
14. Considere la funcin proposicional P(x) : x 1 . D un ejemplo de dominio para el
cual la proposicin ! xP( x) sea verdadera y otro ejemplo de dominio para el cual la
proposicin ! xP( x) sea falsa.
15. Sea P( x, y) la funcin proposicional y 2 x , donde el dominio para las variables
es el conjunto de los nmeros enteros. Determine el valor de verdad de las siguientes
proposiciones.
a) x! yP( x, y) ! yxP( x, y)
b) ! yxP( x, y) x! yP( x, y)
16. Resuelva el ejercicio anterior si P( x, y) la funcin proposicional x y es par.
17. Demuestre que cada una de las siguientes proposiciones se pueden utilizar para expresar
el hecho de que hay un nico elemento x tal que P(x) es verdadera. (Tenga en cuenta
que sta es la proposicin ! xP( x) ).
a) xy( P( y) x y)
b) xP( x) xy( P( x) P( y) x y)
c) x( P( x) y( P( y) x y))
18. Traduzca cada una de las siguientes proposiciones a lenguaje natural que exprese una
afirmacin matemtica. El dominio en cada caso consiste del conjunto de los nmeros
reales.
a) xy( xy y)
b) xy((( x 0) ( y 0)) ( xy 0))
c) xy(( x 2 y) ( x y))
d) xyz( x y z)
19. Determine el valor de verdad de cada una de las siguientes proposiciones si el dominio
de todas las variables es el conjunto de todos los nmeros enteros.
a) nm(n 2 m)
b) nm(n m2 )
c) nm(n m 0)
d) nm(nm m)
e) nm(n 2 m2 5)
g) nm(n m 4 n m 1)
f) nm(n 2 m2 6)
h) nm(n m 4 n m 2)
21. Exprese la negacin de cada una de las siguientes proposiciones de tal forma que todos
los smbolos de negacin no precedan a los cuantificadores.
a) xyzT ( x, y, z)
b) xyP( x, y) xyQ( x, y)
c) xy( P( x, y) zR( x, y, z))
d) xy( P( x, y) Q( x, y))
22. Reescriba cada una de las siguientes proposiciones de tal forma que las negaciones
aparezcan slo dentro de las funciones proposicionales (es decir, de tal forma que
ninguna negacin est fuera de un cuantificador o de una expresin con conectivos
lgicos).
a) xyP( x, y)
b) yxP( x, y)
c) yx( P( x, y) Q( x, y))
d) (xyP( x, y) xyQ( x, y))
e) x(yzP( x, y, z) zyP( x, y, z))
23. Exprese cada una de las siguientes proposiciones utilizando cuantificadores. Luego
forme la negacin de la proposicin de tal forma que ninguna negacin quede a la
izquierda del cuantificador. Despus, exprese la negacin en lenguaje natural. (No se
limite a usar la expresin No se cumple que ).
a) Cada estudiante de esta clase ha cursado exactamente dos asignaturas de
matemticas en esta facultad.
b) Alguien ha visitado todos los pases del mundo, excepto Libia.
c) Nadie ha escalado todas las montaas del Himalaya.
d) Todo actor ha participado en una pelcula con Kevin Bacon o ha participado en una
pelcula con algn otro actor que ha participado en una pelcula con Kevin Bacon.
24. Encuentre un contraejemplo, si es posible, para las siguientes proposiciones
cuantificadas universalmente, donde el dominio de todas las variables consiste en todos
los nmeros enteros.
a) xy( x 2 y 2 x y)
b) xy( y 2 x)
c) xy( xy x)
c) xy( x 2 y 3 )
25. Utilice cuantificadores para expresar la propiedad asociativa para el producto de
nmeros reales.
26. Determine el valor de verdad de la proposicin xy( xy 1) si el dominio es:
a) Los nmeros reales no nulos.
b) Los nmeros enteros no nulos.
c) Los nmeros reales positivos.
3.12. Validez
Los argumentos lgicos tienen que ser vlidos en todas las circunstancias. Si un argumento
ha de ser correcto, tendr que ser verdadero para todas las interpretaciones. Esto nos lleva
al concepto de validez, que se define de la forma siguiente:
89
Definicin 3.7 Una expresin lgica que es siempre verdadera, no importa las funciones
proposicionales que la componen ni las asignaciones posibles para las variables, se dice que
es vlida. Una expresin lgica que es siempre falsa se llama contradictoria. Finalmente,
una expresin lgica que no es ni vlida ni contradictoria se dice que es viable; es decir si
existe una interpretacin para la cual la expresin lgica es verdadera.
Por lo tanto, si una expresin lgica A es vlida, entonces A es contradictoria. Si A no
es vlida, entonces A es viable.
Las expresiones vlidas en el Clculo de Predicados juegan el mismo papel que las
tautologas en el Clculo Proposicional.
La nocin de validez nos permite definir las implicaciones y las equivalencias lgicas de
manera similar como se hizo en el captulo uno.
Definicin 3.8 Sean A y B dos expresiones lgicas. Un condicional, A B , que es una
expresin valida, se llama una implicacin lgica, y se denota por A B , se dice tambin
que A implica lgicamente a B . Un bicondicional, A B , que es una expresin valida,
se llama una equivalencia lgica, y se denota por A B A B , se dice tambin que A
y B son lgicamente equivalentes.
Tal como en clculo proposicional, se pueden utilizar las equivalencias lgicas para
manipular expresiones, y se pueden utilizar las implicaciones lgicas como base para hacer
deducciones correctas.
El siguiente ejemplo muestra una expresin que es vlida.
Ejemplo 36. Demostrar que x( P Q( x)) P xQ( x) , donde P es cualquier
proposicin.
Solucin. Dado que P es o bien verdadera o bien falsa, esto significa que en lugar de
x( P Q( x)) P xQ( x) se puede demostrar la validez de las dos siguientes
equivalencias x(V Q( x)) V xQ( x) y x( F Q( x)) F xQ( x) . Puesto que
V Q(x) es Q(x) , el lado izquierdo de la primera equivalencia se reduce a xQ(x) . Por
una razn similar, el lado derecho de sta misma equivalencia se reduce a xQ(x) y
xQ( x) xQ( x) es evidentemente vlida. Adems, la segunda equivalencia es vlida
porque ambos lados son siempre verdaderos: F Q(x) es trivialmente verdadero, y
tambin lo es F xQ(x) . En conclusin, x( P Q( x)) P xQ( x) es vlida
independientemente de que P sea verdadera o falsa.
Las expresiones vlidas del clculo de predicados tambin se aplican a la forma de la
proposicin, como en el clculo proposicional, en el sentido de que se puede hacer que cada
variable lgica represente una expresin. Por supuesto, la particularizacin tiene que ser
congruente, en el sentido de que un mismo smbolo debe representar a una misma
expresin. Adems hay que prestar especial atencin a las variables libres y ligadas.
90
Para demostrar esto, consideremos la equivalencia del ejemplo anterior. En esta expresin,
P se puede sustituir por cualquier expresin, siempre y cuando esa expresin no contenga
a x como variable libre, y esa sustitucin no afecte su validez. Por ejemplo, supongamos
que P representa Brilla el sol, Q representa Hace buen tiempo y H (x) representa x
es feliz. Entonces se tiene, a partir de x( P Q( x)) P xQ( x) , que
x(( P Q) H ( x)) ( P Q) xH ( x) . Por lo tanto, si es cierto para todo el mundo
que si brilla el sol y hace buen tiempo, entonces son felices, se puede concluir que si brilla
el sol y hace buen tiempo, entonces todo el mundo es feliz.
La P se puede sustituir, incluso, por una funcin proposicional que contenga una variable
libre. Por ejemplo, supongamos que S ( y) significa y est cantando, y F (x) significa
x
es
feliz,
tal
como
antes.
Entonces
se
puede
particularizar
x( P Q( x)) P xQ( x) para obtener x(S ( y) F ( x)) S ( y) xF ( x) . Sin
embargo la expresin que sustituya a P no debe contener a x como variable libre. Para ver
por qu no debe hacerse esto, consideremos la siguiente equivalencia, que ya no es vlida,
(x(S ( x) F ( x))) (S ( x) xF ( x)) . En este caso, x(S ( x) F ( x)) representa
Todo el que canta es feliz, mientas que el lado derecho representa Si x canta, entonces
todo el mundo es feliz, y estas dos frases son distintas. Aunque puede ser cierto que todo
el que canta es feliz, tambin puede ser cierto al mismo tiempo que nadie sea feliz si x
canta. Las dos frases son distintas porque la ltima x de S ( x) xF ( x) est ligada, pero
la primera x de S ( x) xF ( x) es libre. Las dos apariciones de x son, por lo tanto,
variables distintas, y (x(S ( x) F ( x))) (S ( x) xF ( x)) ya no es un caso vlido de
x( P Q( x)) P xQ( x) . En conclusin, si cualquier proposicin que aparezca ms
de una vez en una expresin vlida se sustituye por una funcin proposicional que contenga
una variable libre, entonces hay que preocuparse de que esa variable no pase a estar ligada
en el procedimiento. En caso contrario, el resultado puede ser no vlido.
Dado que la validez es muy importante, seran muy convenientes unos mtodos que
permitieran demostrar si una expresin es o no vlida. Desafortunadamente, no hay
mtodos que funcionen en todos los casos. De hecho, el problema es del tipo que se
denomina indecidible. Los problemas indecidibles no tienen una solucin general, en el
sentido de que no existe un mtodo que pueda proporcionar de modo fiable una respuesta
para el problema. Si un problema es indecidible, entonces tiene uno que buscar casos
especiales, o bien hay que contentarse con mtodos que a veces no llegan a dar una
respuesta; tpicamente, esto sucede porque caen en algn tipo de bucle. Un mtodo para
demostrar que una expresin es vlida consiste en mostrar que su negacin es
contradictoria. Este mtodo se discutir ms adelante. En primer lugar, presentamos
mtodos que se pueden utilizar para mostrar que una expresin dada no es vlida.
Una expresin A es vlida si no hay ninguna funcin proposicional ni ninguna asignacin
para las variables que genere en A un valor de verdad F . Para determinar que A no es
vlida, es entonces suficiente dar un contraejemplo; es decir, basta con proporcionar una
funcin proposicional o bien una asignacin para las variables que genere un valor de
verdad F en A . En forma equivalente, basta con determinar que A es viable. Para
determinar la no validez, consideremos los siguientes dos ejemplos.
91
x
a
b
P(x)
V
F
Q(x)
F
V
P( x) Q( x)
V
V
Otras expresiones son vlidas por definicin. Por ejemplo, xP(x) debe implicar P(t ) para
cualquier t . Si se dispone de estas demostraciones sencillas, hay que utilizarlas. Sin
embargo, dado que el problema es indecidible, no existe un mtodo aplicable en general
que, dada cualquier expresin, pueda determinar de forma fiable si la expresin es o no
vlida. Sin embargo, existen mtodos que funcionan en un gran nmero de casos. El
mtodo que se utiliza con ms frecuencia est basado en el hecho de que si una expresin
A es vlida, entonces A tiene que ser contradictoria; mtodo analizado en el captulo
anterior, conocido como demostracin por contradiccin o demostracin por reduccin al
absurdo. En los siguientes dos ejemplos, utilizaremos ste mtodo de prueba indirecta,
para determinar la validez de una expresin.
Ejemplo 39. Demostrar que la siguiente expresin xP( x) xP( x) es vlida.
Solucin. Para demostrar que xP( x) xP( x) es vlida, hay que probar que no hay
ningn caso que haga verdadera a xP(x) , al mismo tiempo que hace que la negacin del
consecuente xP(x) sea falsa. En otras palabras, hay que mostrar que no hay ningn caso
que haga verdaderas tanto a xP(x) como a xP(x) . Esto es inmediato, es imposible
que P(x) sea verdadero para todo x y que al mismo tiempo, P(x) sea falso para todo x .
Esto es una contradiccin, lo cual demuestra que la expresin xP( x) xP( x) es
vlida.
Obsrvese que aun cuando la proposicin xP( x) xP( x) es vlida, la recproca no
lo es. Es decir, la proposicin xP( x) xP( x) no es vlida. Por ejemplo, si P(x)
significa x tiene trabajo, entonces xP(x) quiere decir no todo el mundo no tiene
trabajo, mientras que xP(x) quiere decir todo el mundo tiene trabajo, y no es lo mismo
lo uno que lo otro. La frase no todo el mundo no tiene trabajo admite la posibilidad de
que existan personas que no tengan trabajo, mientras que todo el mundo tiene trabajo no
la admite.
Ejemplo 40. Demostrar que la expresin xP( x) xQ( x) x( P( x) Q( x)) es vlida.
Solucin. Para demostrar que xP( x) xQ( x) implica lgicamente a x( P( x) Q( x)) ,
demostraremos que no puede haber un caso que haga verdadera a xP( x) xQ( x) al
mismo tiempo que hace falsa x( P( x) Q( x)) . Para hacer esto, supongamos que
x( P( x) Q( x)) es falsa. Esto significa que x( P( x) Q( x)) es verdadera, o, en forma
equivalente, que x( P( x) Q( x)) es verdadera. Entonces, tiene que existir al menos un
individuo para el cual ( P( x) Q( x)) sea verdadero. Si este individuo es x a , entonces
( P(a) Q(a)) tiene que ser verdadero, y esto solamente es cierto si tanto P(a) como
Q(a) son falsos, entonces xP(x) y x(x) tienen que ser falsos los dos. Esto implica, a su
vez, que xP( x) xQ( x) tiene que ser falso. Se ha obtenido una contradiccin (que
xP( x) xQ( x) es simultneamente verdadera y falsa), y por lo tanto
xP( x) xQ( x) x( P( x) Q( x)) es vlida.
93
Ejercicios
1. Demuestre que las siguientes expresiones son viables.
a) ( P( x) Q( y)) Q( y) P( y)
b) xy( P( x, y) P( y, x)) xyQ( x, y)
2. Demuestre que las siguientes expresiones no son vlidas.
a) x( P( x) Q( x)) xP( x) xQ( x)
b) xP( x) xQ( x) x( P( x) Q( x))
c) (xP( x) xQ( x)) x( P( x) Q( x))
d) ( P( x) Q( y)) (Q( y) R( z)) ( P( z) Q( z))
e) (x( P( x) Q( x)) P(a)) Q(a)
3. Es vlida la expresin P( x) ( P( x) Q( x)) ? Razone su respuesta.
4. Demuestre que las siguientes expresiones son vlidas.
a) x( P( x) Q( x)) (xP( x) xQ( x))
b) xP( x) xQ( x) x( P( x) Q( x))
c) x( P( x) Q( x)) xP( x) xQ( x)
d) xyP( x, y) yxP( x, y)
e) x(y( P( y) Q( y)) R( x)) xy(P( y) Q( y) R( x))
5. Demuestre que las siguientes expresiones son vlidas.
a) x( P( x) Q( x)) xP( x) xQ( x)
b) xP( x) xQ( x) x( P( x) Q( x))
c) x( P( x) Q( x)) xP( x) xQ( x)
d) xP( x) xQ( x) x( P( x) Q( x))
Obsrvese que (a) y (b) muestran que x( P( x) Q( x)) xP( x) xQ( x) y que (c) y
(d) muestran que x( P( x) Q( x)) xP( x) xQ( x) . Equivalencias dadas en la tabla
de la seccin 3.13 (la 9 y la 10).
En algunos casos resulta ventajoso eliminar los cuantificadores universales. Sin embargo,
los cuantificadores universales no se pueden eliminar a no ser que se encuentren al
principio de la expresin. En este aspecto, la equivalencia siguiente resulta interesante.
Ejemplo 44. Demostrar la equivalencia: xP( x) yQ( y) xy( P( x) Q( y)) .
Solucin. Se tiene que: xP( x) yQ( y) x( P( x) yQ( y)) , ley 7
xy( P( x) Q( y)) , ley 7.
Obsrvese que es de aplicacin la condicin consistente en que en xP( x) yQ( y) ,
yQ( y) no contiene la variable ligada x para aplicar la ley 7; adems, cuando se aplica
por segunda vez la ley 7, en x( P( x) yQ( y)) , la variable ligada es y , y P(x) no
contiene a y .
Ejemplo 45. Demostrar que las expresiones x( P( x) Q( y)) y xP( x) Q( y) son
lgicamente equivalentes.
Solucin. x( P( x) Q( y)) x(P( x) Q( y)) , equivalencia del condicional
xP( x) Q( y) , ley 7
xP( x) Q( y) , ley 14
xP( x) Q( y) , equivalencia del condicional.
Obsrvese de nuevo que la variable ligada es x , y Q( y) no contiene x para aplicar la ley 7.
Ejemplo 46. Demostrar que las expresiones xyz( P( x, y) P( y, z) P( x, z)) y
xz(y( P( x, y) P( y, z)) P( x, z)) son lgicamente equivalentes.
Solucin. xyz( P( x, y) P( y, z) P( x, z)) xz(y( P( x, y) P( y, z) P( x, z)))
xz(y( P( x, y) P( y, z)) P( x, z)) .
El cuantificador ms interno de xz(y( P( x, y) P( y, z) P( x, z))) es un caso
particular del lado izquierdo de la equivalencia del ejemplo anterior, y la variable ligada es
en este caso y y P( x, z ) no contiene y .
Ejercicios
1. Determine si x( P( x) Q( x)) y xP( x) xQ( x) tienen el mismo valor de verdad.
2. Muestre que x( P( x) Q( x)) y xP( x) xQ( x) tienen el mismo valor de verdad.
3. Verifique las siguientes equivalencias lgicas, donde A es una proposicin no
cuantificada.
96
a) (xP( x)) A x( P( x) A)
b) (xP( x)) A x( P( x) A)
4. Muestre que x( P( x) Q( x)) y xP( x) xQ( x) no son lgicamente equivalentes.
5. Muestre que las proposiciones xyP( x, y) y xyP( x, y) tienen el mismo valor
de verdad.
6. Muestre que xP( x) xQ( x) y xy( P( x) Q( y)) son lgicamente equivalentes.
(La nueva variable y se emplea para combinar los cuantificadores correctamente).
7. Demuestre las siguientes equivalencias
a) xP( x) Q( y) x( P( x) Q( y))
b) xP( x) Q( y) x( P( x) Q( y))
8. Demuestre las siguientes equivalencias
a) xP( x) xQ( x) xy( P( x) Q( y))
b) xP( x) xQ( x) xy( P( x) Q( y))
c) xP( x) y( P( y) Q( y)) xP( x)
9. Dada las expresiones a) xP( x) x(Q( x) P( x)) y b) xP( x) x(Q( x) P( x))
traslade todos los cuantificadores al comienzo de cada expresin.
10. Sea P(x) la funcin proposicional x encuentra el error y sea Q la proposicin el
error del programa puede ser corregido. Traduzca a lenguaje natural la siguiente
expresin xP( x) Q .
11. Sea P
equivalente a yR( y) .
x( P Q( x)) xy(Q( x) R( y)) .
Demuestre
la
siguiente
equivalencia
P
12. Sea
equivalente a yR( y) .
x( P Q( x)) xy(Q( x) R( y)) .
Demuestre
la
siguiente
equivalencia
xP ( x)
P(a)
Es la regla de inferencia que se utiliza para concluir que P(a) es verdadera, donde a es un
individuo particular del dominio, dada la premisa xP(x) . Se utiliza la particularizacin
universal cuando se concluye de la proposicin Todas las mujeres son sabias que Elisa
es sabia, donde Elisa es un miembro del dominio de todas las mujeres.
2. Generalizacin Universal (GU).
P(a )
xP ( x)
para un a arbitrario.
Es la regla de inferencia que declara que xP(x) es verdadera, dada la premisa de que
P(a) es verdadera para todos los individuos a del dominio. Utilizamos la generalizacin
universal cuando mostramos que xP(x) es verdadera tomando un elemento arbitrario a
del dominio y mostrando que P(a) es verdadera. El elemento a seleccionado debe ser un
elemento arbitrario del dominio y no uno especfico. La generalizacin universal se usa
implcitamente en muchas demostraciones matemticas; rara vez se menciona
explcitamente.
3. Particularizacin Existencial (PE).
xP ( x)
para algn elemento a .
P(a)
Es la regla de inferencia que nos permite concluir que hay un elemento a en el dominio
para el cual P(a) es verdadera si sabemos que xP(x) es verdadera. Aqu no podemos
seleccionar un valor arbitrario de a , sino que debe ser un a para el cual sea verdadera.
Generalmente, no tenemos conocimiento de qu a es, slo de que ste existe. Como existe,
le podemos dar un nombre y continuar nuestro razonamiento.
4. Generalizacin Existencial (GE).
P(a)
para algn elemento a .
xP ( x)
Es la regla de inferencia que se utiliza para concluir que xP(x) es verdadera cuando se
conoce un elemento particular a con P(a) verdadera. Esto es, si conocemos un elemento
a del dominio para el cual P(a) verdadera, sabemos que xP(x) es verdadera.
Mostraremos cmo se utilizan estas reglas de inferencia en los siguientes dos ejemplos.
98
Ejemplo 47. Mostrar que las premisas Todo el mundo en la clase de Lgica est
matriculado en ingeniera y Mara es una estudiante de esta clase implican la conclusin
Mara est matriculada en ingeniera.
Solucin. Sean P(x) x est en la clase de Lgica y Q(x) x est matriculado en
ingeniera. Entonces las premisas son x( P( x) Q( x)) y P(M ) , donde M representa a
Mara. La conclusin es Q(M ) . Se pueden usar los siguientes pasos para establecer la
conclusin a partir de las premisas:
1) x( P( x) Q( x))
2) P( M )
3) P( M ) Q( M )
PU 1
4) Q( M )
MPP 2, 3
Ejemplo 48. Mostrar que las premisas Un estudiante de esta clase no ha ledo el libro y
Todo el mundo en esta clase aprob el primer parcial implican la conclusin Alguien
que aprob el primer parcial no ha ledo el libro.
Solucin. Sean P(x) x es de esta clase, Q(x) x ha ledo el libro y R(x) x ha
aprobado el primer parcial. Las premisas son x( P( x) Q( x)) y x( P( x) R( x)) . La
conclusin es x( R( x) Q( x)) . Los pasos siguientes establecen la conclusin a partir de
las premisas.
1) x( P ( x) Q( x))
2) x( P( x) R( x))
3) P(a) Q(a)
PE 1
4) P(a)
S3
5) Q(a)
S3
6) P(a) R(a)
PU 2
7) R(a)
MPP 4, 6
8) R(a) Q(a)
A 5, 7
9) x( R ( x) Q( x))
GE 8
Se pueden utilizar tambin las reglas de inferencia para proposiciones cuantificadas dadas
en esta seccin para demostrar que una expresin es vlida. Esto lo mostraremos en los dos
siguientes ejemplos.
Ejemplo 49. Demostrar que la expresin xP( x) xQ( x) x( P( x) Q( x)) es vlida.
(ste ejercicio se desarroll en el ejemplo 40 de la seccin 3.12).
Solucin. Como ya se haba dicho, para demostrar la validez se utiliza el mtodo de
demostracin por contradiccin. Demostraremos que la negacin de la expresin
99
Supuesto
2) x( P( x) Q( x))
Supuesto
3) x( P( x) Q( x))
Equiv. 2
4) x(P( x) Q( x))
LD 3
5) P(a) Q(a )
PE 4
6) P(a )
S5
7) xP( x)
GE 6
8) xP ( x)
Equiv. 7
9) Q(a )
S5
10) xQ( x)
GE 9
11) xQ ( x)
Equiv. 10
12) xP ( x) xQ ( x)
A 8, 11
LD 12
A 1, 13
TD 1, 2 y 14
16) xP ( x) xQ ( x) x( P( x) Q( x))
Ley de contradiccin 15
Ejercicios
En los ejercicios 1 al 5 utilice todas las reglas de inferencia necesarias para resolverlos.
1. Demuestre xQ(x) a partir de las siguientes premisas
1) P( x)
P
2) x( P( x) Q( x))
P
2. Demuestre xP(x) a partir de las siguientes premisas
1) xQ( x)
P
2) x( P( x) Q( x))
P
3. Demuestre yF ( y) a partir de las siguientes premisas
1) xM ( x)
P
2) x( M ( x) yC ( x, y ))
3) x(yC ( x, y ) F ( x))
2) xP( x)
3) x(Q( x) R( x))
4) x( S ( x) R( x))
6. Haga una deduccin formal para demostrar que xyP( x, y) implica lgicamente a
yxP( x, y) .
7. Haga una deduccin formal para demostrar que xP(x) implica lgicamente a xP(x) .
101
8. Qu regla de inferencia se utiliza en este famoso argumento? Todos los hombres son
mortales. Scrates es un hombre. Por lo tanto, Scrates es mortal.
9. Para cada uno de los siguientes conjuntos de premisas, qu conclusin o conclusiones
de pueden deducir? Indique las reglas de inferencia utilizadas para obtener la
conclusin.
a) Todo estudiante de ingeniera tiene un computador. Rafael no tiene
computador. Ana tiene un computador
b) Todos los roedores roen su comida. Los ratones son roedores. Los conejos no
roen la comida. Los murcilagos no son roedores.
10. Para cada una de las siguientes deducciones, explique qu reglas de inferencia se han
utilizado en cada paso.
a) Pedro, un estudiante de esta clase, sabe programar en JAVA. Todos los que saben
programar en JAVA pueden conseguir trabajos bien remunerados. Por lo tanto,
alguien en esta clase puede conseguir un trabajo bien remunerado.
b) A alguien de la clase le gusta observar las ballenas. Todas las personas a las que
les gusta observar las ballenas se preocupan por la contaminacin del ocano. Por lo
tanto, hay una persona en la clase que se preocupa por la contaminacin del ocano
c) Cada uno de los 30 estudiantes de la clase tiene un computador. Todos los que
tienen un computador pueden utilizar un editor de texto. Por lo tanto, Zacaras, un
estudiante de la clase, puede utilizar un editor de texto.
d) Todo el mundo en Santo Domingo vive a menos de 100 km del ocano. Alguien en
Santo Domingo no ha visto nunca el ocano. Por lo tanto, alguien que vive a menos
de 100 km del ocano no ha visto nunca el ocano.
11. Para cada una de las siguientes deducciones determine si es correcta o incorrecta y
explique por qu.
a) Todos los estudiantes de la clase entienden lgica. Javier es un estudiante de la
clase. Por lo tanto, Javier entiende lgica.
b) Todos los estudiantes de ingeniera toman lgica. Natalia toma lgica. Por lo tanto,
Natalia es estudiante de ingeniera.
c) A todos los loros les gusta la fruta. Mi pjaro no es un loro. Por lo tanto, a mi pjaro
no le gusta la fruta.
d) Los que comen verduras todos los das estn sanos. Linda no est sana. Por lo tanto,
Linda no come verduras todos los das.
12. Qu est equivocado en la siguiente deduccin? Sea H (x) x est feliz. Dada la
premisa xH (x) , concluimos que H (Lola) . Por lo tanto, Lola est feliz.
13. Qu est equivocado en la siguiente deduccin? Sea S ( x, y) x es ms bajo que y .
Dada la premisa sS (s, Max) , se tiene que S (Max, Max) . Entonces, por generalizacin
existencial, se sigue que xS ( x, x) , por lo que alguien es ms bajo que l mismo.
14. Qu reglas de inferencia se utilizan para establecer las conclusiones de los argumentos
de Lewis Carroll descritos en los ejemplos 18 y 19 de la Seccin 3.9?
102
15. Demuestre la validez del siguiente argumento: Slo las personas que respetan a
alguien son amigables. Cada persona o es creyente y respeta a Juan, o es amigable.
Por lo tanto, si no todas las personas son creyentes entonces existen dos personas tales
que una respeta a la otra.
16. Demuestre que las premisas Slo las buenas personas ayudan a los pobres, Ninguna
buena persona es aficionada a la fotografa, Antonio ayuda a Juan y Antonio es
aficionado a la fotografa implican la conclusin Juan no es pobre.
Una proposicin est en forma normal prenex (FNP) si, y slo si, es de la forma
Q1 x1Q2 x2 ...Qk xk P( x1 , x2 ,..., xk ) , donde cada Qi , i 1, 2, ..., k , es bien el cuantificador
universal o bien el cuantificador existencial, y P( x1 , x2 ,..., xk ) es una funcin proposicional
que no involucra ningn cuantificador. Por ejemplo, xy( P( x, y) Q( y)) est en forma
normal prenex, mientras que xP( x) xQ( x) no (ya que no todos los cuantificadores se
presentan al comienzo de la expresin). Toda proposicin formada con variables, funciones
proposicionales y las constantes V y F , utilizando conectivos lgicos y cuantificadores, es
equivalente a una proposicin en forma normal prenex. El problema 2 pide mostrar este
hecho.
1. Exprese las siguientes proposiciones en forma normal prenex.
a) xP( x) xQ( x) A , donde A es una proposicin que involucra cuantificadores.
b) (xP( x) xQ( x))
c) xP( x) xQ( x)
2. Muestre cmo se puede transformar una proposicin arbitraria en una proposicin en
forma normal prenex que sea equivalente a la proposicin dada.
3. (Se requiere clculo). La proposicin Lmn an L significa que para todo nmero
real positivo hay un entero positivo N tal que an L siempre que n N .
Utilice cuantificadores para expresar la proposicin Lmn an L .
4. (Se requiere clculo). Utilice cuantificadores para expresar la siguiente definicin: una
sucesin an es una sucesin de Cauchy si para todo nmero real 0 hay un entero
positivo N tal que am an para cada par de enteros positivos n y m , n N y
mN.
5. (Se requiere clculo). Utilice cuantificadores para expresar la proposicin Lmn an no
existe.
103
4. MTODOS DE DEMOSTRACIN
4.1. Introduccin
La matemtica es obra del hombre quien a travs del tiempo, ha aprovechado las
experiencias anteriores, para ampliar lo que se conoce hasta ese momento, creando nuevas
teoras que tienen como base lo que ya se ha creado o iniciando nuevos campos que
servirn posteriormente como fundamento para nuevas ampliaciones.
Por la induccin se alcanzan conclusiones generales con base en hechos obtenidos mediante
el examen sistemtico de muchos ejemplos que son similares en algunos aspectos. Sin
embargo, no se puede confiar ciegamente en los mtodos inductivos, aunque la aparicin de
ciertas relaciones en un nmero de ejemplos nos lleve fcilmente a una generalizacin, ya
que sta a veces puede resultar falsa para otros ejemplos. El razonamiento inductivo es
lgicamente aceptable. Slo con algunas restricciones.
En la actualidad, la matemtica se desarrolla fundamentalmente mediante la aplicacin de
tcnicas deductivas y por tal motivo vamos a introducirnos en algunas de ellas, utilizando
los elementos de La Lgica que estudiamos en los captulos anteriores.
Dos importantes preguntas que aparecen en el estudio de las matemticas son: (1) cundo
es correcto un argumento matemtico?, y (2) qu mtodos se pueden utilizar para construir
argumentos matemticos? Este captulo ayudar a resolver estas dos preguntas describiendo
varios tipos de argumentos matemticos, correctos e incorrectos (para ver sobre argumentos
revsese la seccin 3.9).
Toda teora matemtica se inicia con varios trminos que no pueden definirse por resultar
demasiado evidentes o intentar dar alguna definicin de los mismos nos obligara a utilizar
palabras con igual significado, que en nada aclararan la situacin. Estos trminos no
definidos se conocen como conceptos primitivos. Por ejemplo, en geometra euclidiana las
ideas de punto y recta son conceptos primitivos, no susceptibles de definicin. Una vez
que se tienen estos trminos no definidos, se procede a darles nombre a las cosas que se van
a manejar en la teora. Estos nombres constituyen las definiciones.
Dentro de la teora se presentan ciertas proposiciones que llamamos primitivas, las cuales
aceptamos sin demostracin, en la misma forma que aceptamos conceptos primitivos sin
definicin. Estas proposiciones primitivas reciben el nombre de axiomas o postulados. Los
conceptos primitivos y las proposiciones primitivas se renen y conforman lo que se llama
un sistema de axiomas o de postulados.
Una vez que se han identificado los trminos no definidos, que se han dado las definiciones
correspondientes y que se ha establecido el sistema de axiomas, el matemtico procede a
formular proposiciones que son verdaderas y que s deben demostrarse. Estas proposiciones
son los teoremas. Un teorema es una proposicin que se puede demostrar que es verdadera.
(A veces a los teoremas se les llama proposiciones, hechos o resultados). Demostramos que
un teorema es verdadero mediante una combinacin de proposiciones que constituyen un
104
cierto. Por tanto, si se puede verificar que q es verdadera, entonces se puede dar una
demostracin, llamada demostracin trivial, de p q . Las demostraciones triviales son
importantes para casos especiales de teoremas (vase la discusin sobre la tcnica de
demostracin por casos) y en induccin matemtica, que veremos en la seccin 4.5.
Ejemplo 4. Sea P(n) Si a y b son enteros positivos, a b , entonces a n b n .
Demostrar que la proposicin P(0) es verdadera.
Solucin. La proposicin P(0) es Si a b , entonces a 0 b 0 . Como a 0 b 0 1 , la
conclusin de P(0) es verdadera. Por lo tanto, P(0) es verdadera. ste es un ejemplo de
una demostracin trivial. Ntese que la hiptesis, que es la expresin a b , no se
necesito en la demostracin.
Un poco de estrategia para hacer demostraciones. Hemos descrito tanto las
demostraciones directas como indirectas y hemos proporcionado ejemplos de cmo se
utilizan; sin embargo, cuando nos enfrentamos a un teorema que debemos demostrar, qu
mtodo debemos usar? Primero evala si una demostracin directa parece eficaz.
Desarrolla las definiciones dadas en las hiptesis. Luego comienza a razonar haciendo uso
de ellas, junto con los axiomas y teoremas disponibles. Si no parece que conduzca a ningn
sitio, intenta lo mismo con una demostracin indirecta. Recuerde que en una demostracin
indirecta se asume que la conclusin de la implicacin es falsa y se utiliza una
demostracin directa para demostrar que se deduce que la hiptesis debe ser falsa. A veces,
cuando no hay forma obvia de conseguir una demostracin directa, una demostracin
indirecta puede funcionar. Ilustramos esta estrategia en los ejemplos 5 y 6.
Antes de presentar dichos ejemplos, necesitamos la siguiente definicin.
Definicin 4.2 El nmero real r es racional si existen dos enteros p y q , q 0 , tales que
r p q . Un nmero real que no es racional se llama irracional.
Ejemplo 5. Demostrar que la suma de dos nmeros racionales es un nmero racional.
Solucin. Primero intentamos una demostracin directa. Para empezar, supongamos que r
y s son nmeros racionales. De la definicin de nmero racional se sigue que hay dos
enteros p y q , q 0 tales que r p q , y otros dos enteros t y u , u 0 tales que
s t u . Se puede utilizar esta informacin para demostrar que r s es racional? El paso
siguiente obvio es sumar r p q y s t u para obtener
rs
p t
pu qt
q u
qu
Ejemplo 9. Utilizar una demostracin por casos para establecer que xy x y , donde x y
y son nmeros reales. (Recuerde que x , es el valor absoluto de x , es igual a x cuando
x 0 e igual a x cuando x 0 ).
p2 q , si
x0 y
[ p1 p2 ... pn ] [ P1 P2 ) ( P2 P3 ) ... ( Pn p1 )]
Esto indica que si las implicaciones p1 p2 , p2 p3 , , pn p1 se pueden demostrar
que son verdaderas, entonces las proposiciones p1 , p2 , , pn son equivalentes.
Esto es mucho ms eficiente que probar pi p j para i j , 1 i n y 1 j n .
Cuando demostramos que un grupo de proposiciones son equivalentes, podemos establecer
cualquier cadena de implicaciones que elijamos, ya que a travs de la cadena es posible ir
de una proposicin a otra cualquiera. Por ejemplo, podemos establecer que p1 , p2 y p3
son equivalentes demostrando que p1 p3 , p3 p2 y p2 p1 .
Ejemplo 11. Demostrar que las siguientes proposiciones son equivalentes:
p1 : n es un entero par
p2 : n 1 es un entero impar
p3 : n 2 es un entero par
Solucin. Demostraremos que estas tres proposiciones son equivalentes estableciendo que
las implicaciones p1 p2 , p2 p3 y p3 p1 son verdaderas.
Hacemos una demostracin directa para p1 p2 . Supongamos que n es par. Entonces
n 2k para algn entero k. Luego, n 1 2k 1 2(k 1) 1 . Esto significa que n 1 es
impar, pues se puede escribir de la forma 2m 1 , donde m es el entero k 1 .
Haremos tambin una prueba directa de que p2 p3 . Supongamos ahora que n 1 es
impar, entonces, n 1 2k 1 para algn entero k . Luego, n 2k 2 , por lo que
n 2 (2k 2) 2 4k 2 8k 4 2(2k 2 4k 2) . Esto significa que n 2 es par, es el doble
del entero 2k 2 4k 2 .
Para demostrar p3 p1 , utilizamos una demostracin indirecta. Esto es, demostraremos
que si n no es par, entonces n 2 no es par. Esto es lo mismo que demostrar que si n es
impar, entonces n 2 es impar, lo cual ya se hizo en el ejemplo 1. Esto completa la
demostracin.
Muchos teoremas se enuncian haciendo uso de funciones proposicionales y cuantificadores.
Se pueden utilizar varios mtodos para demostrarlos, aqu describimos algunos de los ms
importantes.
112
y
forma que x ( 2
( 2 2)
y y 2 , de tal
2 2.
(a b) 2 / 4 ab ,
(a b) 2 4ab ,
a 2 2ab b 2 0 ,
(a b) 2 0 .
Como (a b) 2 0 cuando a b , se sigue que la desigualdad final es correcta. Como todas
estas desigualdades son correctas, se sigue que (a b) / 2 ab cuando a b . Una vez
construida esta demostracin, podemos construir fcilmente una demostracin hacia
adelante. Se deja esto como ejercicio para el lector.
4.3. Contraejemplos
En la seccin 3.5 se indic que se poda demostrar que una proposicin de la forma xP(x)
es falsa si podemos encontrar un contraejemplo, es decir, un ejemplo x para el cual P(x)
es falsa. Cuando nos encontramos con una proposicin de la forma xP(x) y bien creemos
que es falsa o bien son intiles todos los intentos para encontrar una demostracin,
buscamos un contraejemplo. Ilustramos la caza de un contraejemplo en el ejemplo
siguiente.
Ejemplo 16. Demostrar que la proposicin todo entero positivo es la suma de los
cuadrados de tres enteros es falsa.
Solucin. Podemos demostrar que esta proposicin es falsa si encontramos un
contraejemplo. Es decir, la proposicin es falsa si podemos mostrar que hay un entero
particular que no es la suma de los cuadrados de tres enteros. Para buscar un
contraejemplo, intentamos escribir los sucesivos enteros positivos como suma de tres
cuadrados. Encontramos que 1 02 02 12 , 2 02 12 12 , 3 12 12 12 ,
4 02 02 22 , 5 02 12 22 , 6 12 12 22 , pero no podemos encontrar una forma
para escribir el 7 como la suma de tres cuadrados. Para demostrar que no hay tres enteros
cuyos cuadrados sumen 7, hay que tener en cuenta que podemos utilizar slo aquellos
cuadrados que no excedan de 7, a saber, 0, 1 y 4. Como no hay tres nmeros escogidos
entre 0, 1 o 4 que sumen 7, se sigue que 7 es un contraejemplo. Por lo tanto, la proposicin
todo entero positivo es la suma de los cuadrados de tres enteros es falsa.
115
Un error comn consiste en asumir que uno o ms ejemplos establecen la verdad de una
proposicin. No importa los ejemplos que se encuentren que hagan P(x) verdadera, la
proposicin cuantificada universalmente xP(x) puede ser falsa. Consideremos el
siguiente ejemplo.
Ejemplo 17. Es verdad que todo entero positivo es la suma de 18 potencias cuartas de
enteros? En otras palabras, es un teorema la proposicin nP(n) , donde P(n) es la
proposicin n se puede escribir como la suma de 18 potencias cuartas de enteros y el
dominio consiste de todos los enteros positivos?
Solucin. Para determinar si n se puede escribir como suma de 18 potencias cuartas de
enteros, deberamos empezar examinando si n es la suma de 18 potencias cuartas de
enteros para los enteros positivos ms pequeos. Como las potencias cuartas de enteros son
los nmeros 0, 1, 16, 81, , si podemos seleccionar 18 trminos de estos nmeros que
sumen n , entonces n es la suma de 18 potencias cuartas. Podemos mostrar que cada uno
de los enteros positivos hasta el 78 se puede escribir como la suma de 18 potencias cuartas
de enteros. (Los detalles se dejan a cuidado del lector). Sin embargo, si decidiramos que
esto es suficiente, habramos llegado a una conclusin errnea. La proposicin inicial no es
correcta porque 79 no se puede expresar como la suma de 18 potencias cuartas de enteros
(como el lector podra verificar).
Justificacin
Dado
Multiplicando ambos lados de (1) por a
Restando b 2 a ambos lados de (2)
4.
5.
6.
7.
8.
(a b)(a b) b(a b)
ab b
bb b
2b b
2 1
Solucin. Todos los pasos son vlidos excepto uno, el paso 5, donde se dividi ambos lados
por a b . El error est en que a b es igual a cero (pues a b ). La divisin de ambos
miembros de una ecuacin por la misma cantidad es vlida siempre y cuando est cantidad
no sea cero.
Ejemplo 19. Dnde est el error en la siguiente demostracin?
Teorema: Si n 2 es positivo, entonces n es positivo.
Demostracin: Supongamos que n 2 es positivo. Como la implicacin Si n es positivo,
entonces n 2 es positivo es verdadera, concluimos que n es positivo.
Solucin. Sea P(n) n es positivo y Q(n) n 2 es positivo. Entonces nuestra hiptesis es
Ejercicios
1. Demuestre que el cuadrado de un nmero par es un nmero par, utilizando:
a) Una demostracin directa.
b) Una demostracin indirecta.
c) Una demostracin por reduccin al absurdo.
2. Demuestre que si n es un entero y n 3 5 es impar, entonces n es par, utilizando:
a) Una demostracin indirecta.
b) Una demostracin por reduccin al absurdo.
3. Demuestre que la suma de dos nmeros impares es par.
4. Demuestre que el producto de dos nmeros impares es impar.
5. Demuestre que la suma de un nmero irracional y un nmero racional es un nmero
irracional utilizando una demostracin por reduccin al absurdo.
6. Demuestre que el producto de dos nmeros racionales es racional.
7. Demuestre que se cumple, o que no, que el producto de dos nmeros irracionales es
irracional.
8. Demuestre que si x es irracional, 1 / x tambin lo es.
9. Demuestre que si x y y son nmeros reales, entonces x / y x / y .
10. Demuestre que si x y y son nmeros reales, entonces max( x, y) min( x, y) x y .
Utilice una demostracin por casos, siendo estos x y y x y .
11. Demuestre la desigualdad triangular, que afirma que si x y y son nmeros reales,
entonces x y x y .
12. Sea n un entero positivo. Demuestre que n es par si, y slo si, 7n 4 es par.
13. Sea n un entero positivo. Demuestre que n es impar si, y slo si, 7n 4 es impar.
14. Demuestre que se cumple, o que no, que si m y n son enteros tales que mn 1 ,
entonces bien m 1 y n 1 o bien m 1 y n 1 .
15. Demuestre que las siguientes tres proposiciones son equivalentes: (i) 3x 2 es un
nmero par; (ii) x 5 es un entero impar, y (iii) x 2 es un entero par.
16. Demuestre que las siguientes tres proposiciones son equivalentes: (i) x es irracional;
(ii) 3x 2 es irracional, y (iii) x / 2 es irracional.
119
17. Son correctos los siguientes pasos para encontrar las soluciones de la ecuacin
x 3 3 x ? (1) se parte de x 3 3 x ; (2) x 3 x 2 6 x 9 , elevando al
cuadrado ambos lados de (1); (3) 0 x 2 7 x 6 , restando x 3 a ambos lados de (2);
(4) 0 ( x 1)( x 6) , factorizando la parte derecha de (3); (5) x 1 o x 6 , ya que si
ab 0 , entonces o bien a 0 o bien b 0 .
18. Demuestre que hay 100 nmeros enteros consecutivos que no son cuadrados perfectos.
Es tu demostracin constructiva o no constructiva?
19. Demuestre que hay un par de nmeros enteros positivos consecutivos tales que uno es
un cuadrado perfecto y el otro es un cubo perfecto.
20. Demuestre que si a , b y c son nmeros reales y a 0 , entonces existe una solucin
nica de la ecuacin ax b c .
21. Supongamos que a y b son nmeros enteros impares, con a b . Demuestre que
existe un nico entero c tal que a c b c .
22. Muestre que si n es un entero impar, entonces existe un nico entero k tal que n es la
suma de k 2 y k 3 .
23. Demuestre que se cumple, o que no, que si a y b son nmeros racionales, entonces a b
tambin lo es.
24. Demuestre que se cumple, o que no, que hay un nmero racional x y un nmero
irracional y tales que x y es irracional.
25. Demuestre que las proposiciones p1 , p 2 , p 3 , p 4 y p 5 son equivalentes demostrando
que p1 p4 , p3 p1 , p4 p2 , p2 p5 y p5 p3 son verdaderas.
26. Demuestre que al menos uno de los nmeros reales a1 , a 2 , , a n es mayor o igual que
el promedio de ellos. Qu clase de demostracin has utilizado?
27. Demuestre que si n es un entero, las siguientes cuatro proposiciones son equivalentes:
3 es irracional.
30. Demuestre que se cumple, o que no se cumple, que hay tres nmeros enteros
consecutivos impares que son primos, es decir, nmeros enteros primos impares de la
forma p , p 2 , p 4 .
120
1 3 4 ,
1 3 5 9,
1 3 5 7 16 ,
1 3 5 7 9 25 .
A partir de estos valores, es razonable suponer que la suma de los n primeros enteros
impares es n 2 . Necesitamos un mtodo para demostrar que este supuesto es correcto, si es
que realmente lo es.
La induccin matemtica es un mtodo muy importante que se puede utilizar para
demostrar proposiciones de este tipo. En esta seccin describiremos cmo se puede utilizar
el mtodo de induccin matemtica y por qu es un mtodo vlido de demostracin. Es
muy importante dejar claro que la induccin matemtica slo se puede aplicar en la
demostracin de resultados que se han obtenido de alguna otra forma. No es una
herramienta para descubrir frmulas o teoremas.
Hay varios ejemplos interesantes de induccin matemtica que pueden ayudarnos a
recordar cmo funciona este principio. Uno de estos ejemplos es considerar una fila infinita
de fichas de domin colocadas de pie, etiquetadas con los nmeros 1, 2, 3, , n . Sea P(n)
la proposicin que afirma que la ficha n se cae. Si cae la primera ficha, es decir, si P(1) es
verdadera, y si siempre que la ficha n se caiga tambin se cae la (n 1) , es decir, si
P(n) P(n 1) es verdadera, entonces se caern todas las fichas.
Muchos teoremas afirman que P(n) es verdadera para todos los enteros positivos n , donde
P(n) es una funcin proposicional como, por ejemplo, la proposicin 1+2++ n =
1 3 5 ... (2k 1) k 2 .
(Obsrvese que el k -simo entero positivo impar es (2k 1) , ya que este entero se obtiene
sumando 2 un total de k 1 veces a 1). Debemos demostrar que P(k 1) es verdadera,
suponiendo que P(k ) es verdadera. Hay que tener en cuenta que P(k 1) es la proposicin
que afirma que
1 3 5 ... (2k 1) (2k 1) (k 1) 2 .
Luego, suponiendo que P(k ) es verdadera, se sigue que
1 3 5 ... (2k 1) (2k 1) [1 3 ... (2k 1)] (2k 1)
k 2 (2k 1)
k 2 2k 1
(k 1) 2 .
Esto demuestra que P(k ) P(k 1) . Ntese que se ha utilizado la hiptesis de induccin
P(k ) en la segunda igualdad para reemplazar la suma de los primeros k enteros positivos
impares por k 2 . Puesto que P(1) es verdadera y que P(k ) P(k 1) tambin lo es para
todo entero positivo k , el principio de induccin matemtica demuestra que P(n) es
verdadera para todo entero positivo n .
En el ejemplo siguiente utilizamos el principio de induccin matemtica para demostrar una
desigualdad.
Ejemplo 24. Utilizar el mtodo de induccin matemtica para demostrar la desigualdad
n 2 n . Para todo entero positivo n .
Solucin. Sea P(n) la proposicin n 2 n .
PASO UNO: P(1) es verdadera, puesto que 1 21 2 .
PASO INDUCTIVO: supongamos que P(k ) es verdadera para el entero positivo k , es
decir, suponemos que k 2 k . Necesitamos demostrar que P(k 1) es verdadera, es decir
que k 1 2 k 1 . Sumando 1 a ambos lados de la desigualdad k 2 k , y teniendo en cuenta
que 1 2k , se tiene
k 1 2k 1 2k 2k 2 2k 2k 1 .
Hemos demostrado que P(k 1) es verdadera, es decir que k 1 2 k 1 , bajo el supuesto de
que P(k ) es verdadera. Se ha completado el paso inductivo. Por lo tanto, por el principio
de induccin matemtica, se ha demostrado que n 2 n para todo entero positivo n .
123
(k 1) 3 (k 1) (k 3 3k 2 3k 1) (k 1)
(k 3 k ) 3(k 2 k ).
Como los dos trminos de esta suma son divisibles por 3 (el primero por el supuesto del
paso inductivo y el segundo porque es 3 veces un entero), se sigue que (k 1) 3 (k 1)
tambin es divisible por 3. Esto completa el paso inductivo. Por lo tanto, por el principio de
induccin matemtica, n 3 n es divisible por 3 para todo entero positivo n .
A veces necesitamos demostrar que P(n) es verdadera para n b , b 1 , b 2 , , donde
b es un entero diferente a 1. Para ello se puede utilizar el principio de induccin
matemtica sin ms que cambiar el paso uno. En el ejemplo siguiente, se demuestra que
una frmula es vlida para todos los enteros no negativos.
Ejemplo 26. Utilizar el mtodo de induccin matemtica para demostrar que
1 2 2 2 ... 2 n 2 n1 1 ,
para todos los enteros no negativos.
Solucin. Sea P(n) la proposicin que afirma que esta frmula es correcta para el entero
n , no negativo.
PASO UNO: P(0) es verdadera, puesto que 2 0 1 21 1 .
PASO
INDUCTIVO:
supongamos
que
P(k )
es
verdadera,
k 1
es
decir,
que
1 2 2 2 ... 2 k 2 k 1 2( k 1)1 1 2 k 2 1 .
Utilizando la hiptesis de induccin, P(k ) , se tiene que
124
1 2 2 2 ... 2 k 2 k 1 (1 2 2 2 ... 2 k ) 2 k 1
(2 k 1 1) 2 k 1
2 2 k 1 1
2 k 2 1
Con esto se finaliza el paso inductivo. Lo que completa la demostracin, es decir, P(n) es
verdadera para todo entero no negativo n .
Como se observa en el ejemplo anterior, para demostrar que P(n) es verdadera para n b ,
b 1 , b 2 ,, donde b es un entero diferente de 1, empleando el principio de induccin
matemtica, verificamos que P(b) es verdadera (el paso uno) y entonces demostramos que
la implicacin P(k ) P(k 1) es verdadera para k b , b 1 , b 2 , (el paso
inductivo). Hay que tener en cuenta que b puede ser negativo, cero o positivo.
Ejemplo 27. Utilizar la induccin matemtica para demostrar que 2 n n! para todo entero
positivo n 4 .
Solucin. Sea P(n) la proposicin que afirma que 2 n n!
PASO UNO: En este caso el paso uno es P(4) . Obsrvese que P(4) es verdadera, puesto
que 2 4 16 4! 24 .
PASO INDUCTIVO: supongamos que P(k ) es verdadera, es decir, que 2 k k! . Debemos
demostrar que P(k 1) es verdadera, es decir tenemos que demostrar que 2 k 1 (k 1)!
Multiplicando ambos lados de la desigualdad 2 k k! por 2, se tiene que
2 2 k 2 k!
(k 1) k!
(k 1)!
Esto demuestra que P(k 1) es verdadera cuando P(k ) es verdadera, lo que completa el
paso inductivo. Por lo tanto, se ha demostrado que 2 n n! es verdadera para todo entero
positivo n , n 4 .
4.6. Por qu es vlida la induccin matemtica
Por qu es la induccin matemtica un mtodo vlido de demostracin? La razn proviene
del principio de buena ordenacin. (El principio de buena ordenacin dice que: Todo
conjunto no vaco de enteros positivos tiene un elemento mnimo). Supongamos que
conocemos que P(1) es verdadera y que tambin lo es la proposicin P(k ) P(k 1) para
todos los enteros positivos k . Para demostrar que P(n) debe ser verdadera para todo
125
entero positivo, suponemos que hay al menos un entero positivo para el cual P(n) es falso.
Entonces, el conjunto S de los enteros positivos n para los que P(n) es falsa es no vaco.
Luego, por el principio de buena ordenacin, S tiene un elemento mnimo, que se puede
denotar por m . Sabemos que m no puede ser 1, puesto que P(1) es verdadera. Como m
es positivo y mayor que 1, m 1 es un entero positivo. Adems, como m 1 es menor que
m , no est en S , por lo que P(m 1) debe ser verdadera. Como la implicacin
P(m 1) P(m) es tambin verdadera, se debe cumplir que P(m) es verdadera. Esto
contradice la eleccin de m . As, P(n) debe ser verdadera para todo entero n positivo.
Ejercicios
1. Obtenga una frmula para calcular la suma de los n primeros nmeros enteros
positivos pares.
2. Utilice el mtodo de induccin matemtica para demostrar la frmula que has obtenido
en el ejercicio anterior.
3. Utilice el mtodo de induccin matemtica para demostrar que si n es un nmero
entero positivo, entonces
1 2 ... n n(n 1) / 2 .
4. Demuestre que si n es un entero positivo, 12 2 2 ... n 2 n(n 1)(2n 1) / 6 .
5. Demuestre que si n es un entero positivo, 13 23 ... n 3 (n(n 1) / 2) 2 .
6. Demuestre que 2 n n 2 para todo entero n , n 4 .
7. Demuestre que 3n n! para todo entero n , n 6 .
8. Demuestre que n! n n para todo entero n , n 1 .
9. Demuestre que 3 3 5 3 52 ... 3 5n 3(5n1 1) / 4 para todo nmero entero no
negativo n .
10. Demuestre que 1 2 2 3 ... n(n 1) n(n 1)(n 2) / 3 siempre que n sea un
entero positivo.
11. Demuestre que si n es un entero positivo, entonces
n3
1 2 ... (n 1)
12 2 2 ... n 2 .
3
2
126
1 1
1
1
... 2 2 siempre que n sea un entero mayor que 1.
4 9
n
n
1 1,
1 4 (1 2),
1 4 9 1 2 3,
1 4 9 16 (1 2 3 4).
Indzcase la ley general y demustrese por induccin.
17. Obsrvese que
1 12 2 12 ,
1 12 14 2 14 ,
1 12 14 18 2 18 .
1 12 1 13 13 ,
1 12 1 13 1 14 14 .
f (41) 412 41 41 412 . Como f (n) n 2 n 41 es primo para todos los enteros
positivos n , 1 n 40 , podramos intentar buscar otro polinomio con la propiedad de que
f (n) sea primo para todo n . Sin embargo, no existe tal polinomio. Se puede demostrar
que para todo polinomio f (n) con coeficientes enteros hay un entero positivo m tal que
f (m) es compuesto.
El ejemplo 31 ilustra que a veces se necesitan contraejemplos sorprendentemente
complejos. Esto reitera el importante hecho de que una gran cantidad de clculos no
establece un teorema.
Ejemplo 31. En el siglo XVIII, el gran matemtico suizo Leonhard Euler conjetur que
para todo entero n , n 3 , la suma de n 1 potencias n -simas de enteros positivos no
puede ser una potencia n -sima. Los estudios desarrollados sobre este problema durante
casi doscientos aos apoyaban esta conjetura. Sin embargo, no se haba encontrado ninguna
demostracin, ni siquiera para un solo valor de n . En 1966, L. J. Lander y T. R. Parkin
encontraron un contraejemplo para n 5 con valores sorprendentemente pequeos.
Mostraron que 275 845 1105 1335 1445 .
Este contraejemplo dej abierta la posibilidad de que la conjetura fuese verdadera para
otros valores de n mayores o iguales que 3. Pero en 1988, Noam Elkies encontr un
contraejemplo para n 4 . Todos los ejemplos conocidos son mucho ms complicados que
los hallados para el caso n 5 . El contraejemplo ms sencillo conocido para n 4 es
958004 2175194 4145604 4224814 (donde por el ms sencillo se entiende el ms
pequeo en trminos de la suma de enteros cuyas potencias cuartas se estn calculando).
130
Todos los casos con n 6 estn todava sin decidir. Se puede buscar concienzudamente un
contraejemplo para n 6 , aunque es posible que la conjetura sea cierta para este valor de
n (a pesar de que ms de uno cree lo contrario).
Podemos comprobar esta conjetura para nmeros pares pequeos. Por ejemplo, 4=2+2,
6=3+3, 8=5+3, 10=7+3, 12=7+5, etc. La conjetura de Goldbach fue verificada mediante
clculos manuales hasta para nmeros del orden de millones antes de la llegada de los
ordenadores. Con la ayuda de stos se pudo comprobar para nmeros extremadamente
grandes. A mediados del 2002, la conjetura se haba probado para todos los enteros
positivos pares hasta 4 1014 .
Aunque no se ha encontrado una demostracin para la conjetura de Goldbach, la mayora
de los matemticos creen que es verdadera. Mediante complicados mtodos de teora
analtica de nmeros se han demostrado varios teoremas que establecen resultados ms
dbiles que la conjetura de Goldbach. Entre estos resultados est el que afirma que todo
entero par positivo mayor que 2 es la suma de 6 primos como mximo (demostrado en 1955
por O. Ramar) y el que afirma que todo entero positivo suficientemente grande es la suma
de un primo y un nmero que bien es primo o bien es el producto de dos primos
(demostrado por J. R. Chen en 1966). Puede que la conjetura de Goldbach se resuelva en no
mucho tiempo.
Ejemplo 33. Hay muchas conjeturas que enuncian que hay infinitos primos de ciertos tipos.
Por ejemplo, hay una conjetura que dice que hay infinitos primos de Mersenne (de la forma
2 p 1 , donde p es primo). Otra conjetura de esta clase es la que enuncia que hay infinitos
nmeros primos de la forma n 2 1 , para n entero positivo. Por ejemplo, 5 2 2 1 ,
17 4 2 1 , 37 6 2 1 , etc. El mejor resultado que se conoce en la actualidad es que hay
infinitos enteros positivos n tales que n 2 1 es primo o el producto de, a lo ms, dos
primos (demostrado por Henryk Iwaniec en 1973).
Ejemplo 34. La conjetura de los primos gemelos. Se dice que dos nmeros primos son
gemelos si difieren en 2, tales como 3 y 5, 5 y 7, 11 y 13, 17 y 19 o 4967 y 4969. La
conjetura de los primos gemelos enuncia que hay infinitos primos gemelos. El resultado
ms fuerte demostrado en relacin a los primos gemelos es que hay infinitos pares p y
p 2 en los que p es primo y p 2 es primo o es el producto de dos primos (demostrado
por J. R. Chen en 1966). El rcord mundial de primos gemelos, encontrado a mediados del
2002, son los nmeros 318.032.361 2107.001 1 , nmeros de 32.220 cifras.
Ejemplo 35. La conjetura 3x+1. Sea f (x) la funcin igual a x / 2 si x es un entero par y
3x 1 si x es un entero impar. Hay una famosa conjetura, conocida como la conjetura
3x+1, que afirma que para todo entero positivo x , si aplicamos repetidamente la funcin
f , llegamos al entero 1. Por ejemplo, comenzando con x 13 , encontramos que
f (13) 40 , f (40) 20 , f (20) 10 , f (10) 5 , f (5) 16 , f (16) 8 , f (8) 4 ,
f (4) 4 , f (4) 2 , f (2) 1 . La conjetura 3x 1 se ha verificado para todos los enteros
hasta x 5,6 1013 .
La conjetura 3x 1 tiene una historia interesante y ha atrado la atencin de los
matemticos desde mediados del siglo XX. Ha surgido en muchas ocasiones y ha tenido
muchos otros nombres, entre ellos los de problema de Collatz, algoritmo de Hasse,
132
4.9. Resumen
Se han presentado algunos mtodos para demostrar teoremas. Obsrvese que no se ha dado
ningn algoritmo para demostrar teoremas; ni siquiera se ha mencionado. Un resultado
bastante interesante es que no existe tal algoritmo. Hay muchos otros mtodos de
demostracin adems de los que se han estudiado brevemente en este captulo.
Hay muchos teoremas cuyas demostraciones son fciles de encontrar trabajando
directamente con las hiptesis y las definiciones de los trminos del teorema. No obstante, a
veces es difcil demostrar un teorema sin hacer un uso inteligente de demostraciones
indirectas por reduccin al absurdo o por alguna otra tcnica. Construir demostraciones es
un arte que solo se puede aprender a travs de la experiencia, que consiste en escribir las
demostraciones, hacerlas revisar, leer y analizar demostraciones hechas por otros, etc.
133