UNIVERSIDADESTATALADISTANCIA

VICERRECTORAACADMICA

DIRECCINDEEXTENSIN

TCNICOUNIVERSITARIO

ENCOMPUTACINEINFORMTICA

GUADEESTUDIO

MATEMTICAPARAINFORMTICAI

CDIGO50287

Elaboradapor

VIRGINIARAMREZCASCANTE

1
Produccinacadmicayasesorapedaggica:
AnaMaraSandovalPoveda

Encargadadectedra:
GrettelMenaAraya

Correccindeestilo:

2
Presentacin

ElcursodeMatemticaparaInformticaItienecomopropsitogeneral:

Introducir el uso de la lgica matemtica proposicional como

instrumentoadecuadoparalaformalizacinderazonamiento,en
eldesarrollodedestrezasparlaresolucindeproblemas.

Estaguadeestudioesunaayudaparalograrelxitoenelcursocorrespondiente.
Se basa en dos libros de texto, el primero se llama Matemtica Discreta para
Informticos. Ejercicios resueltos y fue escrito por Rafael Caballero, Teresa Hortal,
Narciso Mart, Susana Nieva, Antonio Pareja y Mario Rodrguez. El otro texto se
llama Lgica Matemtica para Informticos. Ejercicios resueltos y fue escrito por
HortalG.Teresa,MartO.Narciso,PalominoT.Miguel,RodrguezA.Mario,Del
VadoV.Rafael,deestetextoseutilizarnicamenteelcaptulo8,correspondiente
alClculolgicoconTableaux.

En esta gua de estudio se aclararn aspectos como definiciones, conceptos,

ejercicios y simbologa, para estimular su proceso de enseanza y aprendizaje y
paraquelesirvadeapoyosignificativoduranteeldesarrollodelcurso.Recuerde
que este es un curso tericoprctico, por lo cual usted es el responsable de la
construccindelconocimiento,paraellodeberealizartodoslostrabajosasignados
con las orientaciones que se le indiquen, tanto en este documento como en las
sesionesdetrabajo.

Estaguadeestudiosedivideenlossiguientesapartados:
Ayudasparafacilitarelusodelostextosydelaguadeestudio:incluyeun
cuadrocontodalasimbologaysusignificado.

Objetivos del curso: incluye el objetivo general y los objetivos especficos

paralograrunaprendizajesignificativoyconcluirconxitoelcurso.

Estructura de la gua de estudio: incluye una distribucin por tutoras,
siguiendolapresentacinpropuestadeloslibrosdetexto.

Distribucindetemasportutoras:incluyeeldesarrollodeloscaptulosque
sedebencubrirencadaunadelastutoras.

3
Contenido

Presentacin........................................................................................................................3

I. Ayudasparafacilitarelusodelostextosydelaguadeestudio.........................7

II. Objetivosdelcurso .....................................................................................................14

III.Estructuradelaguadeestudio..............................................................................15

IV.Distribucindetemasportutoras .........................................................................16

V. Tutoras .......................................................................................................................19
PRIMERATUTORA.........................................................................................................19
Instrucciones.........................................................................................................19
Conceptosclave ...................................................................................................19
Sugerenciasparaelaprendizaje ........................................................................20
Elconjuntodelosnmerosnaturales...............................................................20
Principiodeinduccinsimple ...........................................................................21
Ejerciciospropuestos.....................................................................................22
Principiodeinduccincompleta.......................................................................24
Ejerciciospropuestos.....................................................................................25
Definicionesrecursivas .......................................................................................26
Ejerciciospropuestos.....................................................................................27
Lanotacindelsumatorioyproductorio ........................................................30
Ejerciciospropuestos.....................................................................................31
Principiodeinduccinconunoovarioscasosbasepara IN m
yelprincipiodeinduccinenlaprctica ........................................................34
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................35
Seccin8.1Anlisissemnticodefrmulas ..............................................35
SEGUNDATUTORA ......................................................................................................37
Instrucciones.........................................................................................................37
Conceptosclave ...................................................................................................37
Sugerenciasparaelaprendizaje ........................................................................38
Mltiplosydivisores.Divisinentera .............................................................38
Ejerciciospropuestos.....................................................................................38
Sistemasdenumeracin .....................................................................................39
Ejerciciospropuestos.....................................................................................40
Mximocomndivisorymnimocomnmltiplo .......................................41

