INTRODUCCIN A LA LGICA

Y MTODOS DE DEMOSTRACIN

ISMAEL GARCA MARTN

PONTIFICIA UNIVERSIDAD JAVERIANA

Prlogo

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.

Prlogo

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.

Contenido

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

Contenido

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

Introduccin a la Lgica y Mtodos de Demostracin

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.2. Proposiciones simples (o atmicas)

Definicin 1.2 Si una proposicin contiene uno o varios sujetos y un predicado que afirma
algo sobre dichos sujetos de llama proposicin simple.
Ejemplo 3. Son proposiciones simples:
a) 3 es un nmero impar
b) 7+4=20
1

Introduccin a la Lgica y Mtodos de Demostracin

Ejemplo 4. No son proposiciones simples:

a) 5 no es divisor de 12
b) 7 es un nmero impar y primo
Las proposiciones simples se denotan con las letras minsculas p , q , r , s , Si una
proposicin simple es verdadera, se dice que su valor de verdad es V y si es falsa se
dice que su valor de verdad es F . Si p es una proposicin simple, la negacin de p se
denota por p y se lee no p .
Ejemplo 5. La negacin de la proposicin simple p : 2 es un nmero primo, es p : 2
no es un nmero primo
La parte de la lgica que trata de proposiciones se llama clculo proposicional o lgica
proposicional. Fue desarrollada sistemticamente por primera vez por el filsofo griego
Aristteles hace ms de dos mil trescientos aos.
Podemos generar nuevas proposiciones a partir de las proposiciones simples ya existentes.
Los mtodos para generar estas nuevas proposiciones fueron estudiados por el matemtico
ingls George Boole en 1854 en su libro Las leyes del pensamiento. Muchos enunciados
matemticos se construyen combinando una o ms proposiciones. Las nuevas
proposiciones, llamadas proposiciones compuestas, se forman a partir de las proposiciones
simples utilizando conectivos lgicos.
1.3. Proposiciones compuestas (o moleculares)
Definicin 1.3 Una proposicin se llama compuesta si es la combinacin de dos o ms
proposiciones simples ligadas mediante alguna de las expresiones y, o,
sientonces o si y slo si. A estas expresiones se les llama conectivos (o
conectores) lgicos.
Ejemplo 6. Son proposiciones compuestas:
a) 5 es un nmero par y primo
b) la tierra es un planeta o el sol no es el centro del universo
c) si 14 es par, entonces es divisible entre 2
d) Un tringulo es equiltero si, y slo si sus tres lados son iguales
Una tabla de verdad muestra las relaciones entre los valores de verdad de las
proposiciones simples. Las tablas de verdad son especialmente valiosas a la hora de
determinar los valores de verdad de proposiciones compuestas complejas.
Ejemplo 7. La negacin de una proposicin p , que se denota por p , es verdadera si p
es falsa y falsa si p es verdadera; esto se ilustra en la siguiente tabla de verdad para la
negacin de una proposicin
p p
V
F
V
F
2

Introduccin a la Lgica y Mtodos de Demostracin

Analizaremos ahora, cada uno de los conectivos lgicos definidos anteriormente.

1.4. La conjuncin
Definicin 1.4 La conjuncin de dos proposiciones p y q , que se denota por p q y se
lee p y q , es la proposicin que se obtiene enunciando q a continuacin de p
separadas por la conectiva y. La conjuncin p q es verdadera cuando p y q son
verdaderas, en los dems casos es falsa. Lo anterior se resume en la siguiente tabla de
verdad para la conjuncin
p q
pq
V V
V
V F
F
F V
F
F F
F
Una conjuncin es falsa cuando al menos una de las dos proposiciones es falsa.
Ejemplo 8. La conjuncin de las proposiciones p : Hoy es viernes y q : Hoy llueve es
p q : Hoy es viernes y hoy llueve. La proposicin es verdadera los viernes con
lluvia y es falsa cualquier da que no sea viernes y los viernes que no llueve.

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.
3

Introduccin a la Lgica y Mtodos de Demostracin

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

La ltima columna de esta tabla proporciona los posibles valores de verdad de p q .

El uso del conectivo lgico o en una disyuncin se asocia al significado en sentido
inclusivo de la palabra o. Por ejemplo, el o en sentido inclusivo se emplea en el
enunciado: Los estudiantes que hayan cursado clculo o sistemas pueden matricularse en
esta clase. Con esta frase se quiere decir que los estudiantes que han cursado o bien
clculo o bien sistemas pueden matricularse en la clase, as como los estudiantes que hayan
cursado ambas asignaturas.
Por otra parte, estamos usando el o exclusivo cuando decimos: Los estudiantes que hayan
cursado clculo o sistemas, pero no ambos, pueden matricularse en esta clase. Ahora se
quiere expresar que aquellos que hayan cursado tanto clculo como sistemas no pueden
matricularse. Slo pueden hacerlo aquellos que hayan cursado exactamente una de las dos
asignaturas.
De forma similar, cuando en un men de restaurante vemos Se sirve sopa o ensalada,
como entrada, casi siempre se quiere decir que los clientes pueden tomar bien sopa o
bien ensalada, pero no ambos. ste es un uso exclusivo no inclusivo de la disyuncin o.
Como se indic anteriormente, el uso del conectivo lgico o en una disyuncin
corresponde a uno de los dos sentidos de la palabra o, a saber, el modo inclusivo. Por lo
tanto, una disyuncin es verdadera cuando al menos una de las dos proposiciones en
ella es verdadera.
Cuando se usa el o en sentido exclusivo para conectar dos proposiciones p y q ,
obtenemos la proposicin p o q (pero no ambos), que se denota por pq . Esta
proposicin es verdadera cuando exactamente una de las dos proposiciones p y q es
verdadera y es falsa en los dems casos.
La tabla de verdad para el o exclusivo es la siguiente:

