Universidad de Cuenca

Ingeniera Electrnica y Telecomunicaciones

MATEMTICAS DISCRETAS

Ciclo Marzo 2016 a Julio 2016

MATEMTICAS DISCRETAS
TEMA 1: RAZONAMIENTOS Y DEMOSTRACIONES
Lgica de Proposiciones
Razonamientos
Sub-Tema 1: Razonamiento
Sub-Tema 2: Razonamiento vlido
Sub-Tema 3: Falacia
Inferencia
Sub-Tema 4: Regla de Inferencia
Sub-Tema 5: Reglas de Inferencia ms usuales
Demostraciones
Sub-Tema 6: Teorema
Sub-Tema 7: Corolario
Sub-Tema 8: Lema
Sub-Tema 9: Demostracin
Lgica de Predicados
Razonamientos y Cuantificadores
Sub-Tema 10: Razonamientos y Cuantificadores
Sub-Tema 11: Definiciones matemticas
Sub-Tema 12: Regla de Particularizacin
Sub-Tema 13: Regla de Generalizacin
Mtodos de demostracin
Sub-Tema 14: Mtodos de demostracin
Sub-Tema 15: Demostracin Vaca
Sub-Tema 16: Demostracin Trivial
Sub-Tema 17: Demostracin Directa
Sub-Tema 18: Demostracin por la Contra recproca
Sub-Tema 19: Demostracin por Contradiccin
Sub-Tema 20: Bsqueda de contraejemplos
Sub-Tema 21: Demostracin por induccin matemtica

Lgica de Proposiciones.

Proposiciones y Tablas de Verdad

Proposiciones y Tablas de Verdad

Proposicin:
Llamaremos de esta forma a cualquier afirmacin que sea
verdadera o falsa, pero no ambas cosas a la vez.
Nota: Las proposiciones se denotan con letras minsculas: p, q, r . . .
. . . La notacin p: Tres mas cuatro es igual a siete se utiliza para
definir que p es la proposicin tres mas cuatro es igual a siete.
Valor de Verdad:
Llamaremos valor verdadero o de verdad de una proposicin a su
veracidad o falsedad. El valor de verdad de una proposicin
verdadera es verdad y el de una proposicin falsa es falso.

Proposiciones y Tablas de Verdad

Proposiciones y Tablas de Verdad

Proposicin Compuesta:
Si las proposiciones simples p1, p2, . . . , pn se combinan para formar
la proposicin P, diremos que P es una proposicin compuesta de p1,
p2, . . . , pn.
Nota 1.2 La propiedad fundamental de una proposicin compuesta
es que su valor de verdad esta completamente determinado por los
valores de verdad de las proposiciones que la componen junto con la
forma en que estn conectadas.

Proposiciones y Tablas de Verdad

Variables de Enunciado:
Es una proposicin arbitraria con un valor de verdad no
especificado, es decir, puede ser verdad o falsa
En el calculo lgico, prescindiremos de los contenidos de
los enunciados y los sustituiremos por variables de
enunciado. Toda variable de enunciado p, puede ser
sustituida por cualquier enunciado siendo sus posibles
estados, verdadero o falso. El conjunto de los posibles
valores de una proposicin p, los representaremos en las
llamadas tablas de verdad

Proposiciones y Tablas de Verdad

Tablas de Verdad
La tabla de verdad de una proposicin compuesta P enumera todas las posibles
combinaciones de los valores de verdad para las proposiciones p1 , p2 , . . . , pn .

Conexin entre Proposiciones

Conexin entre Proposiciones

Conjuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas
a la proposicin compuesta p y q y la notaremos p q. Esta proposicin ser
verdadera nicamente en el caso de que ambas proposiciones lo sean.

Conexin entre Proposiciones

Disyuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas
a la proposicin compuesta p o q y la notaremos p q. Esta proposicin ser
verdadera si al menos una de las dos p o q lo es.

Conexin entre Proposiciones

Disyuncin Exclusiva
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de
ambas a la proposicin compuesta p o q pero no ambos y la notaremos p Y q.
Esta proposicin ser verdadera si una u otra, pero no ambas son
verdaderas.

Conexin entre Proposiciones

Negacin
Dada una proposicin cualquiera, p, llamaremos negacin de p a la
proposicin no p y la notaremos p. Sera verdadera cuando p sea falsa y
falsa cuando p sea verdadera.

Conexin entre Proposiciones

Conexin entre Proposiciones

