1

Lgica &
Conjuntos
Objetivos:
Reconocer si una expresin es proposicin
Traducir expresiones lgicas
Determinar el valor de verdad de una proposicin
Reconocer la diferencia entre condiciones suficientes y necesarias
Manipular expresiones lgicas aplicando tablas, leyes y reduccin al absurdo
Establecer los fundamentos de demostracin y refutacin
Operar conjuntos y representarlos en diagramas
Demostrar y refutar proposiciones referentes a conjuntos
Resolver problemas diversos de cardinalidad
Utilizar cuantificadores
Traducir expresiones con cuantificadores
Hallar el conjunto solucin de un predicado
Reconocer la diferencia entre relaciones y funciones
Clasificar funciones segn su tipo
Sentar las bases referentes a la teora de funciones
Determinar si es posible el clculo de la inversa y la compuesta
Sinopsis:
1. 1. Lgica matemtica
1. 2. Conjuntos
1. 3. Lgica y conjuntos
1. 4. Relaciones y funciones

1
 Lgica Matemtica Captulo 1

Lgica Matemtica
Seccin 1
1. 1. PROPOSICIN
Definicin Proposicin: Oracin o afirmacin que es verdadera o falsa pero no ambas a la vez.
Valor de verdad: Poder afirmar que una proposicin es verdadera o falsa es asignarle un valor de
verdad. De aqu en adelante puedes referirte a verdadero como 1 y a falso como 0.

EJERCICIO 1. Indica si el siguiente enunciado es proposicin: 1547 es un nmero impar.

La expresin es proposicin debido a que se le puede asignar un valor de verdad. 1547 s es un nmero impar,
por lo tanto se trata de una proposicin verdadera.

EJERCICIO 2. Indica si el siguiente enunciado es proposicin: Cuenca es capital de Uruguay.

La expresin s es proposicin. Como ves, tiene valor de verdad falso.

EJERCICIO 3. Indica si el siguiente enunciado es proposicin: Cunta alegra hay en este pas!
La expresin no es proposicin. Se trata de una exclamacin, la cual obviamente no tiene un valor de verdad.

EJERCICIO 4. Indica si el siguiente enunciado es proposicin: El nmero siete es triste.

A un nmero no se le puede atribuir un estado de nimo. La expresin carece de sentido y por lo tanto no es
una proposicin.

EJERCICIO 5. Indica si el siguiente enunciado es proposicin: Levntate por favor!

La expresin no es proposicin debido a que se trata de una orden. Una orden no tiene un valor de verdad.

EJERCICIO 6. Indica si el siguiente enunciado es proposicin: Desde hace mucho tiempo no he

enfermado de asma.
No es proposicin. La expresin desde hace mucho tiempo es ambigua, puede significar un mes, un ao, etc.

EJERCICIO 7. Indica si el siguiente enunciado es proposicin: Maana llover en Guayaquil.

La expresin s es proposicin. Es incorrecto afirmar que si una oracin est en tiempo futuro no es
proposicin. Aunque es cierto que no conocemos su valor de verdad cuando an no ha ocurrido, tambin es
cierto que su valor de verdad es nico. En este caso, podemos estar seguros que maana pasar slo una de
las siguientes dos opciones: llover en Guayaquil o no llover. No conocemos el valor de verdad de la
proposicin pero sabemos que tiene uno.
EJERCICIO 8. Indica si el siguiente enunciado es proposicin: x 4 10 .
La expresin no es proposicin ya que depende de la variable x . Para x 6 la expresin es verdadera pero
cualquier otro valor producir un falso. Por lo tanto la oracin no tiene un valor de verdad nico.

EJERCICIO 9. Indica si el siguiente enunciado es proposicin: El 12 de agosto fue jueves.

La expresin no es proposicin. No puedes asignarle un valor de verdad sin conocer el ao. Existen aos para
los cuales la expresin es verdadera y otros para los cuales es falsa.

2
 Captulo 1 Lgica Matemtica

EJERCICIO 10. Indica si el siguiente enunciado es proposicin: Ests haciendo deporte?

La expresin no es proposicin. Una pregunta tiene respuesta ms no valor de verdad. En el caso de esta
pregunta es obvio que no responderas diciendo verdadero o falso sino s o no.

EJERCICIO 11. Determina el valor de verdad de la proposicin: Caracas es capital de Colombia.

La proposicin es falsa.

EJERCICIO 12. Determina el valor de verdad de la proposicin: 3 5 4

2

La proposicin es verdadera. (3 5) ( 2) 4
2 2

EJERCICIO 13. Determina el valor de verdad de la proposicin: 5 5 5

La proposicin es falsa. 5 5 2 5 4.47 5

1. 2. CLASES DE PROPOSICIONES
Definicin Proposicin Simple o Atmica: Una proposicin que no puede dividirse en ms proposiciones.
Definicin Proposicin Compuesta o Molecular: Una proposicin que est formada por proposiciones
simples que se encuentran unidas por operadores lgicos.

EJERCICIO 14. Determina las proposiciones simples dentro de la siguiente proposicin compuesta: El
telfono est daado y el tcnico tom vacaciones con su familia fuera de la ciudad.
La proposicin molecular tiene dos proposiciones simples o atmicas. La primera el telfono est daado y la
segunda el tcnico tom vacaciones con su familia fuera de la ciudad. Cada una tiene un valor de verdad y
ninguna puede dividirse en ms proposiciones.

1. 3. OPERADORES LGICOS
Definicin Negacin () : El ms sencillo de los operadores lgicos. Acta sobre la proposicin p para formar
la proposicin p que se lee:
No p
No es cierto que p
No es verdad que p
Si p es verdadera p es falsa y viceversa.
Definicin Conjuncin ( ) : Acta sobre las proposiciones p y q para formar la proposicin p q que se lee:
p y q
p adems q
p pero q
La conjuncin de proposiciones es verdadera cuando todas las proposiciones que la forman son
verdaderas y es falsa en cualquier otro caso.
**TIP: En algunos casos un punto seguido o una coma dentro de un prrafo puede corresponder al operador conjuncin. Sin
embargo, esto no es una regla, pues depende del contexto.

Definicin Disyuncin (Disyuncin Inclusiva) ( ) : Acta sobre las proposiciones p y q para formar la
proposicin p q que se lee:
poq
La disyuncin de proposiciones es falsa cuando todas las proposiciones que la forman son falsas y es
verdadera en caso contrario.
Definicin Disyuncin Exclusiva : Acta sobre las proposiciones p y q para formar la proposicin
p q que se lee:
Opoq
La disyuncin exclusiva entre p y q es verdadera cuando las proposiciones p y q tienen valores
de verdad distintos y falsa en cualquier otro caso.

3
 Lgica Matemtica Captulo 1

Definicin Implicacin (Condicional o Enunciacin Hipottica) () : Acta sobre las proposiciones p y