V
V
F
F

V
F
V
F

pq
F
V
V
F

Introduccin a la Lgica y Mtodos de Demostracin

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

En el condicional p q , p se llama hiptesis (o antecedente o premisa) y q se

llama tesis (o consecuente o conclusin).
Debido a que los condicionales desempean un papel esencial en el razonamiento
matemtico, existen muchas formas de expresar p q ; entre ellas estn las siguientes:
si p , entonces q
si p , q
p es suficiente para q
q si p
q cuando p
una condicin necesaria para p es q

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

El condicional p q es falso slo en el caso de que p sea verdadera y q sea falsa. Es

verdadero cuando tanto p como q son verdaderas y cuando p es falsa (sin importar el
valor de verdad de q ).
Una forma til de entender el valor de verdad de un condicional es pensar en una
obligacin o un contrato. Por ejemplo, la promesa que muchos polticos hacen para ser
elegidos es: S soy elegido, bajar los impuestos. Si el poltico es elegido, los
electores esperaran del poltico que bajase los impuestos. Pero si el poltico no es
elegido, entonces los electores no esperarn que esa persona baje los impuestos, aunque
pueda influir lo suficiente para conseguir que los que ostentan el cargo correspondiente
bajen los impuestos. Slo cuando el poltico es elegido y no baja los impuestos, pueden sus
electores decir que el poltico no cumpli su promesa electoral. El ltimo escenario
corresponde al caso en que p es verdadera pero q es falsa; y, por lo tanto p q es falsa.
Mucha gente encuentra confuso el hecho de que p slo si q exprese lo mismo que si
p , entonces q . Para recordar esto, hay que tener en cuenta que p slo si q dice p no
5

Introduccin a la Lgica y Mtodos de Demostracin

puede ser verdadera cuando q no es verdadera. Esto es, el enunciado es falso si p es

verdadera, pero q es falsa. Cuando p es falsa, q puede ser verdadera o bien falsa, porque
la afirmacin no dice nada acerca del valor de verdad de q . Un error comn de la gente es
pensar que q slo si p es una forma es una forma de expresar p q . En cualquier
caso, estos enunciados tienen valores de verdad distintos cuando p y q toman diferentes
valores de verdad.
La forma en la que se ha definido el condicional es ms general que el significado de la
implicacin en el lenguaje corriente. Por ejemplo, el condicional: Si hoy hace sol,
entonces iremos a la playa; es un condicional usado comnmente, ya que hay una relacin
entre la hiptesis y la conclusin. Adems, este condicional se considera vlido, a no ser
que precisamente hoy haga sol, pero que no vayamos a la playa.
Por otra parte, el condicional: Si hoy es viernes, entonces 2+3=5; es verdadero por la
definicin de condicional, ya que la conclusin es verdadera (el valor de verdad de la
hiptesis no importa en este caso). El condicional: Si hoy es viernes, entonces 2+3=7, es
verdadero para todos los das excepto los viernes, incluso aunque 2+3=7 sea falsa.
No utilizamos estos dos ltimos condicionales en lenguaje natural (excepto quiz en algn
sarcasmo), ya que no hay relacin entre la hiptesis y la conclusin en ninguno de ellos. En
los razonamientos matemticos consideramos el condicional de una forma ms general que
en lenguaje natural. El concepto matemtico de condicional es independiente de la relacin
causa-efecto entre hiptesis y conclusin. Nuestra definicin de condicional especifica los
valores de verdad; no se basa en el uso del lenguaje.

1.7. Recproca, contrarrecproca e inversa

Hay algunos condicionales relacionados con p q que pueden formarse a partir de l. La
proposicin q p se llama recproca de p q , La proposicin q p se llama
contrarrecproca de p q y la proposicin p q se llama la inversa de p q .
La contrarecproca q p de un condicional p q tiene la misma tabla de verdad que
p q . Para verlo, tenga en cuenta que la contrarrecproca es falsa slo cuando p es
falsa y q es verdadera; esto es, slo cuando p es verdadera y q falsa. Por otra parte, ni
la recproca, q p , ni la inversa, p q , tienen los mismos valores de verdad que
p q para todos los posibles valores de verdad de p y q . Para ver esto, observe que
cuando p es verdadera y q falsa, el condicional original es falso, pero la recproca y la
inversa son ambas verdaderas. Cuando dos expresiones tienen siempre los mismos valores
de verdad las llamamos equivalentes, de tal forma que un condicional y su contrarrecproca
son equivalentes. La recproca y la inversa de un condicional tambin son equivalentes,
esto es fcil de verificar. (Estudiaremos las proposiciones equivalentes ms adelante). Uno
de los errores ms frecuentes en lgica es considerar que la recproca o la inversa de un
condicional son equivalentes al condicional.
6