Tautologas y Contradicciones
Sea P una proposicin compuesta de las proposiciones simples p1
, p2 , . . . , pn
P es una Tautologa (T ) si es verdadera para todos los
valores de verdad que se asignen a p1 , p2 , . . . , pn .
P es una Contradiccin (C )si es falsa para todos los valores de
verdad que se asignen a p1 , p2 , . . . , pn .
Una proposicin P que no es tautologa ni contradiccin se llama,
usualmente, Contingencia.

Conexin entre Proposiciones

Conexin entre Proposiciones

Proposicin Condicional
Dadas dos proposiciones p y q, a la proposicin compuesta si p, entonces q se le llama
proposicin condicional y se nota por
pq
pq

A la proposicin p se le llama hiptesis, antecedente, premisa o condicin

suficiente y a la q tesis, consecuente, conclusin o condicin necesaria del
condicional. Una proposicin condicional es falsa nicamente cuando siendo verdad
la hiptesis, la conclusin es falsa (no se debe deducir una conclusin falsa de una
hiptesis verdadera).

Conexin entre Proposiciones

Proposicin Condicional
Otras formulaciones equivalentes de la proposicin condicional p q son:

p solo si q .
q si p .
p es una condicin suficiente para q .
q es una condicin necesaria para p .
q se sigue de p .
q a condicin de p .
q es una consecuencia lgica de p .
q cuando p .

Conexin entre Proposiciones

Conexin entre Proposiciones

Proposicin Reciproca
Dada la proposicin condicional p q, su reciproca es
la proposicin, tambin condicional, q p.

Proposicin Contra recproca

Dada la proposicin condicional p q, su contra
recproca es la proposicin, tambin condicional, q
p.

Conexin entre Proposiciones

Conexin entre Proposiciones

Proposicin bicondicional
Dadas dos proposiciones p y q, a la proposicin compuesta
p si y solo si q
se le llama proposicin bicondicional y se nota por
p q
(p q) (q p)

Conexin entre Proposiciones

Implicacin

Implicacin

Implicacin Lgica
Se dice que la proposicin P implica lgicamente la proposicin
Q, y se escribe P Q, si Q es verdad cuando P es verdad.

Implicacin

Implicacin Lgica y Proposicin Condicional

La proposicin P implica lgicamente la proposicin Q si, y solo
si la proposicin condicional P Q es una tautologa.
P Q solo si P Q es una tautologa

En efecto, supongamos que P implica lgicamente Q. Entonces, de

acuerdo con la definicin, cuando P es verdad, Q tambin lo es y
cuando Q es falso, P es falso, por tanto, la tabla de verdad de P Q
conteniendo nicamente estas opciones es:

Implicacin

Implicacin
Implicaciones Lgicas mas Comunes

Equivalencia Lgica

Equivalencia Lgica

Proposiciones Lgicamente Equivalentes

Las proposiciones compuestas P y Q son lgicamente
equivalentes y se escribe P Q o P Q cuando
ambas tienen los mismos valores de verdad.
Equivalencia Lgica y Proposicin Bicondicional
La proposicin P es lgicamente equivalente a la
proposicin Q si, y solo si la proposicin bicondicional
P Q es una tautologa.

Equivalencia Lgica

Equivalencia Lgica

Equivalencias Lgicas mas Comunes

Equivalencia Lgica

Equivalencias Lgicas mas Comunes

TEMA 1: RAZONAMIENTOS Y DEMOSTRACIONES

Razonamientos

Sub-Tema 1: Razonamiento.

Una demostracin de una proposicin significa

un argumento convincente de que la
proposicin es verdadera.
Las demostraciones son una forma de
comunicacin cuyo objetivo es convencer de la
veracidad de las afirmaciones que se hacen.

Sub-Tema 1: Razonamiento.

Razonamiento
Llamaremos de esta forma a cualquier proposicin con la estructura:
P1 P2 Pn Q
Siendo n un entero positivo.
A las proposiciones Pi, i = 1, 2, . . . , n se les llama premisas del razonamiento y a
la proposicin Q, conclusin del mismo.

Sub-Tema 2: Razonamiento Valido

Razonamiento Valido
El razonamiento anterior se dice que es valido si la conclusin Q es verdadera cada vez
que todas las premisas P1, P2, . . . , Pn lo sean.
Obsrvese que esto significa que las premisas implican lgicamente la conclusin, es
decir, un razonamiento ser valido cuando
P1 P2 Pn Q

Tambin podemos decir que el razonamiento es valido si el condicional

P1 P2 Pn Q

