Universidad Nacional De

Lans
Licenciatura En Informtica
Educativa
Primer Cuatrimestre
Asignatura:
MATEMTICA DISCRETA
MODALIDAD A DISTANCIA
Profesor: Ing. ADRIN J. LPEZ
- Prohibi! s" re#ro"$$i%n
To&!' o #!r$i!' #or
$"!'("ier
Meio o sis&e)!.
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
#
PRO*RAMA ANAL+TICO
,ni! Te)-&i$! I: Introduccin a la Lgica Matemtica.
#.# Induccin $ deduccin
#.% Pro!osiciones
#.& 'unciones Pro!osicionales
#.( Demostraciones
,ni! Te)-&i$! II: Nociones de lge)ra de *oole $ con+untos
%.# Con+untos
%.% ,lge)ra de *oole
,ni! Te)-&i$! III: -istemas num.ricos
&.# Nmeros $ sus !ro!iedades
&.% /e!resentacin de nmeros en distintas )ases
,ni! Te)-&i$! I.: -ucesiones $ funciones
(.# -ucesiones
(.% 'unciones
(.& Nocin de clculo diferencial
(.( Nocin de clculo integral
,ni! Te)-&i$! .: Nociones de 0rafos o grficas
1.# 0rficas o grafos
1.% ,r)oles
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
%
*I*LI20/A'3A
/ic4ard 5o4nson)aug46 7Matemticas Discretas8 Editorial: Printice ma$
9er)ert :a) $ Donald -c4illing6 7Digital Integrated Electronic8 Editorial:
Mc0ra;<9ill
=olman6 7Matemtica Discretas !ara com!utacin8 Editorial: Printice ma$
0rimaldi6 7Matemtica Discreta $ com)inatoria8 Editorial: Addison > ?esle$
-c4einerman Ed;ard6 7 Matemticas Discretas8 Editorial :4omson
International
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
&
CLA-E #
/./ In&ro"$$i%n ! '! '%gi$! )!&e)-&i$!
/.0 Pro#osi$iones
/.0./ O#er!$iones en&re #ro#osi$iones:
/.0.0 T!b'! e 1er!
/.0.2 Pro#osi$iones $oni$ion!'es.
/.0.3 Pro#osi$i%n bi$oni$ion!'.
/.0.4 T!"&o'og5!:
/.0.6 Con&r!i$$i%n:
/.0.7 E("i1!'en$i!:
/.0.8 Teore)!s
/.0.9 Prin$i#!'es 'e:es
/.2 ;"n$iones Pro#osi$ion!'es
/.2./ C"!n&ifi$!ores:
/.2.0 Le:es e Morg!n:
/.3 De)os&r!$iones
/.3./ De)os&r!$i%n ire$&!
/.3.0 De)os&r!$i%n inire$&!
/.3.2 M<&oo e"$&i1o
/.3.3 M<&oo in"$&i1o
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
(
/./ INTROD,CCIN A LA L*ICA
MATEMTICA
La lgica matemtica es una variedad de la lgica filosfica6 !ermite el anlisis del
ra"onamiento6 trata el estudio $ anlisis de los m.todos de ra"onamiento o
argumentacin.
La lgica centra su anlisis en la relacin entre los enunciados6 !ero no en el
contenido de los mismos6 es decir no nos !ermite determinar si los enunciados son
verdaderos o falsos6 !ero !artiendo de su vedad o falsedad nos !ermite determinar si
las conclusiones son verdaderas o falsas.
E+em!lo:
En"n$i!o /: :odos los alumnos de Matemtica Discreta recuerdan los
conce!tos ad@uiridos en la secundaria.
En"n$i!o 0: En la secundaria se ad@uiri el conce!to de funcin.
Por 'o &!n&o: :odos los alumnos de Matemtica Discreta com!renden el
conce!to de funcin.
-i consideramos @ue los enunciados son verdaderos6 la conclusin es
verdadera.
La lgica no se centra en el anlisis de los enunciados Ano sa)e si son
verdaderos o falsosB !ero !artiendo de su verdad o falsedad !odemos decir si
la conclusin es correcta o incorrecta Averdadera o falsaB
Los ob=e&i1os !rinci!ales de la lgica son esencialmente:
Eliminar las am)igCedades !ro!ias del lengua+e ordinario.
Dar rigor a a@uello @ue se est estudiando.
.
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
1
/.0 PROPOSICIONES
Como ven en el e+em!lo del !unto anterior6 el ra"onamiento !arte de lo @ue
llamamos 7enunciados8. Estos enunciados son la )ase de la lgica $ reci)en el
nom)re de #ro#osi$iones.
Por lo general son afirmaciones $ no instrucciones o !reguntas6 $ !ueden ser
verdaderas o falsas !ero no tener una am)igCedad.
Pro#osi$i%n:
-e entiende como !ro!osicin o enunciado a una oracin declarativa carente de
am)igCedad6 @ue es verdadera A.B o falsa A;B6 !ero nunca las dos cosas
simultneamente.
La veracidad o falsedad de un enunciado se llama su DEalor de EerdadD. Los
t.rminos verdadero o falso se consideran como atri)utos de una !ro!osicin.
Por lo general se utili"an letras minsculas !ara re!resentar las !re!osiciones AE+.: !6
@6 r6 s6 t6 etc.B
Consideramos !ro!osiciones validas a@uellas @ue carecen de am)igCedad Ason
verdaderas o falsas6 !ero no am)asB.
Estos son algunos e+em!los de !ro!osiciones vlidas $ no vlidas6 $ se eF!lica el
!or@u. algunos enunciados no son !ro!osiciones. Las !ro!osiciones se indican !or
medio de una letra minscula6 dos !untos $ la !ro!osicin !ro!iamente dic4a.
E+em!lo.