Introduccin a la Lgica y Mtodos de Demostracin

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

Observe que el bicondicional o doble condicional es verdadero precisamente cuando los

condicionales p q y q p son verdaderos. Hay otras formas en las que comnmente
se expresa p q como:
p es necesario y suficiente para q
si p , entonces q , y recprocamente
p sii q . Aqu se utiliza la abreviatura sii para si, y slo si.
Obsrvese que p q tiene los mismos valores de verdad que ( p q) (q p) .
Ejemplo 13. Sean p la afirmacin Puedes tomar el vuelo y q la afirmacin Compras
un tiquete. Entonces p q representa el enunciado Puedes tomar el vuelo si, y slo si,
compras el tiquete.
Esta afirmacin es verdadera si p y q son ambas verdaderas o ambas falsas, esto es, si
compras un tiquete y puedes tomar el vuelo o si no compras el tiquete y no puedes tomar el
vuelo. Es falsa cuando p y q tienen valores de verdad distintos, es decir, cuando no
compras el tiquete, pero puedes tomar el vuelo (consigues un vuelo gratis, por ejemplo), y
cuando compras el tiquete y no puedes tomar el vuelo (la lnea area te deja en tierra).
7

Introduccin a la Lgica y Mtodos de Demostracin

La expresin si, y slo si empleada en el bicondicional rara vez se usa en el lenguaje

natural. De hecho, los bicondicionales se expresan a menudo usando las frases si,
entonces o slo si. La otra parte del si, y slo si es implcita. Por ejemplo,
consideremos la afirmacin en el lenguaje natural Si terminas tu comida, puedes tomar
postre. Lo que realmente quiere decir es Puedes tomar postre si, y slo si, terminas tu
comida. Esta ltima afirmacin es equivalente desde el punto de vista lgico a las dos
afirmaciones Si terminas tu comida, entonces puedes tomar postre y Puedes tomar
postre slo si terminas tu comida. Debido a la imprecisin del lenguaje natural,
necesitamos hacer una suposicin si en una proposicin condicional en lenguaje cotidiano
deseamos incluir implcitamente su recproco. Como la precisin es esencial en las
matemticas y en la lgica, siempre diferenciaremos entre la proposicin condicional
p q y la proposicin bicondicional p q .

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:
8

Introduccin a la Lgica y Mtodos de Demostracin

a)
b)
c)
d)
e)
f)
g)

Estamos bajo cero y nieva.

Estamos bajo cero, pero no nieva.
No estamos bajo cero y no nieva.
Bien estamos bajo cero o bien nieva (o ambas cosas).
Si estamos bajo cero, entonces tambin nieva.
Estamos bajo cero o nieva, pero no nieva si estamos bajo cero.
Que estemos bajo cero es necesario y suficiente para que nieve.

5. Sean p y q los enunciados

p: Conduces a ms de100 Km/h
q: Te multan por exceso de velocidad
Escriba los siguientes enunciados utilizando p, q y conectivos lgicos:
a) No conduces a ms de 100 Km/h.
b) Conduces a ms de 100 Km/h, pero no te multan por exceso de velocidad.
c) Te multarn por exceso de velocidad si conduces a ms de 100 Km/h.
d) Si no conduces a ms de 100 Km/h no te multarn por exceso de velocidad.
e) Conducir a ms de 100 Km/h es suficiente para que te multen por exceso de
velocidad.
f) Te multan por exceso de velocidad, pero no conduces a ms de 100 Km/h.
g) Siempre que te multan por exceso de velocidad conduces a ms de 100 Km/h.
6. Sean p, q y r los enunciados
p: Se han visto osos pardos por la zona
q: Es seguro caminar por el sendero
r: Las bayas del sendero estn seguras
Exprese los siguientes enunciados utilizando p, q, r y conectivos lgicos:
a) Las bayas del sendero estn seguras, pero no se han visto osos pardos por la zona.
b) No se han visto osos pardos por la zona y es seguro caminar por el sendero, pero las
bayas del sendero estn seguras.
c) Si las bayas del sendero estn seguras, es seguro caminar por el sendero si, y slo si,
no se han visto osos pardos por la zona.
d) No es seguro caminar por el sendero, pero no se han visto osos pardos por la zona y
las bayas del sendero estn seguras.
e) Para que sea seguro caminar por el sendero, es necesario, pero no suficiente, que las
bayas del sendero no estn seguras y que no se hayan visto osos pardos por la zona.
f) No es seguro caminar por el sendero cuando se han visto osos pardos por la zona y
las bayas del sendero estn seguras.
7. Determine si los siguientes condicionales son verdaderos o falsos.
a) Si 1+1=2, entonces 2+2=5.
b) Si 1+1=3, entonces 2+2=4.
c) Si 1+1=3, entonces 2+2=5.
d) Si los cerdos vuelan, entonces 1+1=3.
e) Si 1+1=3, entonces Dios existe.
f) Si 1+1=3, entonces los cerdos vuelan.
g) Si 1+1=2, entonces los cerdos vuelan.
h) Si 2+2=4, entonces 1+2=3.
9