4
 AlgoritmodeEuclidesyTeoremadeBzout ..................................................42
Ejerciciospropuestos.....................................................................................43
Nmerosprimos ..................................................................................................44
Ejerciciospropuestos.....................................................................................46
Congruenciasyaritmticamodular .................................................................47
Ejerciciospropuestos.....................................................................................48
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................49
Seccin8.2Reglasdeconstruccindetableaux.Heursticas ...................49
TERCERATUTORA.........................................................................................................51
Instrucciones.........................................................................................................51
Conceptosclave ...................................................................................................51
Sugerenciasparaelaprendizaje ........................................................................52
Conjuntosyoperacionesconconjuntos ...........................................................52
LeyesalgebraicasdeBoole .................................................................................55
Funciones.Operacionesypropiedades............................................................55
Sucesionesypalabrassobreunalfabeto ..........................................................57
Cardinalesyconjuntosfinitos ...........................................................................57
Ejerciciospropuestos.....................................................................................57
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................58
Seccin8.3Propiedadesfundamentalesdelostableaux ..........................58
CUARTATUTORA.........................................................................................................59
Instrucciones.........................................................................................................59
Conceptosclave ...................................................................................................59
Sugerenciasparaelaprendizaje ........................................................................60
Relaciones .............................................................................................................60
Relacionesdeequivalencia.................................................................................60
Relacionesdeorden.............................................................................................61
RetculosylgebradeBoole ..............................................................................61
Ejerciciospropuestos.....................................................................................62
Captulo8dellibrodetextoLgicaMatemticaparaInformticos..................62
Secciones8.4y8.5Preguntasdetestresueltas
yejerciciosresueltos,respectivamente .......................................................62

VI.Referencias..................................................................................................................63

5
ndicedecuadros

Cuadro1.Simbologa........................................................................................................7
Cuadro2.Ejemplosdelafuncinsucesor ...................................................................20
Cuadro3.Antecesoresysucesoresdenmerosnaturales........................................21
Cuadro4.Categorasdefrmulas.................................................................................35
Cuadro5.Reglasparalaigualdad ................................................................................35
Cuadro6.CribadeEratstenes .....................................................................................45
Cuadro7.Reglasparaloscuantificadoresyparalaigualdad..................................49
Cuadro8.Tabladepertenenciadelaunindeconjuntos ........................................54
Cuadro9.Tabladepertenenciadelainterseccindeconjuntos..............................54
Cuadro10.Tabladepertenenciadeladiferenciadeconjuntos ...............................54
Cuadro11.Propiedadesdelauninydelainterseccin..........................................55
Cuadro12.Propiedadesentrelauninylainterseccin ..........................................55

6
I. Ayudasparafacilitarelusodelostextos
ydelaguadeestudio

Con el fin de facilitar la lectura de este documento y hacerlo ms amigable, se

incluye un cuadro con la simbologa necesaria para el estudio y aprendizaje
adecuadodelostemas;estoconelfindecomprenderydesarrollardeunamanera
msgillamateriadelcurso.

Cuadro1.Simbologa

SMBOLO SIGNIFICADO

IN Conjuntodelosnmerosnaturales

f : A B f esunafuncindeAaB

Lafuncin f hacecorresponderaun
f (a) = b
elementoadeA,elelementobdeB

Funcinsucesor,leasignaacadanmero
s : IN IN
naturalnelquelesigue,esdecir n + 1

SubconjuntodeINqueresultadegenerar
nmerosnaturalesmediantelafuncin
IN m
sucesor,peronoapartirde0sinodeun
cierto m 0

/ Talque

Pertenece

Nopertenece

Sumatoria

Productorio

nmod2 Restodeladivisinenteradenpor2

7
ndiv2 Cocientedeladivisinenteradenpor2

n ! Factorialden

Indicaqueseutilizaunabasedistintaala
modn
basedenumeracin10

Paratodo

f n = fib ( n )
Elensimotrminodelasucesinde
Fibonacci

b/a besdivisordea

b / a bnoesdivisordea

aesb aesmltiplodeb

c = adivb Clculodecapartirdeayb

r = a mod b Clculoderapartirdeayb