q para formar la proposicin p q que se lee:
Si p entonces q q si p
Si p , q q siempre que p
p entonces q q cuando p
p slo si q q porque p
p solamente si q Para q basta p
p implica q p es suficiente para q
Basta p para q q es necesaria para p
Ya que p , q
La proposicin p q es falsa cuando p es verdadera y q es falsa, y verdadera en cualquier otro
caso. La proposicin que est antes de la flecha se denomina hiptesis, premisa o antecedente, y la
proposicin despus de la flecha se denomina conclusin, tesis o consecuente. Por lo tanto podemos
decir que con la hiptesis verdadera y la conclusin falsa, la implicacin es falsa. nicamente en ese
caso.
**TIP: Por la experiencia sabemos que este es el operador que presenta mayor dificultad a los estudiantes, y esto se debe a que,
a diferencia de los dems operadores que actan sobre dos proposiciones, la implicacin no es conmutativa. Por lo tanto
alterar el orden te puede conducir a un resultado incorrecto. Si quieres evitar esto te recomiendo traducir las implicaciones
tomando como gua lo siguiente:
La palabra si acta sobre la hiptesis sin importar en qu lugar de la oracin se encuentre.
Las expresin slo si o solamente si actan sobre la conclusin sin importar en qu lugar de la oracin de encuentre.
Al igual que la palabra si, las expresiones basta que, siempre que, puesto que, etc. actan sobre la hiptesis.

Definicin Doble implicacin : Acta sobre las proposiciones p y q para formar la proposicin
p q que se lee:
p si y slo si q
p entonces q y q entonces p
p es equivalente a q
La proposicin p q es verdadera cuando p y q tienen el mismo valor de verdad y falsa en
cualquier otro caso.

EJERCICIO 15. Traduzca al lenguaje formal la siguiente proposicin: Estudio y apruebo el examen de
admisin, o repruebo y lo intento una vez ms.
Primero tienes que identificar las proposiciones simples y asignarles una letra para representarlas. Por lo
general se utilizan las letras p , q , r , s , pero puedes utilizar otras letras.
p : Estudio
q : Apruebo el examen de admisin
r : Intento aprobar el examen de admisin una vez ms.
Sera un error que definas, adems de las proposiciones anteriores, la proposicin repruebo el examen de
admisin. Por qu? Porque al definir q como apruebo el examen de admisin, est implcito que
reprobar el examen de admisin es la negacin de q . Por lo tanto la traduccin es: ( p q) (q r) .

EJERCICIO 16. Traduzca al lenguaje formal la siguiente proposicin: No quiero ir al estadio ni ver
televisin.
El objetivo de este problema es introducirte en el manejo del operador negacin y en la traduccin de oraciones
de la forma no p ni q o ni p ni q . Inicia con la traduccin de ni p ni q . Aunque no aparece y,
pero o adems, el operador que debes utilizar es conjuncin. Esto se debe a que la expresin ni p ni q
es equivalente a no p y no q . Ahora definimos las proposiciones simples:
p : Quiero ir al estadio
q : Quiero ver televisin
La traduccin es: p q
Sin embargo existen expresiones que corresponden a traducciones correctas sin ser idnticas a la anterior, por
ejemplo, puedes definir las proposiciones simples como sigue:

4
Captulo 1 Lgica Matemtica

a : No quiero ir al estadio
b : No quiero ver televisin
Es este caso la traduccin es: a b
Las expresiones p q y a b son equivalentes, sin embargo, es recomendable utilizar la primera forma
ya que muestra la negacin de forma explcita en la traduccin, lo que hace ms intuitivo su manejo.

EJERCICIO 17. Traduzca al lenguaje formal la siguiente proposicin: Mi equipo gana el juego de ftbol y
obtiene los 3 puntos, o pierde y trata de ganar el prximo juego.
Las proposiciones simples son:
p : Mi equipo gana el juego de ftbol
q : Mi equipo obtiene los 3 puntos
r : Mi equipo pierde el juego de ftbol
s : Mi equipo trata de ganar el prximo juego
Es posible que te preguntes por qu se defini la proposicin mi equipo pierde el juego de ftbol si dicha
expresin corresponde a la negacin de la proposicin mi equipo gana. En trminos sencillos, la respuesta es
que perder no es la negacin de ganar. Es decir, en este caso, no puedes afirmar que no ganar significa
perder ya que tambin existe la posibilidad de empate. Si an tienes dudas contrasta este ejercicio con el 16
para que notes la diferencia. La traduccin es: ( p q) ( r s )

EJERCICIO 18. Traduce al lenguaje formal las siguientes proposiciones:

a) No estoy enfermo y quiero regresar a casa
b) No es verdad que estoy enfermo y quiero regresar a casa.
Este ejercicio es importante para establecer diferencias entre las proposiciones de la forma no p y q y no

es verdad que p y q . Para la primera expresin la traduccin es p q y para la segunda p q . En
conclusin, la expresin no es verdad que acta como una negacin de toda la expresin que le sigue.
Primero defines las proposiciones simples
p : Estoy enfermo
q : Quiero regresar a casa
La traduccin es:
a) p q
b) p q

EJERCICIO 19. Traduce al lenguaje formal la siguiente proposicin:

Juan est en la universidad pero debe llegar a casa a las 5 p.m. Adems debe tomar las medicinas que estn en
su recmara o hablar con su doctor.
Las proposiciones simples son:
p : Juan est en la universidad
q : Juan debe llegar a casa a la 5 p.m.
r : Juan debe tomar las medicinas que estn en su recmara
s : Juan debe hablar con su doctor
Recuerda que las palabras pero y adems se traducen como conjuncin. La traduccin al lenguaje formal

es: p q r s
EJERCICIO 20. Traduce al lenguaje formal la proposicin:
Estudio todos los das o corro el riesgo de reprobar. O apruebo con buenas calificaciones o repruebo. Si no
intento aprobar con la mxima nota, no estoy dando lo mejor de m.
Las proposiciones simples son:
a : Estudio todos los das
b : Corro el riesgo de reprobar
c : Apruebo con buenas calificaciones
d : Repruebo
e : Intento aprobar con la mxima nota

5
Lgica Matemtica Captulo 1

f : Estoy dando lo mejor de m

Cuando una oracin tenga la forma o p o q , recuerda que el operador que debes utilizar es la disyuncin
exclusiva. La traduccin es: (a b) (c d ) (e f )
EJERCICIO 21. Traduce al lenguaje formal la proposicin:
O salgo de casa y compro un libro de historia, o me quedo en ella y veo televisin. Pero si salgo de casa y no
tengo suficiente tiempo, no compro el libro.
Las proposiciones simples son:
p : Salgo de casa
q : Compro un libro de historia
r : Veo televisin
s : Salgo de casa
t : Tengo suficiente tiempo
Ten cuidado y fjate que me quedo en casa es la negacin de salgo de casa. La traduccin es:
[ ( p q) (p r ) ] [ ( s t ) q ]

1. 4. TRADUCCIONES CON CONDICIONAL

De entre los operadores lgicos, el condicional es el que ms problemas acarrea a los estudiantes
debido a las mltiples lecturas que tiene, lo que consideramos motivo suficiente como para dedicar
una seccin completa a tales ejercicios. Los ejercicios que vers a continuacin te guiarn en la
traduccin de estas proposiciones.

EJERCICIO 22. Traduce al lenguaje formal la proposicin: Voy al cine si tengo dinero suficiente.
Las proposiciones simples son:
a : Voy al cine
b : Tengo dinero suficiente
En este caso la palabra si acta sobre la proposicin b , y dado que dicha palabra acta siempre sobre la
hiptesis, la traduccin es: b a
Fjate que el orden en que aparecen las proposiciones en el enunciado original no es el mismo de la traduccin y
recuerda que la hiptesis va antes de la flecha.

EJERCICIO 23. Traduce al lenguaje formal la proposicin: Si estudio, obtengo excelentes calificaciones.
Las proposiciones simples son:
p : Estudio
q : Obtengo excelentes calificaciones
En este caso la palabra si acta sobre la proposicin p , y dado que dicha palabra acta siempre sobre la
hiptesis, la traduccin es: p q