Introduccin a la Lgica y Mtodos de Demostracin

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.

1.9. Tablas de verdad de proposiciones compuestas

Se puede construir la tabla de verdad de una proposicin compuesta a partir de los valores
de verdad de las proposiciones simple que la conforman. A continuacin presentaremos dos
ejemplos de cmo construir la tabla de verdad de una proposicin compuesta.
10

Introduccin a la Lgica y Mtodos de Demostracin

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

Solucin. b) Para tres proposiciones simples p , q y r se tienen ocho posibilidades

distintas de acuerdo a los valores de verdad de p , q y r . La tabla de verdad se presenta a
continuacin:

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

q r
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

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
11

Introduccin a la Lgica y Mtodos de Demostracin

El resultado es la columna que queda debajo de la conectiva , igual a la ltima columna

de la tabla anterior.
En general, si una proposicin compuesta contiene n proposiciones simples distintas,
entonces para construir su tabla de verdad se deben analizar 2 n casos diferentes,
correspondientes a todas las combinaciones posibles de los valores de verdad de las
proposiciones simples.

1.10. Prioridad de los conectivos lgicos

Muy pocas personas trabajan con expresiones completamente entre parntesis porque tales
expresiones son largas y con frecuencia difciles de leer. En particular, los parntesis
externos de una expresin son casi siempre omitidos. Por lo tanto, en lugar de ( p q ) , se
escribe p q , y en lugar de (( p q)) ( p q) se escribe ( p q) ( p q) . Cuando
hacemos esto, no debemos olvidar nunca aadir parntesis detrs cuando la expresin en
cuestin est compuesta con alguna otra expresin. Los parntesis de dentro de una
expresin pueden tambin ser omitidos. Para interpretar correctamente la expresin
resultante, se utilizan las llamadas reglas de prioridad o precedencia. Generalmente, cada
conectivo tiene una prioridad, y los conectivos con una prioridad ms alta introducen una
unin ms fuerte que los conectivos con una prioridad ms baja.
La conexin tiene la prioridad ms alta. Por consiguiente, p q debe ser entendida
como (p) q , y no como ( p q) . En el caso de los conectivos lgicos, la prioridad
ms alta se la da a , seguida por , y , en ese orden. En la expresin p q r ,
por ejemplo, tiene la prioridad sobre ; es decir, p q r debe ser entendida como
( p q) r . Similarmente, p q r debe ser entendida como p (q r ) , porque
tiene prioridad sobre . El conectivo recibe la prioridad ms baja, lo que implica que
p q r debe entenderse como p (q r ) . Sin embargo, continuaremos usando
parntesis, en algunos casos, para resaltar la prioridad de los conectivos lgicos. En
algunas expresiones, las reglas de prioridad no son suficientes para eliminar todas las
ambigedades. Por ejemplo, la expresin p q r podra ser entendida tanto como
( p q) r o como p (q r ) . La interpretacin adecuada depende de la
asociatividad del conectivo . Como el conectivo no es asociativo se debe utilizar
parntesis, en este caso, para la forma precisa que se quiera dar.
Las reglas de prioridad de la lgica son, por supuesto anlogas, a las reglas de prioridad de
las operaciones aritmticas bsicas. Por ejemplo, se sabe que tiene prioridad sobre +, lo
que significa que a + b c debe ser interpretado como a + (b c) .

1.11. Traduccin de frases del lenguaje natural

Hay muchas razones para traducir frases del lenguaje natural a expresiones con variables
proposicionales y conectivos lgicos. Todos los lenguajes del ser humano son a menudo
12

Introduccin a la Lgica y Mtodos de Demostracin

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)
13

Introduccin a la Lgica y Mtodos de Demostracin

2.

Construya la tabla de verdad para cada una de las siguientes expresiones:

a) ( p q) ( pq)
b) ( pq) ( p q)
c) ( p q) ( p q)
d) ( p q ) (p q)
e) ( p q) (p r )
f) ( pq) ( pq )

3. Construya la tabla de verdad para cada una de las siguientes expresiones:

a) p q
b) p q
d) ( p q) (p q)
c) ( p q) (p q)
e) ( p q) (p q)
f) (p q) ( p q)
4. Construya la tabla de verdad para cada una de las siguientes expresiones:
a) p (q r )
b) p (q r )
c) ( p q ) (p r )
d) ( p q) (p r )
e) ( p q) (q r )
f) (p q) (q r )
5. Construya la tabla de verdad para cada una de las siguientes expresiones:
a) ( p q) (r s )
b) (( p q) r ) s
6. Se sabe que la proposicin (p q) r es falsa. Con base a esto, que se puede decir
acerca del valor de verdad de las siguientes expresiones:
a) ( p q ) (q r )
b) (r s) t
c) s (q t )
d) s (q t )
7. Se sabe que la proposicin ( p q) es verdadera. Con base a esto, que se puede
decir acerca del valor de verdad de la siguiente expresin:

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?
14