(c , r ) = adiv mod b Clculodecyrapartirdeayb

Z Conjuntodelosnmerosenteros

Pertenece,nopertenece,subconjunto,noes
,, ,
subconjunto

adivb = ( a ) div ( b )
Cocientedeladivisinenteracon
a Z, b Z, b < 0

a mod b = ( a ) mod ( b )
Restococientedeladivisinenteracon
a Z, b Z, b < 0

a = (d n d n-1 ...d 1 d 0 )b Representacindeaenbaseb

d = mcd (a , b) Mximocomndivisordeayb

m = mcm(a , b) Mnimocomnmltiplodeayb

8
 Descomposicindexcomoproductode
x = p1e1 p2e2 ... pnen
factoresprimos

Dosenterosaybsoncongruentesmdulo
a m b
m

a m = {b Z / a m b} = {a + k m / k Z} Clasedecongruenciadeamdulom

Z / m oZ /(m) Conjuntocociente

U Conjuntouniversal

Conjuntovaco

A B = {x / x A ox B} UnindedosconjuntosAyB

A B = {x / x A yx B} InterseccindedosconjuntosAyB

{
A\B = x / x A yx B } DiferenciadedosconjuntosAyB

U\A ComplementariodeunconjuntoA

A B = ( A\ B) ( B\ A ) DiferenciasimtricadedosconjuntosAyB

(x, y ) Parordenadox,y

A B = {( x, y ) / x A, y B} ProductocartesianodedosconjuntosAyB

C Familiadeconjuntos

C = {x / x S paraalgnS C} Unindeunafamiliadeconjuntos

C = {x / x S paratodoS C} Interseccindeunafamiliadeconjuntos

P ( A ) = {S / S A}
PotenciadeunconjuntoAoconjuntode
laspartesdeA

9
 {
dom ( f ) = x A / f ( x ) estdefinido } Dominiodelafuncinf

{
ran ( f ) = f ( x ) B / x dom ( f ) } Rangodelafuncinf

id A ( x) = x FuncinidentidadsobreunconjuntoA

( f / C )( x ) = f ( x ) ,paratodox C dom ( f ) LarestriccindeunafuncinparcialfdeA

enBaunsubconjunto C A

Composicindedosfuncionesparcialesf
f g
deAenBygdeBenC

f 1 Funcininversa

Imagendeunconjunto S A mediante
{ }
f ( S ) = f ( x ) B / x dom ( f ) S
lasfuncinf

Imageninversadeunconjunto T B
{ }
f 1 (T ) = x dom ( f ) / f ( x ) T
mediantelasfuncinf

f : A B FuncinparcialdeAenB

s : IN C SucesionesdeelementosdeC

s i os(i ) Imagendeipors

n { }
n = 0,..., n 1

s: n C Sucesionesfinitas

Alfabeto,conjuntodetodaslassucesiones
*
AIoAI finitasdeelementosde AI detodaslas
longitudesposibles

u Palabras,elementosde AI

:0 A Funcinpalabravaca

10
AI + = AI * \{ }
Conjuntodetodaslaspalabrasnovacas
sobreelalfabetoAI

A CardinaldeA

R A B RelacinbinariaentredosconjuntosAyB

xestrelacionadoconymediantela
xRy
relacinR

dom ( R ) = {x A / xRy paraalgny B} DominiodeR

dom ( R ) = {x A / xRy paraalgny B} RangodeR

idA = {( x, x ) / x A} RelacinidentidadsobreA

R S Relacinunin

R S Relacininterseccin

( A B) \ R Relacincomplemento

R1 = {( y , x ) / ( x, y ) R} Relacininversa

( x , z ) / existey talque
R S=
( x , y ) R, ( y , z ) S ComposicinoproductodeRyS
R A B, S B C

R An RrelacinnariasobreA

x = { y A / x~y} Clasedeequivalenciadex

{
A /~ = x / x A } ConjuntococientedeAconrespectoala
relacindeequivalencia~

( A, ) Conjuntoordenado

11
Sup ( S ) = {x A / x escotasuperiordeS} Conjuntodelascotassuperiores

S = mnSup(S) SupremodeS

Inf ( S ) = {x A / x esunacotainferiordeS} Conjuntodelascotasinferiores