EJERCICIO 24. Traduce al lenguaje formal la proposicin: Pedro entrena en el equipo slo si no siente
molestias por su lesin.
Las proposiciones simples son:
p : Pedro entrena en el equipo
q : Pedro siente molestias por su lesin
En este caso slo si acta sobre la proposicin q , y dado que slo si acta siempre sobre la conclusin, la
traduccin es: p q . Recuerda que la conclusin va despus de la flecha.

EJERCICIO 25. Traduce al lenguaje formal la proposicin: Basta tener fuerza de voluntad para afrontar
grandes obstculos.
Las proposiciones simples son:
p : Se tiene fuerza de voluntad
q : Se afrontan grandes obstculos
En este caso basta acta sobre la proposicin p , y dado que basta acta siempre sobre la hiptesis, la
traduccin es: p q
6
Captulo 1 Lgica Matemtica

EJERCICIO 26. Traduce al lenguaje formal la proposicin: Slo si voy al cine con Eva y la funcin es
divertida, llegar tarde a casa. Para tener problemas con mam basta llegar tarde a casa. Llegar tarde a casa si
voy al cine con Eva.
Las proposiciones simples son:
p : Voy al cine con Eva
q : La funcin es divertida
r : Llegar tarde a casa
s : Tengo problemas con mam
La traduccin es: [ r ( p q )] ( r s ) ( p r )
EJERCICIO 27. Traduce al lenguaje formal la proposicin: Jos va a la playa si y slo si su pap le presta
el auto. Si Jos no va a la playa, entonces su pap usar el auto. El pap de Jos le prestar su auto slo si Jos
promete conducir con precaucin y durante la maana. Por lo tanto, Jos no va a la playa.
Las proposiciones simples son:
p : Jos va a la playa
q : El pap de Jos le presta su auto
r : El pap de Jos usar el auto
s : Jos promete conducir el auto con precaucin
t : Jos promete conducir durante la maana
La traduccin es: {( p q ) ( p r ) [ q ( s t )]} p
Un punto seguido por lo general se traduce como conjuncin, sin embargo, si despus de un punto seguido la
siguiente oracin inicia con entonces, por lo tanto, luego, o cualquier expresin equivalente, se debe
utilizar el operador implicacin. En este ejercicio, la ltima oracin empieza con Por lo tanto despus de un
punto seguido, entonces debes utilizar implicacin, de tal forma que la expresin que le sigue sea la conclusin
de toda la proposicin.

EJERCICIO 28. Traduce al lenguaje formal la proposicin: Basta ignorar al pueblo para no ser un buen
poltico. Ser un poltico implica invertir tiempo. Si ser un buen poltico implica invertir tiempo, no ser un
buen poltico implica ignorar al pueblo. Entonces, no es verdad que invertir tiempo es suficiente para ser un
buen poltico.
Las proposiciones simples son:
p : Se ignora al pueblo
q : Se es un buen poltico.
r : Se es un poltico
s : Se invierte tiempo
La traduccin es: p q r s q s q p s q

EJERCICIO 29. Habrn damnificados si el ro se desborda. O construimos muros de contencin o se

perdern las plantaciones. No nos lamentamos y nos ponemos a trabajar, o sufrimos las consecuencias. No es
verdad que si construimos muros de contencin, perderemos nuestro tiempo. Luego, construimos muros de
contencin y no habrn damnificados.
Las proposiciones simples son:
p : Habrn damnificados
q : El ro se desborda
r : Construimos muros de contencin
s : Se perdern las plantaciones
t : Nos lamentamos
u : Nos ponemos a trabajar
v : Sufrimos las consecuencias
w : Perderemos nuestro tiempo

La traduccin es: q p r s t u v r w r p

7
Lgica Matemtica Captulo 1

1. 5. VALOR DE VERDAD DE PROPOSICIONES COMPUESTAS

EJERCICIO 30. Determina el valor de verdad de la proposicin: Si 2 2 y 2 4 2 , entonces
5 5 5
Define debes definir las proposiciones simples y asignarles un valor de verdad.
p:22 1
q:24 2 0
r: 5 5 5 0
La traduccin es: ( p q ) r
Reemplazando los valores de verdad: ( 1 0 ) 0 0 0 1
EJERCICIO 31. Determine, de ser posible, los valores de verdad de las proposiciones a , b y c si la
proposicin ( a b) c es falsa.
Este tipo de problemas se resuelve con la definicin de los operadores lgicos que son parte de la expresin. En
este caso, el operador principal en la proposicin anterior es la implicacin. Por lo tanto existe slo una
posibilidad para que sea falsa, que la hiptesis sea verdadera y la conclusin falsa. La hiptesis y la conclusin
respectivamente son: a b y c , por lo tanto:
a b 1 y c 0
Con esto ya conocemos el valor de verdad de c . Por otro lado el principal operador en la hiptesis es la
conjuncin. La nica posibilidad para que la conjuncin sea verdadera es que las dos proposiciones sean
verdaderas, por lo tanto: a 1 y b 1
El valor de verdad de a es 0 ya que su negacin es 1 . La repuesta es: a 0 b 1 y c 0

EJERCICIO 32. Determine, de ser posible, los valores de verdad de las proposiciones a , b y c si la
proposicin ( a b) [a (b c )] es falsa.
El operador principal es disyuncin. Para que la disyuncin sea falsa, ambas proposiciones deben ser falsas, por
lo tanto:
a b 0
a b c 0
a b 0 , por lo tanto a 1 y b 0
Debido a que una proposicin, por definicin, tiene un valor de verdad nico, podemos reemplazar los valores
de verdad de las proposiciones a y b en la expresin a b c 0 , al hacerlo obtienes:
1 0 c 0
De lo anterior vemos que 1 0 c debe ser falsa y que el operador principal es conjuncin. La conjuncin
es falsa cuando por lo menos una de las proposiciones que la forman es falsa. La primera proposicin es
verdadera, por lo cual 0 c debe ser falsa.
La doble implicacin es falsa cuando las proposiciones tienen valores de verdad distintos, entonces c 1 . La
respuesta es: a 1, b 0 y c 1

EJERCICIO 33. Determina, de ser posible, los valores de verdad de las proposiciones a , b y c si la
proposicin a b c a es verdadera.
El operador principal es la conjuncin. Para que la conjuncin sea verdadera, ambas proposiciones deben ser
verdaderas. Por lo tanto:
a b 1
c a 1
Para que a b sea verdadera hay tres posibilidades, por lo que es mejor iniciar analizando la otra
proposicin.

Para que c a sea verdadera c a debe ser falsa. El operador principal en c a es la disyuncin, la
cual es falsa slo cuando las proposiciones que la forman son falsas. Por lo tanto: c 0 y a 0 .
Reemplazando el valor de a en la primera proposicin obtienes 0 b .
0 b , expresin que debe ser verdadera. En este caso b puede tomar cualquier valor de verdad ya que la
expresin 0 b siempre es verdadera. La respuesta es: a 0, c 0 y b puede ser verdadera o falsa.

8
 Captulo 1 Lgica Matemtica

EJERCICIO 34. Determina de ser posible los valores de verdad de las proposiciones a , b y c si la
proposicin c a a b es falsa.
El operador principal es la disyuncin. Para que la disyuncin sea falsa, ambas proposiciones deben ser falsas.
Por lo tanto:
c a 0
a b 0
Para que c a sea falsa c debe ser verdadera y a debe ser falsa, por lo tanto: c 1 y a 0

Ahora debes reemplazar el valor de a en la proposicin 0 b con lo cual obtienes: 0 b 0