!: La luna es de @ueso.
@: A#GB
&
H %#
r: F H $I#%
;: 9ola Jcmo estasK
t: Camin dos !asos 4acia la derec4a.

# $ ( sa)emos @ue !ueden tomar un valor de falso o verdadero6 !ero no
am)os6 !or lo tanto son !ro!osiciones validas.
r tam)i.n es una !ro!osicin valida6 aun@ue el valor de falso o verdadero
de!ende del valor asignado a las varia)les > $ : en determinado momento.
& $ ? no son vlidos6 $a @ue no !ueden tomar un valor de falso o verdadero
Como $a di+imos la lgica centra su atencin en la relacin entre los enunciados
A!ro!osicionesB $ no en el contenido de los mismos6 a4ora veamos algunas relaciones
entre !ro!osiciones
Las !ro!osiciones resultado de las relaciones entre !ro!osiciones sim!les6 se
denominan !ro!osiciones com!uestas.
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
L
/.0./ O#er!$iones en&re #ro#osi$iones:
Dis:"n$i%n: Dadas dos !ro!osiciones # $ (6
se llama dis$uncin de # $ (6 $ se escri)e
# (
a la !ro!osicin @ue dice @# % (@.
# ( es verdadera cuando al menos una de ellas lo es.
E+em!lo:
#: :engo un !iloto !ara la lluvia
(: El dMa esta radiante
# ( : A-algo si8 tengo un piloto para la lluvia % el da esta radiante
Con="n$i%n: Dadas dos !ro!osiciones # $ (6
se llama con+uncin de # $ (6 $ se escri)e
# (
a la !ro!osicin @ue dice D# : (D.
# ( es verdadera cuando ! $ @ son verdaderas simultneamente.
E+em!lo:
#: :engo un !iloto !ara la lluvia
(: El dMa esta radiante
# ( : A-algo si8 tengo un piloto para la lluvia : el da esta radiante
Neg!$i%n: Dada una !ro!osicin #6
se llama negacin de #6 $ se escri)e
B#
a la afirmacin @ue dice @no #@.
B# es verdadera cuando ! es falsa.
E+em!lo:
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
G
#: :engo un !iloto !ara la lluvia
(: El dMa esta radiante
B#: ANo8 tengo un piloto para la lluvia
B(: El da ANoC esta radiante
/.0.0 T!b'! e 1er!
La ta)la de verdad de una !ro!osicin com!uesta !or n !ro!osiciones6 eF!licita todas
las com)inaciones !osi)les de los valores de verdad de las n !ro!osiciones @ue la
forman6 asignndole un valor de verdadero o falso a la !ro!osicin com!uesta !ara
cada una de estas com)inaciones.
Comnmente se denota con 7E8 el valor verdadero $ con 7'8 el valor de falso.
Eeamos las ta)as de verdad !ara las o!eraciones vistas:
# ( es verdadera cuando ! $ @ son verdaderas simultneamente.
! @ #(
E E .
E ' ;
' E ;
' ' ;
# ( es verdadera cuando al menos una de ellas lo es.
! @ #(
E E .
E ' .
' E .
' ' ;
B# es verdadera cuando ! es falsa.
! B#
E ;
' .
E+em!lo:
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
N
#: :engo un !iloto !ara la lluvia
(: El dMa esta radiante
# ( : A-algo si8 tengo un piloto para la lluvia % el da esta radiante




Eemos @ue la nica com)inacin en la @ue 7N2 salgo8 es @ue sean
falsas simultneamente las !ro!osiciones ! $ @6 en todas las dems
com)inaciones 7salgo8 .
# ( : A-algo si8 tengo un piloto para la lluvia : el da esta radiante
Eemos @ue la nica com)inacin en la @ue 7-algo8 es @ue sean
verdaderas simultneamente las !ro!osiciones ! $ @6 en todas las
dems com)inaciones 7N2 salgo8