Introduccin a la Lgica y Mtodos de Demostracin

1.12. Juegos de lgica

Aquellos juegos que se pueden resolver usando razonamiento lgico se conocen como
juegos lgicos. Resolver juegos lgicos es una excelente forma de practicar con las reglas
de la lgica. Hay programas de ordenador diseados para desarrollar razonamiento lgico
que a menudo utilizan juegos de lgica para ilustrar sus capacidades. Mucha gente se
divierte resolviendo juegos de lgica que se publican en libros y revistas como actividad
recreativa.
Discutiremos en esta seccin dos juegos de lgica. Empezamos con uno que fue planteado
inicialmente por Raymond Smullyan, un maestro de los juegos de la lgica, que ha
publicado ms de una docena de libros con interesantes juegos relacionados con el
razonamiento lgico.
Ejemplo 17. Smullyan plante muchos juegos lgicos acerca de una isla con dos clases de
habitantes: caballeros, que siempre dicen la verdad; y sus opuestos, villanos, que siempre
mienten. Te encuentras a dos personas, A y B. Qu son A y B si A dice B es un
caballero y B dice los dos somos de clases opuestas?
Solucin. Sean p y q las afirmaciones: A es un caballero y B es un caballero,
respectivamente, de tal forma que p y q son las afirmaciones: A es un villano y B
es un villano, respectivamente. Consideramos primero la posibilidad de que A es un
caballero; sta es la afirmacin de que p es verdadera. Si A es un caballero, entonces dice
la verdad cuando dice que B es un caballero; por tanto, q es verdadera, y A y B son de la
misma clase. Sin embargo, si B es un caballero; entonces la afirmacin de B de que A y B
son de clases opuestas, la afirmacin ( p q) (p q) tendra que ser verdadera, lo que
no se cumple, porque A y B son ambos caballeros. En consecuencia, podemos concluir que
A no es un caballero, es decir, p es falsa. Si A es un villano, como todo lo que dice es
falso, la afirmacin de A de que B es un caballero, es decir, que q es verdadera, es una
mentira, lo que significa que q es falsa y B es tambin un villano. Adems, si B es un
villano, la afirmacin de B de que A y B son de clases opuestas es una mentira, lo que es
consistente con que tanto A como B sean villanos. Concluimos, por lo tanto, que A y B son
villanos.
A continuacin, planteamos un juego de lgica conocido como el juego de los chicos con
barro para el caso de dos chicos.
Ejemplo 18. Un padre les dice a sus dos hijos, un chico y una chica, que jueguen en el
jardn sin ensuciarse. Sin embargo, jugando, los dos se manchan la frente de barro. Cuando
los chicos acaban de jugar, su padre dice Al menos uno de vosotros se ha manchado la
frente de barro y entonces le pide a los chicos que respondan S o No a la pregunta:
Sabes si tienes la frente manchada de barro?. El padre hace la pregunta dos veces. Qu
respondern los chicos cada vez que el padre hace la pregunta suponiendo que un chico
puede ver si su hermano o hermana se ha manchado la frente, pero no puede verse la suya?
Suponemos que los chicos son honestos y que responden simultneamente a cada pregunta.
15

Introduccin a la Lgica y Mtodos de Demostracin

Solucin. Sea p la afirmacin de que el hijo se ha manchado la frente y sea q la

afirmacin de que la hija se ha manchado la frente. Cuando el padre dice al menos uno de
los dos chicos se ha manchado la frente est afirmando que la disyuncin p q es
verdadera. Ambos chicos respondern No la primera vez que se les hace la pregunta
porque cada uno slo ve barro en la frente del otro. Esto es, el hijo sabe que q es
verdadera, pero no sabe si p es verdadera, y la hija sabe que p es verdadera, pero no sabe
si q es verdadera. Una vez que el hijo ha respondido No a la primera pregunta, la hija
puede determinar que q debe ser verdadera. Esto es as porque cuando se hace la primera
pregunta, el hijo sabe que p q es verdadera, pero no puede determinar si p es verdadera.
Usando esta informacin, la hija puede concluir que q debe ser verdadera, ya que si q
fuese falsa, el hijo podra haber razonado que debido a que p q es verdadera, entonces p
debe ser verdadera, y l habra respondido Si a la primera pregunta. El hijo puede razonar
de la misma forma para determinar que p debe ser verdadera. De aqu se sigue que la
respuesta de ambos chicos es Si a la segunda pregunta.

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?

1.13. Tautologas y contradicciones

Definicin 1.8 Una proposicin compuesta que es siempre verdadera, no importa los
valores de verdad de las proposiciones simples que la componen, se llama tautologa. Una
proposicin compuesta que es siempre falsa se llama contradiccin. Finalmente, una
proposicin que no es ni una tautologa ni una contradiccin se llama contingencia.
16

Introduccin a la Lgica y Mtodos de Demostracin