Lo anterior es imposible ya que 0 b es falso sin importar que valor tenga b . Por lo tanto 0 b 1 . La

respuesta es: No existen valores de a , b y c para que la proposicin c a a b sea falsa.

1. 6. RECPROCA, CONTRARRECPROCA E INVERSA

Definicin Con respecto a la implicacin p q se definen:

Recproca: q p
Contrarrecproca (Contrapositiva): q p
Inversa: p q

De la definicin anterior se desprende que para obtener la recproca simplemente debes

intercambiar hiptesis y conclusin, para obtener la contrarrecproca debes intercambiar hiptesis y
conclusin y negar cada una, finalmente para obtener la inversa debes mantener el orden original y
negar hiptesis y conclusin.

EJERCICIO 35. Determina la recproca, contrarrecproca e inversa de la siguiente proposicin: a b

Recproca: b a
Contrarrecproca: b a
Inversa: a b

EJERCICIO 36. Determina la recproca, contrarrecproca e inversa de la siguiente proposicin: a b

Recproca: b a
Contrarrecproca: b a
Inversa: a b
La negacin de a es la proposicin a , es decir a a , por lo tanto:
Contrarrecproca: b a
Inversa: a b

EJERCICIO 37. Determina la recproca, contrarrecproca e inversa de la siguiente proposicin: m n

Recproca: n m
Contrarrecproca: n m
Inversa: m n
EJERCICIO 38. Determina la recproca, contrarrecproca e inversa de la siguiente proposicin: Si no estoy
enfermo, entonces hago deporte.
Primero traduce al lenguaje formal la proposicin. Las proposiciones atmicas son:
p : Estoy enfermo
q : Hago deporte
La traduccin es: p q
La recproca, contrarrecproca e inversa son respectivamente: q p , q p y p q
Al expresarlas en lenguaje comn tenemos:
Recproca: Si hago deporte, entonces no estoy enfermo.
Contrarrecproca: Si no hago deporte, entonces estoy enfermo.
Inversa: Si estoy enfermo, entonces no hago deporte.
9
 Lgica Matemtica Captulo 1

1. 7. FORMA PROPOSICIONAL Y TABLA DE VERDAD

Definicin Forma Proposicional: f ( p1 , p2 , p3 ,..., pn ) es una forma proposicional si para cada valor de las
variables proposicionales p1 , p2 , p3 ,..., pn existe un valor de verdad para f ( p1 , p2 , p3 ,..., pn ) .

En trminos sencillos, una forma proposicional es una expresin formada por variables
proposicionales unidas por operadores lgicos. Por lo general las variables proposicionales se
representan con las letras p , q , r , etc.

Posiblemente te ests preguntando cul es la diferencia entre una proposicin molecular y una
forma proposicional. Una proposicin molecular est formada por proposiciones especficas, como:
Juan hace la tarea y asiste a clases todos los lunes mientras que una forma proposicional est
formada por variables que representan cualquier proposicin, por ejemplo: ( p q) r .
Definicin Tabla de Verdad: La tabla de verdad muestra todos los valores de verdad que puede tomar una
forma proposicional. Cada valor corresponde a una combinacin de los valores de verdad de sus
variables proposicionales.
n
El nmero de combinaciones posibles es igual a 2 , siendo n el nmero de variables
proposicionales. Como ejemplo, si tenemos una forma proposicional con las variables p , q , r y s
la tabla de verdad estar formada por 2 16 filas. A continuacin se muestran las tablas de
4

verdad de los operadores lgicos de la seccin 1.3.

Negacin () : La negacin cambia el valor de verdad de la proposicin.
p p
1 0
0 1

Conjuncin : Verdadera si y slo si las proposiciones qua la forman son verdaderas.

p q pq
1 1 1
1 0 0
0 1 0
0 0 0

Disyuncin : Falsa si y slo si las proposiciones que la forman son falsas.

p q pq
1 1 1
1 0 1
0 1 1
0 0 0

Disyuncin Exclusiva : Verdadera si y slo si las proposiciones tienen valores de verdad distintos.
p q p q
1 1 0
1 0 1
0 1 1
0 0 0

Implicacin : Falsa si y slo si la hiptesis es verdadera y la conclusin es falsa.

p q pq
1 1 1
1 0 0
0 1 1
0 0 1

10
 Captulo 1 Lgica Matemtica

Doble implicacin : Verdadera si y slo si las proposiciones tienen el mismo valor de verdad.
p q p q
1 1 1
1 0 0
0 1 0
0 0 1

Definicin Tautologa: Forma proposicional verdadera para todos los casos de la tabla de verdad.
Definicin Contradiccin: Forma proposicional falsa para todos los casos de la tabla de verdad.
Definicin Contingencia: Forma proposicional que toma valores verdaderos y falsos en la tabla de verdad.
Definicin Falacia: Forma proposicional no tautolgica.
Segn la definicin, una falacia puede ser una contradiccin o una contingencia, ya que ambos casos
corresponden a una forma proposicional no tautolgica.
EJERCICIO 39. Construye la tabla de verdad de la siguiente forma proposicional: ( p q) q
Al armar la tabla de verdad debes considerar todas las posibilidades. El nmero de posibilidades es igual a
2 elevado al nmero de variables proposicionales. Con 2 variables proposicionales se tienen 22 4 filas.
Luego ubica en columnas las variables proposicionales, por comodidad, en orden alfabtico. La columna de p
tendr dos verdaderos y dos falsos respectivamente. La columna de q tendr alternados dos verdaderos y
falsos. Esta disposicin es por conveniencia ya que en realidad no importa en que orden hagas las
combinaciones siempre que tomes en cuenta todas las posibilidades. Es momento de iniciar con la expresin
( p q) q . Como si se tratase de una expresin algebraica resuelve primero el parntesis y contina
hasta desarrollar toda la forma proposicional.
p q pq q ( p q) q
1 1 1 0 0
1 0 0 1 1
0 1 0 0 1
0 0 0 1 1

De la tabla podemos establecer las siguientes conclusiones: la forma proposicional ( p q) q es falsa si

p y q son verdaderas y es verdadera si por lo menos una de las variables proposicionales es falsa.
EJERCICIO 40. Determina si la forma proposicional del ejercicio anterior se trata de una tautologa,
contradiccin, contingencia o falacia.
La forma proposicional tiene valores de verdad verdaderos y falsos, por lo tanto se trata de una contingencia.
Adems es una falacia debido a que es una forma proposicional no tautolgica.
EJERCICIO 41. Construye la tabla de verdad de la siguiente forma proposicional y determina si trata de
una tautologa, contradiccin, contingencia o falacia. [( p q) (p q)] p .
Con dos variables proposicionales se tienen 2 4 filas.
2

p q p q ** A p q B p q A B A B p
1 1 0 0 1 0 0 1
1 0 0 1 0 1 0 1
0 1 1 0 1 1 1 1
0 0 1 1 1 1 1 1

La forma proposicional es verdadera en todos los casos, por lo tanto se trata de una tautologa.
** La expresin A p q es simplemente para ahorrar espacio. El smbolo se lee equivalente y ser estudiado ms adelante.
En todo caso, con la equivalencia A p q , podemos escribir A en lugar de p q .

EJERCICIO 42. Construye la tabla de verdad de la siguiente forma proposicional y determina si trata de
una tautologa, contradiccin, contingencia o falacia. (p q) ( p r ) .
Con tres variables proposicionales: p , q y r , se tienen 2 8 filas.
3