es una tautologa. Esto, a su vez, nos permite aceptar como valido el razonamiento en el
caso de que alguna de las premisas sea falsa. En efecto, si alguna de las Pi, i = 1, 2, . . . , n
es falsa, entonces P1 P2 Pn ser falsa, luego el condicional P1 P2
Pn Q es verdadero, independientemente del valor de verdad de la conclusin Q.

Sub-Tema 2: Razonamiento Valido

Razonamiento Valido
Disponemos de dos formas de probar
razonamiento es valido:

si un

1)Comprobar que el condicional P1 P2

Pn Q es una tautologa.
2)Comprobar que P1 P2 Pn Q.

Sub-Tema 3: Falacia

Falacia
Llamaremos de esta forma a un razonamiento que
no es valido.

TEMA 1: RAZONAMIENTOS Y DEMOSTRACIONES

Inferencia

Sub-Tema 4: Regla de Inferencia

Inferencia
Dado que no siempre es factible construir una tabla de verdad para comprobar la
validez de un razonamiento (cuando el numero de proposiciones es elevado, la tabla
puede ser excesivamente larga), utilizaremos nicamente el procedimiento de probar
que se da la implicacin lgica.
Regla de Inferencia
Diremos que la proposicin Q se infiere de las proposiciones P1 , P2 , . . . , Pn si Q es
verdad cuando todas las Pi , i = 1, 2, . . . , n lo sean, es decir, cuando P1 P2
Pn Q.

Significa: Por lo tanto

Sub-Tema 5: Reglas de Inferencia ms usuales

Reglas de Inferencia mas Usuales

Sub-Tema 5: Reglas de Inferencia ms usuales

Reglas de Inferencia mas Usuales

TEMA 1: RAZONAMIENTOS Y DEMOSTRACIONES

Demostraciones

Sub-Tema 6: Teorema Sub-Tema 7: Corolario Sub-Tema 8: Lema Sub-Tema 9: Demostracin

Teorema
Consiste en una proposicin P , llamada
proposicin Q que ser la conclusin.

hiptesis

y otra

Corolario
Es un teorema que se deduce inmediatamente de otro teorema.
Lema
Es un teorema que no tiene especial inters en si mismo pero
que es til para probar algn otro teorema.

Sub-Tema 6: Teorema Sub-Tema 7: Corolario Sub-Tema 8: Lema Sub-Tema 9: Demostracin

Demostracin
Es un razonamiento que establece la veracidad de un teorema.

Lgica de Predicados

Definiciones

Definiciones

El calculo proposicional no es suficientemente fuerte para hacer todas

las afirmaciones que se necesitan en matemticas
Afirmaciones como x = 5 o x > y no son proposiciones ya que
no son necesariamente verdaderas o falsas. Sin embargo, asignando
valores concretos a las variables x e y, las afirmaciones anteriores son
susceptibles de ser verdaderas o falsas, es decir, se convierten en
proposiciones.
En castellano tambin ocurren situaciones similares:
Ella es alta y rubia.
El vive en el campo.
Ella, el y el campo se utilizan como variables,
x es alta y rubia.
x vive en y

Definiciones

Predicado
Es una afirmacin que expresa una propiedad de un objeto o una
relacin entre objetos.
Estas afirmaciones se hacen verdaderas o falsas
cuando se reemplazan las variables (objetos) por valores especficos.

Definiciones

Universo del Discurso

Llamaremos de esta forma al conjunto al cual pertenecen los valores que
puedan tomar las variables. Lo notaremos por U y lo nombraremos por
conjunto universal o, simplemente, universo. Debe contener, al menos, un
elemento.

Definiciones

Predicados y Proposiciones
Si p(x1 , x2 , . . . , xn ) es un predicado constante con n variables y
asignamos los valores c1 , c2 , . . . , cn a cada una de ellas, el resultado es la
proposicin p(c1 , c2 , . . . , cn ).
Para transformar un predicado en proposicin, cada variable del predicado
debe estar ligada.

Cuantificadores

Cuantificadores

Otra forma de ligar las variables individuales es cuantificarlas.

Cuantificador Universal
Si p(x) es un predicado cuya variable es x, entonces la afirmacin
para todo x, p(x)
es una proposicin en la cual se dice que la variable x esta universalmente cuantificada.
La frase para todo se simboliza con , smbolo que recibe el nombre de cuantificador
universal.
As pues, para todo x, p(x) se escribe x, p(x). El smbolo x puede interpretarse
tambin como: para cada x, para cualquier x y para x arbitrario.