Las tautologas y las contradicciones son importantes en el razonamiento lgico y

matemtico. En particular, algunas tautologas son las equivalencias lgicas (que
estudiaremos a continuacin) y que sirven para manipular las expresiones lgicas y otras
son las implicaciones lgicas (que estudiaremos en el siguiente captulo) y que pueden
utilizarse como base de un razonamiento vlido.
El siguiente ejemplo ilustra estos dos tipos de proposiciones.
Ejemplo 19. Se puede construir ejemplos de tautologas y contradicciones usando slo una
proposicin simple. Considere las tablas de verdad de las dos proposiciones p p y
p p mostradas a continuacin
p
V
F

p
F
V

p p
V
V

p p
F
F

Como p p es siempre verdadera, es una tautologa. Como p p es siempre falsa, es

una contradiccin.
Ejemplo 20. La proposicin del ejemplo 14 a) es una tautologa, mientras que la del
ejemplo 14 b) es una contingencia.

1.14. Implicaciones y equivalencias lgicas

Definicin 1.9 Un condicional, p q , que es una tautologa, se llama una implicacin
lgica, y se denota por p q , se dice tambin que p implica lgicamente a q. Un
bicondicional, p q , que es una tautologa, se llama una equivalencia lgica, y se denota
por p q o p q , se dice tambin que p y q son lgicamente equivalentes. El smbolo
no es un conectivo lgico, slo se usa para expresar que p y q son lgicamente
equivalentes.
Una forma de determinar si un condicional o un bicondicional son implicacin lgica o
equivalencia lgica, respectivamente, es construyendo su tabla de verdad. Para ambos
casos, en la tabla de verdad, la columna que proporciona sus correspondientes valores de
verdad debe estar compuesta nicamente por V.

1.15. Tablas de equivalencias lgicas importantes

En la siguiente tabla se presentan algunas equivalencias de gran utilidad. En estas
equivalencias, V denota cualquier proposicin que siempre es verdadera y F denota
cualquier proposicin que siempre es falsa. Se muestran, tambin, algunas equivalencias
tiles que involucran condicionales y bicondicionales en las dos tablas siguientes,
respectivamente.
17

Introduccin a la Lgica y Mtodos de Demostracin

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

Ley del medio excluido

Ley de contradiccin
Leyes de identidad
Leyes de dominacin
Leyes de idempotencia
Ley de la doble negacin
Leyes conmutativas
Leyes asociativas
Leyes distributivas
Leyes de De Morgan
Leyes de absorcin

Equivalencias lgicas relacionadas con condicionales

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
18

Introduccin a la Lgica y Mtodos de Demostracin

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

( p1 p2 ... pn ) (p1 p2 ... pn )

y

( p1 p2 ... pn ) (p1 p2 ... pn ) .

(Para demostrar estas equivalencias se requiere de induccin matemtica, mtodo de
demostracin que se analizar en el captulo 4, seccin 4.5).
Las equivalencias lgicas dadas en stas tablas, se pueden utilizar para construir
equivalencias lgicas adicionales. Ello se debe a que una proposicin en una expresin se
puede sustituir por otra que sea lgicamente equivalente sin alterar el valor de verdad de la
expresin. Esta tcnica se ilustra en la siguiente seccin.
Ejercicios
1. Utilice tablas de verdad para verificar las siguientes equivalencias:
a) p V p
b) p F p
c) p F F
d) p V V
e) p p p
f) p p p
2. Verifique, con tablas de verdad, la ley conmutativa y la ley asociativa, respectivamente:
a) p q q p
b) p (q r ) ( p q) r
3. Utilice una tabla de verdad para verificar la ley distributiva:
p (q r ) ( p q ) ( p r )
4. Verifique, con tablas de verdad, que los siguientes condicionales son tautologas:
a) ( p q) p
b) p ( p q)
c) p ( p q)
d) ( p q) ( p q)
e) ( p q) p
f) ( p q) q
5. Utilice tablas de verdad para verificar las leyes de absorcin:
a) p ( p q) p
b) p ( p q) p
6. Utilice tablas de verdad para verificar las leyes:
a) ( p q ) (p q) q
b) ( p q ) (p q) q
19

Introduccin a la Lgica y Mtodos de Demostracin

1.16. lgebra declarativa

En el lgebra elemental se manipulan expresiones en las cuales las variables y las
constantes representan nmeros reales. En el lgebra declarativa se manipulan expresiones
lgicas, es decir, expresiones donde las variables y las constantes son valores de verdad.
Las expresiones lgicas se simplifican utilizando las equivalencias lgicas.
Ejemplo 21. Simplificar la expresin ( p q) q .

Solucin.

( p q) q p (q q) Por la segunda ley asociativa

pF

Por la ley de contradiccin

Por la segunda ley de dominacin

Ejemplo 22. Demostrar que las proposiciones ( p (p q)) y p q son

lgicamente equivalentes.
Solucin. Podramos utilizar una tabla de verdad para mostrar que estas expresiones son
equivalentes. En vez de ello, estableceremos la equivalencia desarrollando una serie de
equivalencias lgicas intermedias usando algunas de las dadas en las tablas anteriores,
comenzando con ( p (p q)) y finalizando con p q . Se tiene entonces:

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