11
 Lgica Matemtica Captulo 1

p q r p p q pr ( p q ) ( p r )
1 1 1 0 1 1 1
1 1 0 0 1 0 0
1 0 1 0 0 1 0
1 0 0 0 0 0 0
0 1 1 1 1 0 0
0 1 0 1 1 1 1
0 0 1 1 1 0 0
0 0 0 1 1 1 1

La forma proposicional es una contingencia (tiene verdaderos y falsos) y una falacia (porque no es tautologa).

EJERCICIO 43. Construye la tabla de verdad de la siguiente forma proposicional y determina si se trata de
una tautologa, contradiccin, contingencia o falacia. ( r p ) ( p q ) p r
Con tres variables proposicionales se tienen 2 8 filas.
3

p q r p q A r p B pq C pr A B C
1 1 1 0 0 0 0 1 0
1 1 0 0 0 1 0 0 0
1 0 1 0 1 0 1 1 0
1 0 0 0 1 1 1 0 0
0 1 1 1 0 1 1 0 0
0 1 0 1 0 1 1 0 0
0 0 1 1 1 1 0 0 0
0 0 0 1 1 1 0 0 0

La forma proposicional es una contradiccin (porque es siempre falsa) y falacia (porque no es tautologa).

EJERCICIO 44. Construye la tabla de verdad de la siguiente forma proposicional y determina si se trata de
una Tautologa, Contradiccin, Contingencia o Falacia. [(p q ) ( p r )] p :
p q r p p q pr A (p q ) ( p r ) A p
1 1 1 0 1 1 1 1
1 1 0 0 1 0 0 1
1 0 1 0 0 1 1 1
1 0 0 0 0 0 1 1
0 1 1 1 1 0 0 1
0 1 0 1 1 0 0 1
0 0 1 1 1 0 0 1
0 0 0 1 1 0 0 1

La forma proposicional es una tautologa.

1. 8. IMPLICACIN LGICA, CONDICIONES SUFICIENTES Y NECESARIAS

Definicin Implicacin lgica: a implica lgicamente b si y slo si la proposicin a b es verdadera.
Si la expresin a b es una implicacin lgica puedes expresarla como a b . Ten cuidado,
nicamente si la proposicin a b es verdadera puedes asegurar que a implica lgicamente b .
En la definicin anterior, a y b son proposiciones, sin embargo, es posible extender la definicin
para usarla con formas proposicionales: p implica lgicamente q si y slo si la forma proposicional
p q es tautolgica. El ejercicio 44 muestra como determinar por tabla de verdad si una forma
proposicional es una implicacin lgica, en la secciones 1.10 y 1.11 vers mtodos alternativos que
podran resultar ms convenientes en muchos casos.

Definicin Condicin suficiente: Si la proposicin a b es una implicacin lgica se dice que a es condicin
suficiente para b .
Definicin Condicin necesaria: Si la proposicin a b es una implicacin lgica se dice que b es condicin
necesaria para a .

EJERCICIO 45. Determina si la siguiente forma proposicional es una implicacin lgica: (p q) p

Debes determinar si la forma proposicional es tautolgica. Para ello, realiza la tabla de verdad.

12
Captulo 1 Lgica Matemtica

p q pq ( p q) p
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 1

Debido a que la forma proposicional ( p q ) p es una tautologa, es tambin una implicacin lgica. La
hiptesis es p q y la conclusin es p , por lo tanto puedes decir que p q es condicin suficiente para
p y que p es condicin necesaria para p q .
EJERCICIO 46. Determina el valor de verdad de la proposicin: Si llueve entonces hay nubes.
Este es un buen ejemplo para entender condiciones suficientes y necesarias. Primero traduce la expresin al
lenguaje formal:
a: Llueve
b: Hay nubes
La proposicin es: a b
Ahora viene un anlisis cuidadoso del contexto de la proposicin para determinar el valor de verdad de
a b . Si el valor de verdad es 1 siempre, podemos decir que a implica lgicamente b y por lo tanto que
a es condicin suficiente para b y b es condicin necesaria para a .
Puede ocurrir que la hiptesis sea verdadera y la conclusin falsa? Eso sera equivalente a la afirmacin: Es
verdad que llueve pero es mentira que hay nubes. Puede ocurrir esto en la realidad? No. Si no puede ocurrir
1 0 , la expresin no puede ser falsa en ningn otro caso ya que cualquier otra combinacin produce un
verdadero.
De lo anterior, la proposicin Si llueve entonces hay nubes es siempre verdadera. Por lo tanto puedes
asegurar que a implica lgicamente b , por lo tanto, a es condicin suficiente para b y b es condicin
necesaria para a .

EJERCICIO 47. Determina el valor de verdad de la proposicin: Si hay nubes entonces llueve.
Traduciendo al lenguaje formal obtienes:
a: Hay nubes
b: Llueve
La traduccin al lenguaje formal es: a b
El proceso simplificado consiste en responder la pregunta Puede la hiptesis ser verdadera y la conclusin
falsa? Si la respuesta es afirmativa, la proposicin sera falsa ya que tendramos la combinacin 1 0 . Eso es
lo que en este caso ocurre. Para entenderlo analiza la siguiente afirmacin: Es verdad que hay nubes pero no
est lloviendo. Puede ocurrir realmente lo anterior? Seguro que s. Por lo tanto la proposicin a b no es
necesariamente verdadera. No podemos decir que el hecho que haya nubes es condicin suficiente para que
llueva ni que el hecho que llueva es condicin necesaria para que haya nubes.
** La afirmacin Si hay nubes entonces llueve en trminos generales es falsa porque no se cumple siempre. Sin embargo hay casos en que
es verdadera. Estos casos corresponden a los momentos en que verdaderamente est lloviendo.

EJERCICIO 48. Determina el valor de verdad de la siguiente proposicin: Para ser ecuatoriano es
necesario nacer en Ecuador.
En este caso se debe expresar la proposicin como una implicacin. Debes tener en cuenta que la supuesta
condicin necesaria debe ir como conclusin. Por lo anterior, la proposicin puede expresarse como:
Si una persona es ecuatoriana, entonces esa persona naci en Ecuador.
Aunque en los problemas anteriores, primero se efectu la traduccin al lenguaje formal, no es necesario.
Simplemente, como se explic antes, debes responder esta pregunta Es posible que la hiptesis sea verdadera y
la conclusin falsa? La respuesta es afirmativa. Analiza esto: Es verdad que Guillermo es ecuatoriano pero es
mentira que naci en Ecuador. Es posible que ocurra eso? Si. Ejemplos son los muchos individuos que han
nacido fuera de nuestras fronteras y que sin embargo, despus de cumplir varios requisitos, han adquirido la
nacionalidad ecuatoriana. Por lo tanto la afirmacin Para ser ecuatoriano es necesario nacer en Ecuador es
falsa.

13
 Lgica Matemtica Captulo 1

** La afirmacin Para ser ecuatoriano es necesario nacer en Ecuador en trminos generales es falsa porque no se cumple siempre. Sin
embargo hay muchos casos en que tambin es verdadera. Estos casos corresponden a los muchos ecuatorianos de nacimiento.