B#: ANo8 tengo un piloto para la lluvia
Eemos @ue la negacin ser verdadera cuando la !ro!osicin ! sea
falsa
/.0.2 Pro#osi$iones $oni$ion!'es.
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
# ( # (
E E E
E ' E
' E E
' ' '
# ( # (
E E E
E ' '
' E '
' ' '
# B#
E '
' E
O

Una !ro!osicin condicional6 es a@uella @ue est formada !or dos !ro!osiciones
sim!les Ao com!uestaB # $ (. La cual se indica de la siguiente manera:

# ( -e lee 7-M ! entonces @8 7! solo si @8

# es la hiptesis o antecedente $
( es la conclusin o consecuente.
La forma 7sM ! entonces @8 enfati"a la 4i!tesis $ la forma 7! solo si @8 enfati"a la
conclusin.
-u ta)la de verdad se define de la siguiente manera
# ( # (
E E E
E ' '
' E E
' ' E
E+em!lo:
:eniendo en cuenta las siguientes !ro!osiciones
!: E @: ' $ t: E
Determinar el valor de verdad de cada una de las siguientes !ro!osiciones
com!uestas:
a< r: A! P Q@ B t
)< s: Q! A @ P t B
c< u: A ! @ B Qt
a< r: AE P Q' B E H A E P E B E H A E B E H E
r : .er!
)< s: QE A ' P E B H ' A 'B H E
s: .er!

c< u: A E ' B QE H A E B ' H '
": ;!'so.


/.0.3 Pro#osi$i%n bi$oni$ion!'.
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
#R

-ean ! $ @ dos !ro!osiciones entonces se !uede indicar la !ro!osicin )icondicinal
de la siguiente manera:

# ( -e lee 7! si $ solo si @8 7! es una condicin necesaria $ suficiente
!ara @8

Esto significa @ue ! es verdadera si $ solo si @ es tam)i.n verdadera. 2 )ien ! es
falsa si $ solo si @ tam)i.n lo es.
El valor de verdad de la !ro!osicin )icondicional se define en la siguiente ta)la de
verdad.
E+em!loS el enunciado siguiente es una !ro!osicin )icondicional

t: 7Es )uen estudiante6 si $ solo siS tiene !romedio de die"8

Donde:
!: Es )uen estudiante.
@: :iene !romedio de die".

!or lo tanto su ta)la de verdad es.