Por la segunda ley de De Morgan

Por la primera ley de De Morgan
Por la ley de doble negacin
Por la segunda ley distributiva
Por la ley de contradiccin
Por la ley conmutativa para la disyuncin
Por la segunda ley de identidad

En consecuencia, ( p (p q)) y p q son lgicamente equivalentes.

Ejemplo 23. Probar que ( p q) ( p q) es una tautologa. Sin utilizar tablas de verdad.
Solucin. Para probar que esta proposicin es una tautologa, utilizaremos equivalencias
lgicas para demostrar que sta es lgicamente equivalente a V

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

20

Por equiv. del

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

Por la primera ley de De Morgan

Por las leyes asoc. y conm. para la disyuncin

V V
V

Por la ley del medio excluido

Por la primera ley de dominacin

Introduccin a la Lgica y Mtodos de Demostracin

Ejemplo 24. Demostrar la equivalencia p q ( p q) (p q) , dada en la tercera

tabla de equivalencias. Utilice cualquiera de las equivalencias dadas en las tablas excepto
esta misma.
Solucin. p q ( p q ) (q p )

Por equiv. del

(p q ) (q p )

Por equiv. del

[(p q ) q ] [(p q ) p ]

Por 2 ley distributiva

[(p q ) F ] [F (q p )]

Por la ley de contradiccin

(p q ) (q p )

Por 2 ley de identidad

( q p ) (p q )

Por ley conm. para la disy.

( p q ) (p q )

Por ley conm. para la conj.

[(p q ) (q q )] [(p p ) (q p )] Por 2 ley distrib.

Ejemplo 25. Demostrar la primera ley de absorcin que es p ( p q) p .

Solucin.

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

Por la primera ley de identidad

p (V q )

Por 2 ley distributiva

p V

Por la primera ley de dominacin

Por la primera ley de identidad

Ejemplo 26. Demostrar la equivalencia ( p q ) (p q) q , dada al final de la primera

tabla de equivalencias.

Solucin.

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

Por 2 ley distributiva

V q

Por la ley del medio excluido

Por la primera ley de identidad

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.

21

Introduccin a la Lgica y Mtodos de Demostracin

6. Demuestre que p q y p q son lgicamente equivalentes.

7. Demuestre que ( p q) y p q son lgicamente equivalentes.
8. Demuestre que ( p r ) (q r ) y ( p q) r son lgicamente equivalentes.
9. Demuestre que ( p r ) (q r ) y ( p q) r son lgicamente equivalentes.
10. Demuestre que p q y ( p q) (q p) son lgicamente equivalentes.
11. Demuestre que ( p q) (p r ) (q r ) es una tautologa.
12. Demuestre que ( p q) (q r ) ( p r ) es una tautologa.
13. Sean p y q dos proposiciones cualesquiera. Halle una expresin x (combinacin de p y
q) para que el siguiente condicional sea una tautologa: p ( x q)
14. Encuentre para cada uno de los siguientes casos, una expresin x de tal forma que los
siguientes bicondicionales sean tautologas:
a) p p x
b) p p x
15. Encuentre para cada uno de los siguientes casos, una expresin x de tal forma que los
siguientes bicondicionales sean contradicciones:
a) p p x
b) p p x
16. Suponga que la expresin: ( p q) es una contradiccin. Qu se puede decir
acerca del valor de verdad de las siguientes proposiciones:
a) p q
b) p q
c) q p
d) q p
e) q p
f) p q
17. Suponga que la expresin: p q es una tautologa. Qu se puede decir acerca del
valor de verdad de las siguientes proposiciones:
a) p q
b) p q
c) q p
d) q p
e) q p
f) p q
18. Simplifique las siguientes expresiones:
a) ( p V ) (q V )
b) ( p V ) (q p)
c) ( p q r ) ( p q r )
d) ( p q r ) (p q r )
19. Simplifique las siguientes expresiones:
a) p q ( p q) ( p q) p q
b) ( p q ) (p q) (( p r ) q)
c) (( p q) r ) q
22

Introduccin a la Lgica y Mtodos de Demostracin

20. Simplifique las siguiente expresin:

(r q r p) (q r p)
21. Simplifique las siguientes expresiones:
a) ( p (q (q r )))
b) ( p (q (r ( s p))))

1.17. Formas normales

Es til tener formas estndar para el manejo de expresiones porque stas hacen ms fcil la
identificacin y comparacin entre ellas. Las formas estndar para las expresiones lgicas
se llaman formas normales. Existen dos tipos; las formas normales disyuntivas y las formas
normales conjuntivas.

Definicin 1.10 Se dice que una expresin lgica est en forma normal disyuntiva, que
denotaremos por fnd, si est escrita como una disyuncin de las conjunciones de las
variables o sus negaciones.
Ejemplo 27. a) Son formas normales disyuntivas: ( p q) ( p q) , p (q r ) ,
p V , p, p , V, y F.
b) No son formas normales disyuntivas: ( p q) r y p (q ( p r )) .