EJERCICIO 49. Determina el valor de verdad de la siguiente proposicin: Es suficiente que el esqueleto
hallado sea de un dinosaurio para que la especie a la que perteneci est extinta.
Teniendo en cuenta que la supuesta condicin suficiente debe ir como hiptesis, la expresin anterior se puede
expresar como: Si el esqueleto hallado es de un dinosaurio, la especie a la que perteneci est extinta.
Es posible que la hiptesis sea verdadera y la conclusin falsa? No. La justificacin se obtiene del anlisis de la
expresin: Es verdad que el esqueleto hallado es de un dinosaurio pero es mentira que la especie a la que
pertenece est extinta. Puede lo anterior ocurrir en la realidad? Seguro que no. Es decir no se puede obtener
la combinacin 1 0 . La afirmacin es siempre verdadera. Cules son las condiciones suficientes y
necesarias?

1. 9. EQUIVALENCIA LGICA
Definicin Equivalencia lgica: Si la proposicin a b es verdadera se dice que a y b son lgicamente
equivalentes.

Si la expresin a b es una implicacin lgica puedes expresarla como a b o a b .

nicamente si la proposicin a b es verdadera puedes asegurar que a y b son lgicamente
equivalentes. Es posible extender la definicin para usarla con formas proposicionales: p y q son
lgicamente equivalentes si y slo si la forma proposicional p q es tautolgica. El ejercicio 49
muestra como determinar por tabla de verdad si una forma proposicional es una equivalencia
lgica, en la secciones 1.10 y 1.11 vers ejercicios similares aplicando leyes de la lgica.

EJERCICIO 50. Determina si las siguientes formas proposicionales son lgicamente equivalentes:
( p q ) y ( q p )
Debes realizar la tabla de verdad de cada forma proposicional y compararlas. Si los resultados de cada fila
coinciden s son equivalentes. Para que no pierdas tiempo, realiza las dos tablas simultneamente.
p q p q p q q p
1 1 0 0 0 0
1 0 0 1 1 1
0 1 1 0 1 1
0 0 1 1 1 1

Los resultados coinciden en todas las filas, por lo tanto, las formas proposicionales son equivalentes.

1. 10. LEYES DE LA LGICA

Leyes Las leyes lgicas son expresiones tautolgicas, es decir expresiones siempre verdaderas en las cuales
te puedes apoyar para realizar demostraciones. A continuacin de muestran las leyes lgicas ms
conocidas y utilizadas.
Conmutativa Contradiccin
pq q p p p 0
pq q p Tercer Excluido
Asociativa p p 1
p q r p q r D Morgan
p q r p q r p q p p
Distributiva p q p p
p q r p q p r Idempotencia
p q r p q p r p p p
Reduccin p p p
p p q p
p p q p
14
Captulo 1 Lgica Matemtica

Identidad Contrarrecproca
p 1 p p q q p
p0 p Silogismo Hipottico
Absorcin [( p q ) (q r )] ( p r ) 1
p0 0 Doble implicacin
p 1 1 p q ( p q) ( q p )
Involucin Ley de reduccin al absurdo
p p p q ( p q ) 0
Complemento Modus Ponens
1 0 [( p q ) p ] q
0 1 Modus Tollens
Condicional [( p q ) q ] p
p q p q
EJERCICIO 51. Aplicando leyes lgicas, determina si la forma proposicional: p p es una tautologa,
contradiccin, contingencia o falacia.
p p
p p Ley del condicional: p q p q
1 Ley de tercer excluido: p p 1
Si el resultado es 1 , como en este caso, la forma proposicional es una tautologa; si el resultado es 0 la forma
proposicional es una contradiccin; y, si el resultado es una expresin lgica que no se puede simplificar la
forma proposicional es una contingencia. Recuerda que las contradicciones y contingencias son falacias.

EJERCICIO 52. Aplicando leyes lgicas, determina si la forma proposicional: [p ( p q)] 0 es

una tautologa, contradiccin, contingencia o falacia.
p p q 0
p p q 0 Ley del condicional: p q p q

p p q 0 Ley asociativa: p q r p q r
1 q 0 Ley de tercer excluido: p p 1
1 0 Ley de absorcin: p 1 1
0 Por tabla de verdad de la Implicacin
La forma proposicional es una contradiccin.

EJERCICIO 53. Aplicando leyes lgicas, determina si la forma proposicional: ( p q) (p q) es

una tautologa, contradiccin, contingencia o falacia.
p q p q
q p q p Ley conmutativa: p q q p

q p p Ley distributiva: p q r p q p r
q0 Ley de contradiccin: p p 0
q Ley de Identidad: p 0 p
Cuando se obtiene una expresin que no se puede reducir por algn mtodo, la forma proposicional corresponde
a una contingencia y por lo tanto tambin a una falacia.

EJERCICIO 54. Determina si la forma proposicional [( r q) ( p q)] ( p r ) es una

tautologa, contradiccin, contingencia o falacia. Aplica leyes de la lgica.
r q p q p r
r q q p r p Ley conmutativa: p q q p

15
Lgica Matemtica Captulo 1

r q q p r p Ley del condicional: p q p q

1 Ley del silogismo hipottico: [( p q) ( q r )] ( p r ) 1
La forma proposicional es una tautologa.

EJERCICIO 55. Determina si la forma proposicional p ( p q) (p q) es una tautologa,

contradiccin, contingencia o falacia. Aplica leyes de la lgica.
p p q p q
p p q Ley de reduccin p p q p
p p p q Ley distributiva: p q r p q p r
0 p q Ley de contradiccin: p p 0
p q Ley de Identidad: p 0 p
La forma proposicional es una contingencia y una falacia.
EJERCICIO 56. Determina si la forma proposicional [( p q) ( p q)] q es una tautologa,
contradiccin, contingencia o falacia. Aplica leyes de la lgica.
p q p q q
p q p q q p q Ley de doble implicacin: p q ( p q) (q p)
p q q p q Ley de idempotencia p p p

p q q p q Ley del condicional: p q p q

p q q p q Ley de D Morgan: p q p q
p q q p q Ley del condicional: p q p q

p q q p q Ley de D Morgan: p q p q
p q q p q Ley asociativa: p q r p q r
p q q Ley de reduccin p p q p

q p q Ley conmutativa: p q q p

q p q q Ley distributiva: p q r p q p r
q p 1 Ley del tercer excluido: p p 1
q p Ley de identidad: p 1 p
La forma proposicional es una contingencia y una falacia.

EJERCICIO 57. Determina si la forma proposicional p [(r p ) p ] es una tautologa,

contradiccin, contingencia o falacia. Aplica leyes de la lgica.
p r p p
p r p p Ley del condicional: p q p q

p r p p Ley del condicional: p q p q

p r p p Ley de D Morgan: p q p q
p p r p Ley asociativa: p q r p q r
1 r p Ley de tercer excluido: p p 1
1 Ley de absorcin: p 1 1
La forma proposicional es una tautologa.

16
 Captulo 1 Lgica Matemtica

EJERCICIO 58. Simplifica la siguiente forma proposicional utilizando las leyes de la lgica y determina si
se trata de una tautologa, contradiccin, contingencia o falacia: [p ( p q)] q
p p q q
p p p q q Ley distributiva: p q r p q p r
0 p q q Ley de contradiccin: p p 0

p q q Ley de identidad: p 0 p
p q q Ley asociativa: p q r p q r
p 0 Ley de contradiccin: p p 0
0 Ley de absorcin: p 0 0
La forma proposicional es una contradiccin y una falacia.

EJERCICIO 59. Simplifica la siguiente forma proposicional utilizando las leyes de la lgica y determina si
se trata de una tautologa, contradiccin, contingencia o falacia: p q q p

p q q p
q p p q Ley conmutativa: p q q p

q p p q Ley del condicional: p q p q