S = mxInf (S) nfimodeS

, Retculos

, Elementomnimoyelementomximo

Smbolosdeproposicin

Smboloslgicos,falsedadycerteza
,T
respectivamente

Smboloslgicos,conectivaunaria,
negacin

Smboloslgicos,conectivasbinarias,
,, , conjuncin,disyuncin,condicionalo
implicacin,bicondicionalobiimplicacin

AI

= { , T , , , , , } {( )} Alfabetodesmbolosprimitivos

Representacualquieradelasconectivas

binarias

Frmulasdelgicaproposicional,frmulas
( At )
atmicas

Conjuntodetodaslasfrmulas
L
proposicionalesconsignatura

Letrasgriegas Representanfrmulas

1y2 Frmulascondicionalesantecedentey

12
 consecuenterespectivamente

Frmulasuniversales

(t) Frmulasdeparticularizacindeparat

Frmulasexistenciales

(c) Ejemplode

c Testigo

(R )y(R )
Reglasparaloscuantificadores

Reglasparalaigualdad,reflexividad,
(RRF ), (RSM ), (RTR ), (RST ) simetra,transitividad,sustitucin
respectivamente

T Pruebalainsatisfactibilidadde

0 { } Pruebaporrefutacin

Fuente:materialelaboradoporlaautora.

13
II. Objetivosdelcurso

Objetivogeneral

Introducir el uso de la lgica matemtica proposicional como instrumento

adecuado para la formalizacin de razonamiento, en el desarrollo de
destrezasparalaresolucindeproblemas.

Objetivosespecficos

1) Analizar los fundamentos lgicos desde el concepto de Matemticas

discretasysuscomponenteshastalascaractersticasbsicasdelaaplicacin
yformulacindelalgicaproposicional.

2) Aplicar la sintaxis y la semntica de la lgica proposicional tomando en

cuentalosprincipiosdedesarrollo.

3) Analizar los conceptos bsicos de los sistemas numricos, mediante la
expresindesmbolos.

4) Reconocer las generalidades de los conjuntos y las leyes algebraicas de
Booleysucorrelacinconlasfrmulasproposicionales.

14
III. Estructuradelaguadeestudio

Esta gua de estudio se ha estructurado de forma que sea una ayuda para un
aprendizaje significativo, por lo que la distribucin es por tutoras y se sigue la
presentacin propuesta en los libros de texto. Adems, debe realizar todos los
ejerciciossugeridosparatutora,conelobjetivodereafirmarloaprendido.

Laprimeratutorasededicaalestudiodelcaptulo1Induccinyrecursindel
librodetexto MatemticaDiscretaparaInformticosydelaseccin8.1delcaptulo8
del libro Lgica Matemtica para Informticos; esta seccin corresponde al Anlisis
semnticodefrmulas.

Enlasegundatutoraseestudiaelcaptulo2dedicadoalaTeoradeNmeros
del libro de texto Matemtica Discreta para Informticos y de la seccin 8.2 del
captulo 8 del libro Lgica Matemtica para Informticos denominado Reglas de
construccindetableaux.Heursticas.

Enlaterceratutoraseestudiaelcaptulo3:Conjuntosyfuncionesdellibrode
texto Matemtica Discreta para Informticos y la seccin 8.3 del captulo 8 del libro
Lgica Matemtica para Informticos denominado Propiedades fundamentales de
lostableaux.

En la cuarta y ltima tutora se estudia el captulo 4: Relaciones y rdenes del

libro de texto Matemtica Discreta para Informticos y se agregan algunos datos
acercadelosejerciciosdelcaptulo8dellibroLgicaMatemticaparaInformticos.

El siguiente esquema le presenta una gua de la distribucin de captulos y

seccionesparacadatutora.

Para cada tutora se le sugieren algunos ejercicios. Debe desarrollarlos y luego

verificarsusolucinconlaquepresentanlostextosrecomendados.

15
IV. Distribucindetemasportutora

Comoseindicenlaorganizacindelaguadeestudio,setrabajarcondoslibros
detexto;paraunaubicacinmssencilladelostemas,seleadjuntaelsiguiente
esquemadedistribucindetemas.

Esquema1.Lecturasaestudiarparacadatutora.