/.0.4 T!"&o'og5!:
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
# ( # (
E E E
E ' '
' E '
' ' E
# ( # (
# # #
# R R
R # R
R R #
##
-e dice @ue una !ro!osicin es una tautologMa cuando su ta)la de verdad slo tiene
valores verdaderos
/.0.6 Con&r!i$$i%n:
-e dice @ue una !ro!osicin es una contradiccin cuando su ta)la de verdad slo
tiene valores falsos
/.0.7 E("i1!'en$i!:
Decimos @ue dos !ro!osiciones son e@uivalentes cuando tienen la misma ta)la de
verdad.
# ( son e@uivalentes6 !oseen la misma ta)la de verdad
Las !ro!osiciones com!uestas # $ (6 tiene los mismos valores de verdad !ara todas
las com)inaciones de los valores de verdad de sus !ro!osiciones constitu$entes.
E+em!lo:
Eeremos como QA ! @ B ! Q@
/.0.8 Teore)!s
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
# ( # ( B( B#
E E E E
E ' ' '
' E E E
' ' E E
#%
Dada #(6 se dice @ue:
# ( es el teorema directo.
B# B( es el teorema contrario.
( # es el teorema recM!roco.
B( B# es el teorema contrarecM!roco trans!osicin
El teorema directo $ el teorema contrarecM!roco son e@uivalentes.
#( B( B#
/.0.9 Prin$i#!'es 'e:es
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
# ( BD # ( E # B(
E E ' '
E ' E E
' E ' '
' ' ' '
#&
A continuacin veremos algunas de las le$es $ reglas utili"adas !ara demostraciones

Le:es $on)"&!&i1!s
! @ @ !
! @ @ !
! @ @ !
Le:es Aso$i!&i1!s
AA ! @ B r B A ! A @ r BB
AA ! @ B r B A ! A @ r BB
Le:es Dis&rib"&i1!s
A ! A @ r BB AA ! @ B A ! r BB
A ! A @ r BB AA ! @ B A ! r BB
Le: e Morg!n
A ! @ B ! @
A ! @ B ! @

Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
#(
/.2 ;,NCIONES PROPOSICIONALES
Eeamos la siguiente !ro!osicin:
@: A% F B I & H G F: es un nmero natural
Con lo @ue 4emos visto 4asta a4ora no !odemos decir @ue es una !ro!osicin6 !ues
!ara serlo tiene @ue ser verdadera o falsa6 $ como vemos6 !ara este caso6 @ue sea
verdadera o falsa de!ende del valor de 7F8.
-i FH# @ es falsa
-i FH% @ es verdadera
-i FH& @ es falsa
;"n$iones Pro#osi$ion!'es:
-ea (D>E una declaracin @ue contiene la varia)le > !erteneciente al con+unto D.
(D>E es una funcin proposicional Acon res!ecto de DB si !ara cada > en D6 (D>E es
una !ro!osicin. D es el dominio de discurso de (.
-e dice @ue @AFB es una funcin !ro!osicional cuando al sustituir la F !or un valor
determinado6 @AFB !asa a ser una !ro!osicin AEs verdadera o falsa6 !ero no am)asB.
-i la funcin !ro!osicional tiene ms de una varia)le6 escri)imos @AF6$6...B.

/.2./ C"!n&ifi$!ores:
0eneralmente6 !ara convertir una funcin !ro!osicional en una !ro!osicin6 se
utili"an los llamados cuantificadores6 @ue son de dos ti!os:
Cuantificador Universal:
> F PD>E. T se lee D!ara todo F se verifica PAFBD
se lee: 7!ara cada86 7!ara toda8 o 7!ara cual@uiera8
Cuantificador Existencial:
> F PD>E. T se lee DeFiste6 al menos6 un F tal @ue se verifica PAFBD
se lee 7!ara algn86 7!ara almenos un8 o 7eFiste8
No&!: Para decir DeFiste un nico > tal @ue PD>BD escri)imosG > F PD>E.
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
#1
E+em!los:
La !ro!osicin:
t:F6 !AFB
es vedad si !ara todas las F del dominio de discurso de F6 !AFB es verdadera.
Alcan"a con @ue !ara una sola de dic4as F6 !AFB sea falsa !ara @ue 7t8 sea
falsa
La !ro!osicin:
r: F6 !AFB
esta !ro!osicin es verdadera si !ara !or lo menos una 7F8 !erteneciente al
dominio de discurso de F6 !AFB es verdadera.