Definicin 1.11 Se dice que una expresin lgica est en forma normal conjuntiva, que
denotaremos por fnc, si est escrita como una conjuncin de las disyunciones de las
variables o sus negaciones.
Ejemplo 28. a) Son formas normales conjuntivas: ( p q) ( p q) , p (q r ) ,
p V , p, p , V, y F.
b) No son formas normales conjuntivas: ( p q) r y p (q ( p r ))
Toda expresin lgica se puede transformar de manera equivalente a una fnd o a una fnc.
Para ello se utilizan las equivalencias lgicas dadas anteriormente.

Ejemplo 29. Transformar la proposicin (( p q) r ) a la fnd y a la fnc.

Solucin.

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

ya est en fnd
ya est en fnc
23

Introduccin a la Lgica y Mtodos de Demostracin

Ejemplo 30. Simplificar la siguiente forma normal conjuntiva:

( 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

1.18. Tablas de verdad y formas normales

Hemos mostrado la forma de construir la tabla de verdad de una expresin lgica. Lo
contrario tambin es posible; es decir, se puede transformar cualquier tabla de verdad dada,
sin conocer la frmula, en una forma normal disyuntiva (conjuntiva). Para convertir una
funcin dada por su tabla de verdad en una expresin lgica se utilizan trminos mnimos.

Definicin 1.12 Un trmino mnimo es una conjuncin de variables o sus negaciones, en la

cual cada variable se representa exactamente una vez.
Ejemplo 31. Si una funcin lgica tiene variables p, q, y r, entonces
a) p q r y p q r son trminos mnimos.
b) p q y p q p r no son trminos mnimos.
Un segundo mtodo para obtener formas normales para una proposicin, consiste en el
anlisis de su tabla de verdad. Con este mtodo obtenemos inicialmente una fnd con
trminos mnimos, y luego utilizamos sta para generar las otras formas normales. Este
mtodo es particularmente til si no conocemos la frmula si no solamente su tabla de
verdad.

Ejemplo 32. Consideremos la tabla de verdad, dada a continuacin, correspondiente a la

proposicin (p r ) (q p)
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
24

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

Introduccin a la Lgica y Mtodos de Demostracin

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.
25

Introduccin a la Lgica y Mtodos de Demostracin

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 )
Que es la fnc equivalente a la funcin lgica f.

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

26

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

Introduccin a la Lgica y Mtodos de Demostracin

1.19. Ejercicios y temas adicionales

La proposicin dual de una frmula que contiene slo los operadores lgicos , y es
la proposicin que se obtiene al sustituir cada por , cada por , cada V por F y
cada F por V. La dual de la proposicin s se denota por s * .
1. Halle la proposicin dual de cada una de las siguientes proposiciones:
b) (p q r ) s
a) p q r
c) ( p F ) (q V )
d) ( p q ) p q
e) p ( p q) p
f) ( p q ) (p q) q
2. Demuestre que ( s * )* = s
Un conjunto de conectivos lgicos se llama completo si cada una de las frmulas es
lgicamente equivalente a una frmula que es funcin nicamente de estos conectivos
lgicos.
3. Demuestre que , y forman un conjunto completo de conectivos lgicos.
4. Demuestre que los siguientes conjuntos de conectivos son completos:
a) { , }
b) { , }
c) { , }
Los problemas siguientes estn relacionados con los operadores lgicos NAND y NOR. La
proposicin pNANDq es verdadera cuando p o q, o ambas, son falsas, y es falsa cuando
tanto p como q son verdaderas. La proposicin pNORq es verdadera cuando tanto p como q
son falsas, y es falsa en cualquier otro caso. Las proposiciones pNANDq (que se lee en
lenguaje usual como no ambas p y q) y pNORq (que se lee usualmente como ni p ni
q) se denotan por p q y p q , respectivamente. Los operadores lgicos y se
llaman, barra de Sheffer y flecha de Peirce por H. M. Sheffer y C. S. Peirce,
respectivamente.
5. Construya la tabla de verdad para cada uno de los operadores lgicos NAND y NOR.
6. Demuestre que p q es lgicamente equivalente a ( p q ) .
7. Demuestre que p q es lgicamente equivalente a ( p q) .

{ }

8. En este ejercicio demostraremos que

es un conjunto completo de conectivos
lgicos.
a) Demuestre que p q es lgicamente equivalente a p .
b) Demuestre que ( p q) ( p q) es lgicamente equivalente a p q .
c) Utilice las partes a) y b) y el ejercicio 4 parte a) para concluir que
conjunto completo de conectivos lgicos.

{ } es un
27

Introduccin a la Lgica y Mtodos de Demostracin

9. Encuentre una proposicin equivalente a p q utilizando nicamente el operador

lgico .
10. Demuestre que
11. Demuestre que
conmutativo.

{ } es un conjunto completo de conectivos lgicos.

p q

q p

12. Demuestre que p ( q r ) y

lgico

son equivalentes, es decir el operador lgico

es

( p q ) r no son equivalentes, por lo que el operador

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?
28