pq Ley de doble implicacin: p q ( p q ) ( q p )
La forma proposicional es una contingencia y una falacia.
Implicaciones EJERCICIO 60. Determina si la siguiente forma proposicional es una implicacin lgica:
lgicas [ p (p q )] q .
aplicando
leyes En la seccin 1.8 viste cmo resolver un ejercicio de este tipo de problemas por tablas, ahora aplica leyes lgicas.
Si al simplificar obtienes 1 , significa que se trata de una implicacin lgica.
p p q q
p p p q q Ley distributiva: p q r p q p r
0 p q q Ley de contradiccin: p p 0

p q q Ley de Identidad: p 0 p
p q q Ley del condicional: p q p q

p q q Ley de D Morgan: p q p p
p q q Ley asociativa: p q r p q r
p 1 Ley de tercer excluido: p p 1
1 Ley de absorcin: p 1 1
S es una implicacin lgica.
Equivalencias EJERCICIO 61. Determina si las formas proposicionales: ( p q) r y r (p q) son
lgicas
lgicamente equivalentes.
aplicando
leyes Como viste en la seccin 1.9, en este tipo de problemas se puede aplicar tabla de verdad. Ahora resulvelo
aplicando leyes de la lgica. Para ello debes escoger una de las dos expresiones y manipularla con el propsito
de llegar a la otra. Si eliges la primera expresin obtienes:
p q r
r p q Ley de la contrarrecproca: p q q p
r p q Ley de D Morgan: p q p q

17
 Lgica Matemtica Captulo 1

Las formas proposicionales no son lgicamente equivalentes pues no es posible llegar a la proposicin
r p q , de hecho, ambas difieren en el operador que une las proposiciones p y q .

EJERCICIO 62. Determina si las formas proposicionales p q r y p q r son lgicamente

equivalentes.
Si aplicas leyes a la expresin de la izquierda obtienes:
p q r
p q r Ley del condicional: p q p q
p q r Ley de D Morgan: p q p q
p q r Ley asociativa: p q r p q r
p q r Ley del condicional: p q p q
Las formas proposicionales son lgicamente equivalentes.

1. 11. RAZONAMIENTO

Definicin Razonamiento: Un razonamiento es una expresin de la forma: H1 H 2 ... H n C ,

H1, H 2 ,..., H n se denominan hiptesis y C se denomina conclusin.
Definicin Validez de un Razonamiento: Un razonamiento es vlido si su forma proposicional es una
tautologa y es no vlido si su forma proposicional es una falacia.
Mtodo de reduccin al absurdo: Consiste en obligar al razonamiento a que sea falso. Para
ello asignamos valores a las variable proposicionales de tal forma que las hiptesis sean verdaderas
y la conclusin falsa para de esa forma obtener la combinacin 1 0 correspondiente a falso. Si se
logra lo anterior el razonamiento es no vlido porque se habra encontrado un falso en la tabla de
verdad. Si no es posible lograr esa combinacin, no existe el falso en la tabla de verdad y se concluye
que el razonamiento es vlido.

EJERCICIO 63. Determine la validez del siguiente razonamiento: p q p q .

Observa que las hiptesis son p y q p , y la conclusin es q . El mtodo de reduccin al absurdo consiste
en buscar la combinacin 1 0 , esto es, tratar de forzar a la proposicin a que sea falsa. Si LO LOGRAS el
razonamiento es NO VLIDO, de lo contrario es vlido. No es recomendable aplicar tablas de verdad ni leyes.
Nada te obliga a iniciar por la conclusin. Puedes empezar asignando valores de verdad a cualquier proposicin
de la hiptesis o de la conclusin. Como recomendacin, debes tratar que los valores asignados sean los nicos
posibles. Como ejemplo, no es recomendable iniciar asigna-ndo valores de verdad a la hiptesis q p ya que
existen tres combinaciones que producen verdadero (recuerda que las hiptesis deben ser verdaderas). Es
recomendable por tanto iniciar con una proposicin para la cual haya slo una posibilidad.
Como la conclusin es q , debes asignarle 0 . Una vez que se has asignado valores de verdad, dichos valores no
pueden variar ya que por definicin el valor de verdad de una proposicin es nico. Con ese valor la segunda
hiptesis es verdadera, puesto que 0 p 1 . La proposicin p es una de las hiptesis, por lo tanto su
valor de verdad debe ser 1 . De lo anterior se obtiene:
p q p q
1 0 1 0
1 1 0
0
El razonamiento es no vlido.
EJERCICIO 64. Determine la validez del siguiente razonamiento: La calefaccin est encendida o no
funciona el aire acondicionado. Si la calefaccin est apagada, el aire acondicionado s funciona. Luego, la
calefaccin esta encendida o el aire acondicionado s funciona.

18
 Captulo 1 Lgica Matemtica

Para determinar la validez de este razonamiento primero debemos traducir la proposicin al lenguaje formal.
Las proposiciones atmicas son:
p : La calefaccin est encendida
q : El aire acondicionado funciona
La traduccin al lenguaje formal de la proposicin es: p q p q p q
Recuerda que la conclusin debe ser falsa: p q 0 . La nica posibilidad para que esto ocurra es que ambas
proposiciones sean falsas: p 0 y q 0 . Reemplazando los valores de verdad asignados, obtenemos:
p q p q p q
0 0 0 0 0 0
0 1 1 0 0
1 0 0
00
1
El razonamiento es vlido pues es imposible obtener un falso.

EJERCICIO 65. Determina la validez del razonamiento: Slo si compro los zapatos, la tarjeta de crdito no
esta sobregirada y me gustan los zapatos que estn en exhibicin. La tarjeta de crdito est sobregirada o no me
gustan los zapatos que estn en exhibicin. No compro los zapatos que estn en exhibicin. Por lo tanto, si la
tarjeta de crdito est sobregirada, me gustan los zapatos que estn en exhibicin.
Las proposiciones atmicas son:
p : Compro los zapatos
q : La tarjeta de crdito est sobregirada
r : Me gustan los zapatos que estn en exhibicin
La traduccin al lenguaje formal es: q r p q r p q r
Ahora debes tratar de encontrar la combinacin 1 0
q r p q r p q r
1 0 0 1 0 0 1 0
0 0 0 1 1 1 0
1 1 1 0
0
Como logramos encontrar la combinacin 1 0 el razonamiento es no vlido.
** Cuando obtienes la combinacin 1 0 , has encontrado una combinacin en la tabla de verdad con la cual la forma proposicional es
falsa. Eso es suficiente para concluir que la forma proposicional no es una tautologa y por lo tanto que el razonamiento no es vlido. En
general, la nica forma para concluir que el razonamiento es vlido es descartar que se pueda producir la combinacin 1 0

Formas EJERCICIO 66. Determina si la forma proposicional (q p) (p q) es tautolgica:

proposicionales
aplicando Puedes aplicar tabla de verdad, leyes de la lgica o tratar la expresin como un razonamiento (de hecho es un
reduccin al razonamiento) y aplicar el mtodo de reduccin al absurdo. Para ahorrar tiempo escoge la ltima opcin y
absurdo
determina si el razonamiento en vlido en cuyo caso la forma proposicional sera una tautologa.
q p p q
0 1 1 0
1 0 0 0
00
1
El razonamiento es vlido, por lo tanto la forma proposicional es tautolgica.

EJERCICIO 67. Determina si la forma proposicional p q q p es tautolgica:

Aplicando el mtodo de reduccin al absurdo obtienes:

19
 Lgica Matemtica Captulo 1