La idea de los cuantificadores es limitar el domino de discurso AacotarB !ara !oder
convertir una funcin !ro!osicional A@ue !or si sola no es una !ro!osicinB en una
!ro!osicin Adarle valor verdadero o falsoB.
/.2.0 Le:es e Morg!n:
-ea !AFB una funcin !ro!osicional
Q A F6 !AFB B F6 Q!AFB
Q A F6 !AFB B F6 Q!AFB
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
#L
/.3 DEMOSTRACIONES
Los !>io)!s son !ro!osiciones @ue se su!onen verdaderos $ so)re los @ue se )asan
los sistema matemticos.
Las efini$iones crean conce!tos en funcin de los $a eFistentes.
Los &eore)!s son !ro!osiciones cu$a verdad se 4a demostrado6 !ara dic4a
e)os&r!$i%n se utili"an argumentos.
La lgica es una 4erramienta !ara el anlisis de dic4as demostraciones.
Eeremos a continuacin algunos m.todos de demostracin )asados en la lgica @ue
$a vimos.
/.3./ De)os&r!$i%n ire$&!
Con frecuencia los teoremas tiene la forma:
>
/
F >
0
F ... >
n
6 si #D>
/
F >
0
F ... >
n
EF (D>
/
F >
0
F ... >
n
E
Esto es verdadero si
#D>
/
F >
0
F ... >
n
EF (D>
/
F >
0
F ... >
n
E
es verdadero en el dominio de discurso !lanteado.
El m.todo de demostracin directa su!one @ue #D>
/
F >
0
F ... >
n
E $ utili"a esta
!ro!osicin $ aFiomas6 definiciones o teoremas $a demostrados !ara verificar @ue
(D>
/
F >
0
F ... >
n
E es verdadera.
/.3.0 De)os&r!$i%n inire$&!
/ecordemos una forma frecuente de los teoremas:
>
/
F >
0
F ... >
n
6 si #D>
/
F >
0
F ... >
n
EF (D>
/
F >
0
F ... >
n
E
Esto es verdadero si
#D>
/
F >
0
F ... >
n
EF (D>
/
F >
0
F ... >
n
E
es verdadero en el dominio de discurso !lanteado.
El m.todo de demostracin indirecta su!one @ue la 4i!tesis 7#8 es verdadera $ @ue
la conclusin 7(8 es falsa.
Utili"ando # 6 B( $ aFiomas6 definiciones o teoremas $a demostrados se llega a una
contradiccin !ara demostrar la veracidad del teorema.
Una contradiccin es de la forma # B# % ( B( $ es una !ro!osicin cu$a ta)la de
verdad contiene solo valores falsos. A ver #.%.LB.
Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
#G
/.3.2 M<&oo e"$&i1o
-i !artimos de una serie de !ro!osiciones Alas 4i!tesis B $ llegamos a una
conclusin esta forma de ra"onamiento se denomina m.todo deductivo.
El argumento es valido si considerando verdaderas todas las 4i!tesis la conclusin
tam)i.n es valida6 caso contrario el argumento no ser valido
Comnmente la notacin del mismo es:
#
/
F #
0
F ... #
n
(
donde A C @uiere decir 7!or lo tanto8.
/.3.3 M<&oo in"$&i1o
-u!ongamos tener una funcin !ro!osicional del ti!o:
& D>E
Donde el dominio de 7F8 son los nmeros naturales.
El !rinci!io de induccin matemtica nos !ermite sa)er si la funcin !ro!osicional
tAFB es verdadera o falsa de la siguiente manera:
#< Confirmar la veracidad !ara FH#S &D/E .
%< -u!oner @ue &D0EF &D2EF ...F &DnE son verdaderas
&< Demostrar6 teniendo en cuenta % $ &6 @ue &DnH/E es verdadera

Matemtica Discreta Prof.: Adrin L!e" Clase # Pgina:
#N