16
A continuacin se presenta la organizacin por tutora, se incluye el nmero de
pginaenqueencontrarcadaseccin.

PRIMERATUTORA

CAPTULO1. INDUCCINYRECURSIN
1.1. Elconjuntodelosnmerosnaturales 1
1.2. Principiodeinduccinsimple 2
1.3. Principiodeinduccincompleta 2
1.4. Definicionesrecursivas 2
1.5. Lanotacindelsumatorioydelproductorio 3
1.6. Principiodeinduccinconunoovarioscasosbasepara IN m 4
1.7 Elprincipiodeinduccinenlaprctica 4
1.8. Preguntasdetestresueltas 5
1.9. Ejerciciosresueltos 9
CAPTULO8. CLCULOLGICOCONTABLEAUX
8.1 Anlisissemnticodefrmulas 293

Esquemaresumen
Glosario

SEGUNDATUTORA

CAPTULO2. TEORADENMEROS
2.1. Mltiplosydivisores.Divisinentera 55
2.2. Sistemasdenumeracin 55
2.3. Mximocomndivisorymnimocomnmltiplo 56
2.4. AlgoritmodeEuclidesyteoremadeBzout 57
2.5 Nmerosprimos 58
2.6. Congruenciasyaritmticamodular 58
2.7. Preguntasdetestresueltas 59
2.8. Ejerciciosresueltos 67

CAPTULO8. CLCULOLGICOCONTABLEAUX
8.2. Reglasdeconstruccindetableaux.Heursticas 294

Esquemaresumen
Glosario

17
TERCERATUTORA

CAPTULO3. CONJUNTOSYFUNCIONES
3.1. Conjuntosyoperacionesentreconjuntos 101
3.2. LeyesalgebraicasdeBoole 102
3.3. Funciones.Operacionesypropiedades 103
3.4. Sucesionesypalabrassobreunalfabeto 104
3.5. Cardinalesyconjuntosfinitos 104
3.6. Preguntasdetestresueltas 105
3.7. Ejerciciosresueltos 111

CAPTULO8. CLCULOLGICOCONTABLEAUX
8.3. Propiedadesfundamentalesdelostableaux 295

Esquemaresumen
Glosario
CUARTATUTORA

CAPTULO4. REALCIONESYRDENES
4.1. Relaciones 163
4.2. Relacionesdeequivalencia 164
4.3. Relacionesdeorden 165
4.4. RetculosylgebrasdeBoole 167
4.5. Preguntasdetestresueltas 168
4.6. Ejerciciosresueltos 174

Esquemaresumen
Glosario

CAPTULO8. CLCULOLGICOCONTABLEAUX
8.4. Preguntasdetestresueltas 295
8.5. Ejerciciosresueltos 298

18
CUARTATUTORA

Instrucciones

Debeestudiar:
Elcaptulo4,pginasdela163ala228dellibrodetextoMatemticaDiscreta
paraInformticos.

Las secciones 8.4 y 8.5 del captulo 8, pgina 295 y 298 del libro de texto
LgicaMatemticaparaInformticos.

Adems debe resolver los ejercicios propuestos y verificar sus soluciones con las
quesedanenloslibrosdetextocorrespondientes.

Conceptosclaves
Relaciones
Relacionesdeequivalencia
Relacionesdeorden
RetculosylgebrasdeBoole

59
Sugerenciasparaelaprendizaje

En esta tutora se desarrollan los conceptos sobre relaciones y retculos. Los

ejercicioscorrespondientesaestatutoraseresuelvenconsiderandotodalamateria
que se estudia en el tema, razn por la cual se hace primero un resumen de la
teorayporltimoserecomiendanlosejercicios,siguiendoelordendeltexto.

Relaciones

Relacinbinaria
SellamarelacinbinariaentredosconjuntosAyBacualquierconjuntoRdepares
ordenadostalque R A B .

Propiedadesdelasrelacionesbinarias
Acontinuacinsedefinenalgunasrelacionesbinarias:
Reflexiva:unarelacinbinariaesreflexivacuando x A secumplexRx.

Antireflexiva:unarelacinbinariaesantireflexivacuandoningn
x A cumplexRx .

Simtrica:unarelacinbinariaessimtricacuando
x , y A secumplesixRy yRx.