p q q p
0 1 1 0
1 0
0
El razonamiento no es vlido, por lo tanto la forma proposicional no es tautolgica.
Implicaciones EJERCICIO 68. Determina si la expresin p q r p q r es una implicacin lgica.
lgicas
aplicando Aplicando razonamiento obtienes:
p q r p q r
reduccin al
absurdo
0 0 0 0 0 0
00
1
El razonamiento es vlido, por lo tanto la forma proposicional s es una implicacin lgica.

1. 12. MTODOS DE DEMOSTRACIN

Una demostracin es la justificacin formal de una proposicin. Los mtodos que se explican a
continuacin son utilizados a lo largo de toda la serie para realizar demostraciones.

Demostracin directa: Demostrar la proposicin p q por el mtodo directo significa demostrar

que q es verdadera siempre p sea verdadera.

Segn el enunciado anterior, para demostrar que una proposicin es verdadera aplicando mtodo
directo, debes asumir que la hiptesis es verdadera. Si con esto concluyes que el consecuente es
siempre verdadero, el enunciado se ha demostrado. El ejercicio 69 muestra un ejemplo sencillo en el
que se aplica demostracin directa.

Demostracin por contradiccin: Tambin se denomina demostracin por reduccin al absurdo

porque aplica la ley del mismo nombre. En casos en que resulta difcil aplicar mtodo directo, la
demostracin por contradiccin puede ser una alternativa. Si deseas demostrar que p q es
verdadera, demuestra que nunca va a ser falsa, es decir, que no puede ocurrir la combinacin 1 0 .

La ley de reduccin al absurdo se muestra en la seccin 1.10 y establece que p q es equivalente a

( p q ) 0 . Para que la implicacin p q sea falsa debe cumplirse que p sea verdadera y q
falsa, eso es equivalente a que p q sea verdadera. En trminos sencillos, debes asumir que la
hiptesis es verdadera y la conclusin es falsa, si con eso llegas a una contradiccin, has demostrado
que la expresin ( p q ) 0 , equivalente a p q , es verdadera. El ejercicio 70 muestra un
caso en el que se aplica demostracin por contradiccin.
Demostracin por contrarrecproca: Recuerda que la contrarrecproca se obtiene al intercambiar
hiptesis con conclusin y negar cada una. Adems por la ley del mismo nombre sabes que p q
equivalente a q p . Segn la ley anterior demostrar q p es equivalente a demostrar
p q . Hallar la contrarrecproca es slo el primer paso pues luego debes aplicar algn otro
mtodo para concluir la demostracin.

Demostracin por enumeracin: Considera el siguiente ejemplo: Te piden demostrar que

ninguna de las siguientes palabras contiene una vocal cerrada: casa, parlante, cola y sopa.
Cmo lo demuestras? Sencillo, analiza cada palabra. La palabra casa contiene una vocal cerrada?
No. Y parlante? Tampoco. Ni cola ni sopa. En conclusin, ninguna de esas palabras contiene una
vocal cerrada. En resumen, demostrar por enumeracin es probar que la proposicin se cumple para
cada caso posible, por lo tanto no es aplicable cuando el nmero de casos es infinito.

20
Captulo 1 Lgica Matemtica

Demostracin por existencia: Analiza esta expresin: Existe al menos un mltiplo de 3 entre 2
y 7 . La expresin es verdadera pues el 6 es mltiplo de 3 y se encuentra entre 2 y 7 . En estos
casos debes encontrar un ejemplo para el cual se cumpla la proposicin. En el ejercicio 73 se aplica
demostracin por existencia.

EJERCICIO 69. Demuestra por mtodo directo el siguiente enunciado: S un crculo est dentro de un
cuadrado y el cuadrado dentro de un tringulo, entonces el crculo est dentro del tringulo.
Por intuicin sabes que el enunciado anterior es verdadero. Para demostrarlo por mtodo directo tienes que
asumir que la hiptesis es verdadera, es decir, asumir que en verdad hay un crculo dentro
de un cuadrado y que ese cuadrado est dentro de un tringulo como se muestra en el
grfico. La conclusin del enunciado indica que el crculo est dentro del tringulo. Es
obvio que eso es correcto y se aprecia fcilmente en el grfico.

EJERCICIO 70. Demuestra por contradiccin que: Sea n un nmero natural, si n2 es par, n es par.
Los nmeros naturales sern estudiados con detalle en el captulo 2. Por ahora es suficiente saber que este
conjunto est formado por los nmeros 1 , 2 , 3 , 4 , 5 , etc.
Ahora, supn que la hiptesis es verdadera y la conclusin es falsa, es decir, que efectivamente n 2 es par pero
que n es impar. Si n es impar puede ser expresado como 2a 1 , donde a es un natural cualquiera o cero,
por lo tanto, n2 (2a 1)2 4a 2 4a 1 2(2a 2 2a) 1 , que es la representacin de un nmero impar,
es decir que de acuerdo a lo anterior n 2 debe ser impar, lo cual contradice la hiptesis. Por lo tanto n no puede
ser impar. Se concluye entonces que si n 2 es par, n es par.

EJERCICIO 71. Demuestra por contrarrecproca que si x 3 , entonces x 1 4 .

La expresin anterior tiene la forma p q , donde p es la proposicin x 3 y q la proposicin x 1 4 .
La contrarrecproca q p es por tanto: si x 1 4 , entonces x 3 . Ahora aplica mtodo directo para
demostrar q p , esto es, asume que la expresin x 1 4 es verdadera, luego suma 1 en ambos lados
de la ecuacin, con lo cual obtienes: x 1 1 4 1 que equivale a x 3 , que es lo que se quera demostrar.

EJERCICIO 72. Demuestra por enumeracin que la forma proposicional p p es tautolgica.

Debes tomar en cuenta todos los casos posibles. Reemplaza estos valores de verdad en la proposicin p p .
Con p 1 obtienes p p 1 1 1 0 1 y con p 0 obtienes p p 0 0 0 1 1 . Lo cual
demuestra que para cualquier valor de p la expresin p p es verdadera.

EJERCICIO 73. Demuestra por existencia que: Existen al menos un nmero para el cual x 2 9 .
Fjate que el enunciado inicia con existe. Debes encontrar al menos un nmero que cumpla con la expresin.
El nmero 3 elevado al cuadrado es igual a 9 , con esto se demuestra que existe un nmero x tal que x 2 9 .
El 3 tambin puede ser utilizado en la demostracin ya que tambin hace verdadera la proposicin.

1. 13. MTODOS DE REFUTACIN

Contraejemplo: Un contraejemplo es un ejemplo con el cual una aseveracin que suponemos

verdadera resulta falsa.

Qu puedes decir acerca de la proposicin Todos los mamferos son gatos? obviamente es falsa.
Si tienes que demostrarlo cmo lo haras? Idea un contraejemplo, esto es, un ejemplo para el cual la
proposicin no se cumpla. En el ejemplo anterior, supn que conoces un gato cuyo nombre es
Michifs es Michifs un contraejemplo? No! puesto que s cumple con la proposicin. Ahora
supn que conoces un perro cuyo nombre es Cerafn, l s es un contraejemplo ya que no cumple con
la proposicin. Si alguien argumenta que todos los mamferos son gatos t puedes refutar diciendo:
Eso es falso pues yo conozco un animal mamfero cuyo nombre es Cerafn que no es un gato.
Obviamente si una proposicin es verdadera no es posible hallar un contraejemplo.

EJERCICIO 74. Determina un contraejemplo para la proposicin: Todos los nmeros son pares.
El nmero 3 es un contraejemplo ya que no es un nmero par.
21