Cuantificadores
Valor de Verdad del Cuantificador Universal
Sea p(x) un predicado cuya variable x toma valores en un universo del discurso U .
x, p(x) es verdad si el predicado p(x) es una proposicin verdadera para todos los valores de x
en el universo U.
x, p(x) es falsa si hay, al menos, un valor de x en U para el cual el predicado p(x) sea una
proposicin falsa.

Cuantificadores

Cuantificador Existencial
Si p(x) es un predicado cuya variable es x, entonces la afirmacin
existe un x tal que p(x)
es una proposicin en la que diremos que la variable x est existencialmente
cuantificada.
La frase existe [al menos] se simboliza con , smbolo que recibe el nombre de
cuantificador existencial.
Por tanto, existe un x, tal que p(x) se escribe x : p(x) y puede leerse
tambin como para algn x, p(x) o existe, al menos, un x, tal que p(x).

Cuantificadores
Valor de Verdad del Cuantificador Existencial
Sea p(x) un predicado de variable x que toma valores en un universo del discurso U .
x : p(x) es verdadera, si el predicado p(x) es una proposicin verdadera para, al menos, uno de los
valores de x en U.
x : p(x) es falsa, si el predicado p(x) es una proposicin falsa para todos los valores de x en U.

Cuantificadores

Valores de verdad de los cuantificadores

Cuantificadores

Alcance de un Cuantificador
En una expresin x [p(x) . . .] o x : [p(x) . . .], la porcin de la expresin a la
que se aplica x o x se llama alcance del cuantificador y se indicara entre
corchetes a menos que sea evidente.

Cuantificadores

Leyes de De Morgan Generalizadas

TEMA 1: RAZONAMIENTOS Y DEMOSTRACIONES

Razonamientos y Cuantificadores

Sub-Tema 10: Razonamientos y Cuantificadores

En casi todos los teoremas matemticos aparecen de

forma natural los predicados y los cuantificadores, as
pues si queremos utilizar el procedimiento lgico
aprendido en los razonamientos para demostrar este tipo
de teoremas,
habr que utilizar proposiciones
cuantificadas en los razonamientos.

Sub-Tema 11: Definiciones matemticas

Definiciones Matemticas
En las definiciones, y nicamente en las definiciones, un condicional puede leerse e
interpretarse correctamente como un bicondicional.

Sub-Tema 11: Definiciones matemticas

Definiciones Matemticas

Sub-Tema 12: Regla de Particularizacin

Regla de Particularizacin
Si un predicado se transforma en una proposicin verdadera para
todos los elementos de un universo del discurso, entonces es una
proposicin verdadera, en particular, para cada elemento del
universo.
Obsrvese que lo que decimos es que si x, p(x) es verdad,
entonces p(a) es verdad para cada a en el universo del
discurso.

Sub-Tema 13: Regla de Generalizacin

Regla de Generalizacin
Si un predicado es una proposicin verdadera para cualquier
elemento elegido de forma arbitraria en nuestro universo del
discurso, entonces es verdadera para todos los elementos del
universo.
Obsrvese que aqu decimos que si p(a) es verdadera, siendo a
un elemento arbitrario del universo, entonces x, p(x) es
verdad.
Obsrvese tambin que un elemento arbitrario o genrico del
universo ha de ser uno que tenga todas las caractersticas comunes
de los elementos del universo de esta forma lo que probemos o
hagamos para a ser aplicable a todos los elementos.

TEMA 1: RAZONAMIENTOS Y DEMOSTRACIONES

Mtodos de demostracin

Sub-Tema 14: Mtodos de demostracin

Una demostracin era un razonamiento que establece la

veracidad de un teorema, es decir demostrar un teorema
equivale a probar que la proposicin condicional P Q
es una tautologa o lo que es igual probar que P Q.

Sub-Tema 15: Demostracin Vaca

Demostracin Vaca
Una demostracin de este tipo se construye estableciendo que el valor de verdad
de la hiptesis P es falso.
En efecto, si podemos establecer la falsedad de P , entonces el condicional P
Q siempre es verdad independientemente del valor de verdad de la
conclusin Q, luego P Q es una tautologa y, consecuentemente, P Q

Demostrar que es Falso

Aunque parece que tiene poco valor, este mtodo de demostracin es importante
para establecer limitaciones o estudiar casos especiales.

Sub-Tema 16: Demostracin Trivial