Antisimtrica:unarelacinbinariaesantisimtricacuando
x , y A secumplesixRy eyRz x = y.

Transitiva:unarelacinbinariaestransitivacuando
x , y , z A secumplesixRy eyRz xRz.

Conexa:unarelacinbinariaesconexacuando
x , y A , x y secumplexRy yRx.


Relacionesdeequivalencia

Una relacin de equivalencia es una relacin binaria R sobre un conjunto A que

cumpleserreflexiva,simtricaytransitiva.Larelacindeequivalenciasedenota

60
conelsmbolo~.Acontinuacinsetratanalgunosconceptosquedebemanejarcon
estasrelaciones.

Clasedeequivalencia
Se define la clase de equivalencia de x como el subconjunto
x = {y A talquex y} .

Conjuntocociente
Elconjuntocociente A / deAconrespectoalarelacindeequivalencia~sobreA
eslafamiliadesubconjuntosde Aformadaportodaslasclasesdeequivalenciade
{ }
~.Esdecir A / = x talquex A .

Relacionesdeorden

Unarelacindeordenesunarelacinbinaria Rsobreunconjunto Aquecumpla

ser reflexiva, antisimtrica y transitiva. Algunos conceptos adicionales que debe
utilizarsedetallanacontinuacin.

Relacindeordentotal
Una relacin de orden total es una relacin binaria R sobre un conjunto A que
cumplaserreflexiva,antisimtrica,transitivayconexa.

Conjuntoordenado
Unconjuntoordenadoesunparordenado ( A , ) formadoporunconjuntoAyun
orden definidosobreA.

RetculosylgebradeBoole

Un retculo es un conjunto ordenado ( A, ) que cumple que

x , y A existentantoelsupremo {x , y} como el nfimo {x , y} . Se denotan
x y y x y ,respectivamente.

Recuerdeque:
Unelemento x A eselsupremodeSsieselmnimodelconjunto Sup ( S) .

61
 Unelemento x A eselnfimodeSsieselmximodelconjunto Inf ( S) .

lgebradeBoole
Se llama lgebra de Boole a cualquier retculo que sea distributivo y
complementario.

Ejerciciospropuestos

Se le recomienda realizar los ejercicios que se detallan a continuacin. stos

aparecenenellibrodetextodesarrolladosenformadetallada.

4.1,4.2,4.3pgina168;4.4pgina169.Enestosejerciciossepruebanrelacionesde
equivalencia.

4.5 pgina 169; 4.6, 4.7 pgina 170; 4.8 pgina 171. En estos ejercicios se usan las
propiedadesantireflexiva,antisimtricaydeorden.

4.9y4.10pgina171.Enestosejerciciosseutilizaelconceptodeordentotal.

4.12pgina172;4.13pgina173.Estosejerciciosserefierenamximosymnimos.

4.14 pgina 173; 4.15 pgina 174. En estos ejercicios se utiliza el concepto de
retculo.

Apartirdelejercicio4.16delapgina174hastael4.89delapgina227todosse
resuelvendetalladamenteenellibrocombinandolosdiferentesconceptosdeeste
captulo.

Captulo8dellibrodetextoLgicaMatemticaparaInformticos

Secciones 8.4 y 8.5. Preguntas de test resueltas y ejercicios resueltos

respectivamente

Es importante que estudie y realice con cuidado todos los ejercicios de estas
secciones pginas de la 295 a la 337. Recuerde que la notacin se detalla en las
pginasinicialesdeestaguadeestudio.

62
VI. Referencias

Batalla,M.(2006,enero).DiagramasdeVenn.ElrincndelaCiencia,34.Extradoel
16deseptiembrede2009desde
<http://centros5.pntic.mec.es/ies.victoria.kent/RinconC/Alumnos/al18/al18.htm>.

Bianco,E.etal.(2003).MatemticaDiscreta.Versinpreliminar.Extradoel02de
octubrede2009desde
<http://www.logics.uns.edu.ar/~figallo/didactico/discreta.pdf>.

Caballero, R. et al. (2007). Matemtica Discreta para Informticos. Serie Prentice

Prctica.Madrid:PearsonPrenticeHall.

Hortal,T. etal.(2008). LgicaMatemticaparaInformticos.SeriePrenticePrctica.

Madrid:PearsonPrenticeHall.