Demostracin Trivial
Se construye una demostracin de este tipo, probando que el valor verdadero
de la conclusin Q es verdad.
Si es posible establecer la veracidad de la conclusin Q, entonces el
condicional P Q ser una tautologa independientemente del valor de
verdad que tenga la hiptesis, luego P = Q, la demostracin es correcta y el
teorema cierto.
Demostrar que es Verdadero

Al igual que la demostracin vaca, la demostracin trivial tiene una aplicacin

limitada y aun as es bastante importante. Se utiliza frecuentemente para
establecer casos especiales de afirmaciones.

Sub-Tema 17: Demostracin Directa

Demostracin Directa
Una demostracin de este tipo muestra que la verdad de
la conclusin Q, se sigue lgicamente de la verdad de
la hiptesis P . La demostracin empieza asumiendo
que P es verdad para despus, utilizando cualquier
informacin disponible, as como teoremas probados con
Asumir que
anterioridad, probar que Q es verdad.
es Verdadero
Informacin disponible, as
como teoremas probados

Probar que es
Verdadero

Sub-Tema 18: Demostracin por la Contra recproca

Demostracin por la Contra recproca

La demostracin de un teorema se dice que es por la contra reciproca cuando
suponiendo que la conclusin, Q, es falsa y utilizando la hiptesis P y otros
teoremas y equivalencias lgicas establecidas previamente, se concluye que P es
falso.
Asumir que es Falso
Utilizando la hiptesis P y otros teoremas y
equivalencias lgicas

Probar que es Falso

Est basada en la equivalencia lgica entre una proposicin condicional y su
contra recproca,
Es una
Entonces es una
Tautologia

P Q Q P

Tautologia

Por lo tanto, si probamos que Q P es una tautologa, habremos

probado que P Q tambin lo es, luego P Q.

Sub-Tema 19: Demostracin por Contradiccin

Demostracin por Contradiccin

La demostracin de un teorema diremos que es por contradiccin cuando suponiendo que
la conclusin, Q, es falsa y utilizando la hiptesis P , y otros teoremas y equivalencias
lgicas establecidas previamente, se llega a una contradiccin.
Asumir que es Falso
Utilizando la hiptesis P y otros teoremas y
equivalencias lgicas

Se llega a una Contradiccin

Esta basada en la equivalencia lgica conocida como reduccin al absurdo, es por ello
que este mtodo de demostracin es conocido, tambin, como demostracin por reduccin
Es una
al absurdo.
Tautologia
Entonces es una
Tautologia
P Q (P Q) C
Donde C es una contradiccin. Por lo tanto, si probamos que (P Q) C es una
tautologa tendremos que P Q tambin lo es y, consecuentemente, P Q.

Sub-Tema 20: Bsqueda de contraejemplos

Bsqueda de contraejemplos
Este tipo de demostracin, ntimamente relacionada con el cuantificador
universal, aparece cuando se quiere probar que una proposicin del tipo x, p(x)
es falsa. Normalmente diremos que se refuta la proposicin x, p(x).
En efecto, x, p(x) ser falsa cuando exista, al menos, un elemento a en el
universo del discurso para el cual p(a) sea una proposicin falsa. Hemos
encontrado, pues, un ejemplo que contradice el que x, p(x) sea verdad por lo
cual le llamaremos contraejemplo.
En el caso de un teorema el planteamiento seria como sigue: x [p(x) q(x)]
es falso si existe un elemento a en el universo para el cual la proposicin
condicional p(a) q(a) sea falsa, es decir tal que p(a) sea verdad y, sin
embargo, q(a) sea falsa.

Sub-Tema 21: Demostracin por induccin matemtica

Demostracin por induccin matemtica

La tcnica de demostracin por induccin matemtica es utilizada para probar
razonamientos de la forma n [p(n) q(n)], donde el universo del discurso es el
conjunto de los nmeros naturales (N).
La demostracin por la tcnica de induccin matemtica consiste de tres pasos:
1)

2)
3)

Paso base: se demuestra la validez de la proposicin p evaluada en el

caso base, donde dicho caso base puede ser un cero o un uno dependiendo
del punto de partida o condicin inicial del problema que se est
demostrando.
Paso inductivo (o hiptesis de induccin): se asume que es verdadera la
proposicin p evaluada en un nmero natural k.
Paso post-inductivo: apoyados en la suposicin de validez de la
proposicin p(k) se demuestra la validez de la proposicin p(k + 1), es
decir, p(k) p(k + 1).

Cuando se cumplen los tres casos de la tcnica por induccin matemtica, entonces se
ha demostrado que la proposicin p(n) es verdadero para todo nmero natural n, es
decir, se ha demostrado que n p(n) es verdadero.