Академический Документы
Профессиональный Документы
Культура Документы
versiones2006a2009:GEORFFREYACEVEDOGONZLEZ
primeraversin2005:NUBIAJANETHGALINDOPATIO
UNIVERSIDADNACIONALABIERTAYADISTANCIAUNAD
ESCUELADECIENCIASBSICAS,TECNOLOGAEINGENIERA
UNIDADDECIENCIASBSICAS
BogotD.C,2009
General
MDULO
LGICAMATEMTICA
Versindel6defebrerode2009
OpenOffice3.0.0
SEGUNDAEDICIN
8defebrerode2009
Editordetexto:OpenOffice3.0.0
Copyright
UniversidadNacionalAbiertayaDistanciaUNAD
ISBN
2009
Bogot,Colombia
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
2
OH dicha de
entender, mayor que la de
imaginar o la de sentir!
Borges.
Introduccin
Este mdulo est concebido para ser un curso introductorio al apasionante mundo de la lgica
Matemtica,hasidodiseadoparaseruncursotransversalatodoslosprogramasacadmicosdelaUNAD.
Para leer el mdulo slo se necesitan los conceptos de conjuntos numricos, y operaciones
algebraicascomodestruccindesignosdeagrupacin,factorcomn,ecuacioneseinecuacionesdeprimer
gradoquepuedenserrecordadosdemanerasimultnea.
Laintencinesqueelestudiantepuedaaprenderdeestemduloporsmismo,enestesentidoesun
textoescritomsparalosestudiantesqueparaelprofesor.
Enelprimercaptulo,analizaremoslasdiferentesoperacionesentreconjuntos,talescomounin,
interseccin y complemento, entre otras operaciones, que nos permitirn llegar a la compresin de los
conectivos lgicos usados en el lenguaje natural, partiendo de una representacin grfica. A la par
desarrollaremoslasdestrezaslgicomatemticas,dandosolucinaproblemascomoste:
Deacuerdoconunaencuestavirtualrealizadaacincuentaestudiantesdela
UNAD,losamantesdelamsicadeJuanesson15;mientrasquelosquenicamente
gustandelamsicadeShakirason20,Cuntossonfanticosdelosdosartistassi
10delosencuestados,entrelos25quenosonfanticosdeShakira,afirmanser
fanticosdeJuanes?
Elsegundocaptuloesunaherramientaquepermiteadquirirhabilidadesparacomprenderconceptos
comolosconectivoslgicosqueusamosdiariamenteennuestroleguajeyquepocasvecesnosdetenemosa
analizarycomprender,porejemplo,nuestroamigo Booleafirmaquecuandoganesuequipo
predilectoharfiesta,pasadountiempoencontramosqueBooleestfestejandoperoquesuequipo
predilectohaperdido,SeestcontradiciendoelamigoBoole?,enestecursodescubriremosyanalizaremos
elconectivolgicoquehausadoBooleensuafirmacin,paraconcluirsobreesteasunto.
Identificarlosconectivoslgicos,laspremisasycomprendersufuncinenellenguajenospermitir
disearfrasescadavezmscomplejassinquesepierdalacoherenciaenlaconstruccingramatical.
Posteriormente aprenderemos ha hacer simplificaciones de expresiones complejas o difciles de
descifrarusandoellenguajenatural,paraelloutilizaremosleyesexpresadaspormediodesmbolos.Por
ejemplo,alexpresarenlenguajenaturalqueEsfalsoqueAugustusnomiente,pormediodela
lgicaaprendemosallegaralasimplificacin: Augustusmienteutilizandoleyeslgicasbsicasque
nospermitenvalidarlasimplificacinhechaconunargumentomsalldelasimpleintuicin.
Otrainteresanteaplicacindelalgicaesenelprocesodevalidarnuestrosargumentos.Porejemplo,
analicemos que puede concluirse de la siguiente afirmacin: Si llueve hace fro, posteriormente
ocurre que hace fro, es entonces correcto concluir que llueve?, por medio de la lgica
transformaremosestaexpresinenlenguajesimblicoqueposteriormentepodremosanalizarpormediode
unatabladeverdadydescubrirenquecasoespecficoelargumentosecontradice.
Enelmundodelaargumentacinsiempreestamosutilizandounosprincipioslgicosbsicosque
estudiaremosenesteapasionantecurso,permitindonosmejorarenlaconstruccindeargumentosfuertes,
basadosenloscimientosdelalgica.
Agradezcoatodalacomunidadacadmicasuvaliosacolaboracin.
Queestaspginasosbrindenmuchashorasdediversin.
GeorffreyAcevedoG.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
2
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Contenido
Unidad1TeoradeconjuntosyprincipiosdeLgica.
1
Capitulo1Teoradeconjuntos
Representacingrfica
Formasparadeterminarunconjunto
ConjuntosFinitos
Conjuntosespeciales
Relacionesentreconjuntos
Operacionesentreconjuntos
lgebradeconjuntos
Capitulo2PrincipiosdeLgica
Historiayclasificacin
Clasificacindelalgica
Conceptualizacin
Lgicaylingstica
Simbolizacin
Proposiciones
ConectivosLgicos
Proposicionessimples
ProposicionesCompuestas
Tablasdeverdad
Leyesdelalgica
Leyesdellgebradeproposiciones
Cuantificadores
Capitulo3Preliminaressobrelasproposiciones
Proposicionescategricas
Proposicincategricauniversalafirmativa
ProposicinCategricaUniversalnegativa
Proposicincategricaafirmativaparticular
ProposicinCategricaNegativaparticular
Cualidadycantidaddelasproposicionescategricas
3
Capitulo4Deduccin
Proposicionescontrarias,decontingenciaysubcontrarias
Smboloydiagramasparaproposicionescategricas
Elmtodocientfico
Silogismoscategricos
FormaEstndardeunsilogismocategrico
Argumentodeductivo
ArgumentoVlido
Pruebaformaldevalidez
Pruebadeinvalidez
ArgumentoInvalido
Inferenciaslgicas
9Reglasdeinferencia
Lademostracin
Demostracindirecta
Demostracinindirecta
Demostracinporrecursin
Demostracinporrefutacin
Refutacinporcontradiccin
Refutacinporcontraejemplo
Capitulo5Induccin
Elproblemadelainduccin:
Argumentoinductivoporanaloga
Evaluacindelosargumentosanalgicos
Lafuerzadelasconclusionesconrespectoasuspremisas.
Refutacinpormediodeunaanalogalgica
Unidad2UnlgebraBooleana
Capitulo1AxiomasdellgebraBooleana
propiedadesoaxiomas
lgebrabooleanaensistemasnumricos
lgebrabooleanadelosconjuntos
lgebrabooleanadelalgica
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
4
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Capitulo2ExpresionesBooleanas
Formanormaldisyuntiva
Formanormalconjuntiva
Capitulo3SimplificacindeExpresionesBooleanas
SimplificacindeexpresionesbooleanasmediantemapasdeKarnaugh
Capitulo4Definicinyrepresentacindeloscircuitoslgicos
Circuitodedisyuncin
Circuitodenegacin
Adicinosumalgica.
Multiplicacinoproductolgico
Complementacinoinversinlgica
Otrascompuertaslgicas
Capitulo5Aplicacindeloscircuitoslgicos
ndicedecontenido
1.Unidad1............................................................................................................................................13
1.1.Captulo1Teoradeconjuntos.....................................................................................................13
Objetivogeneral...................................................................................................................................13
1.1.1.Representacingrficadelosconjuntos...................................................................................14
1.1.1.Formasparadeterminarunconjunto.........................................................................................15
1.1.1.1.Porextensin...........................................................................................................................15
1.1.1.2.Porcomprensin....................................................................................................................15
1.1.2.Conjuntosfinitos,infinitosyconjuntosespeciales...................................................................16
1.1.2.1.Conjuntosinfinitos..................................................................................................................16
1.1.2.2.Conjuntosfinitos......................................................................................................................16
1.1.3.Conjuntosespecia.......................................................................................................................17
1.1.3.1.ConjuntoVaco........................................................................................................................17
1.1.3.2.ConjuntoUnitario...................................................................................................................18
1.1.3.3.ConjuntoUniversal..................................................................................................................18
1.1.3.4.Conjuntodepartesoconjuntodeconjuntos..........................................................................19
1.1.4.Relacionesentreconjuntos.........................................................................................................20
1.1.4.1.Subconjuntos............................................................................................................................20
1.1.4.2.Igualdadentreconjuntos........................................................................................................22
1.1.4.3.ConjuntosCompletamenteDiferentesoDisyuntos:.............................................................23
1.1.4.4.Subconjuntopropio.................................................................................................................23
1.1.5.Operacionesentreconjuntos......................................................................................................24
1.1.5.1.Unin.......................................................................................................................................24
1.1.5.1.1.Caso1.Quelosconjuntosnotenganningnelementoencomn.(conjuntosdisyuntos).
...............................................................................................................................................................24
1.1.5.1.2.Caso2.Quelosconjuntostenganslounoselementosencomn.Subconjuntopropio
...............................................................................................................................................................25
1.1.5.1.3.Caso3.Queunconjuntoestecontenidoenelotro............................................................25
1.1.5.2.Interseccin..............................................................................................................................26
1.1.5.2.1.Caso1.Quelosconjuntosnotenganningnelementoencomn.(conjuntosdisyuntos).
...............................................................................................................................................................27
1.1.5.2.2.Caso2.Quelosconjuntostenganslounoselementosencomn...................................27
1.1.5.2.3.Caso3.Queunconjuntoestecontenidoenelotro............................................................28
1.1.5.3.Diferencia.................................................................................................................................29
1.1.5.3.1.Caso1.Quelosconjuntosnotenganningnelementoencomn.(conjuntosdisyuntos).
...............................................................................................................................................................30
1.1.5.3.2.Caso2.Quelosconjuntostenganslounoselementosencomn...................................30
1.1.5.3.3.Caso3.Queunconjuntoestecontenidoenelotro............................................................31
1.1.5.4.Diferenciasimtrica...............................................................................................................32
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
6
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.1.5.4.1.Caso1.Quelosconjuntosnotenganningnelementoencomn.(conjuntosdisyuntos).
...............................................................................................................................................................33
1.1.5.4.2.Caso2.Quelosconjuntostenganslounoselementosencomn...................................33
1.1.5.4.3.Caso3.Queunconjuntoestecontenidoenelotro............................................................34
1.1.5.5.Complemento..........................................................................................................................35
1.1.5.5.1.Caso1.Quelosconjuntosnotenganningnelementoencomn.(conjuntosdisyuntos).
...............................................................................................................................................................35
1.1.5.5.2.Caso2.Quelosconjuntostenganslounoselementosencomn...................................36
1.1.5.5.3.Caso3.Queunconjuntoestecontenidoenelotro............................................................36
1.1.5.6.ProductoCartesiano...............................................................................................................37
1.1.5.7.Algebradeconjuntos..............................................................................................................39
1.1.6.Principiodedualidad..................................................................................................................44
1.2.Captulo2:Principiosdelgica...................................................................................................48
1.2.1.Historiayclasificacindelalgica...........................................................................................49
1.2.1.LgicayLingstica...................................................................................................................51
1.2.1.ConectivosLgicos....................................................................................................................53
1.2.2.Clasificacindelasproposiciones.............................................................................................54
1.2.2.1.Proposicionessimples:............................................................................................................54
1.2.2.2.ProposicionesCompuestas......................................................................................................54
1.2.3.ConectivosLgicos....................................................................................................................56
1.2.3.1.Laconjuncin:...............................................................................................................56
1.2.3.2.Ladisyuncinv..................................................................................................................58
1.2.3.3.Lanegacin~...........................................................................................................................59
1.2.3.4.Elcondicional................................................................................................................59
1.2.3.5.Elbicondicional.............................................................................................................61
1.2.4.TablasdeverdadDefinicin.....................................................................................................62
1.2.4.1.Implicacindirecta,contraria,recprocaycontrarecproca..................................................66
1.2.5.Leyesdelalgica.......................................................................................................................67
1.2.5.1.Leyesdelalgebradeproposiciones........................................................................................69
1.2.5.2.Cuantificadores........................................................................................................................72
1.3.Captulo3Preliminaressobrelasproposiciones.........................................................................75
1.3.1.Proposicionescategricas..........................................................................................................75
1.3.2.ProposicinCategricaUniversalafirmativa...........................................................................75
Todoslosconductoresdeautomvilesquenosonsegurossonpersonastemerariasqueponenen
peligrolavidadelosdems................................................................................................................75
1.3.2.1.ProposicinCategricaUniversalnegativa...........................................................................77
..................................................................................................................................................................77
1.3.2.2.Proposicionescategricasafirmativaparticular....................................................................78
1.3.2.3.ProposicionescategricasNegativaparticular......................................................................79
1.3.3.Cualidadycantidaddelasproposicionescategricas..............................................................80
1.3.3.1.CualidadAfirmativaoNegativa:............................................................................................80
7
1.3.3.2.CantidadUniversaloParticulardecantidad:.........................................................................80
1.3.4.Proposicionescontrarias,decontingenicaysubcontrarias......................................................81
1.3.4.1.Proposicionescontradictorias.................................................................................................81
1.3.4.2.Proposicionescontrarias:........................................................................................................82
1.3.4.3.ProposicinContingente.........................................................................................................83
1.3.5.ProposicionesSubcontrarias......................................................................................................84
1.3.6.Simbologaydiagramasparaproposicionescategricas.........................................................85
1.3.7.Proposicionescategricas..........................................................................................................87
1.3.7.2.NingnSesP,o,NingnPesSsimbolizadasporSP=0yPS=0,respectivamente,la
representacingrficaenamboscasoses:..........................................................................................87
1.3.8.AlgnSesP,simbolizadaporSP 0,surepresentacingrficaes:.....................................88
1.4.Captulo4:Deduccin...................................................................................................................91
1.4.1.Silogismoscategricos...............................................................................................................95
1.4.2.Validezdeunargumento............................................................................................................99
1.4.2.1.Argumentodeductivo..............................................................................................................99
1.4.2.2.ArgumentoVlido...................................................................................................................99
1.4.2.3.Pruebaformaldevalidez.........................................................................................................99
1.4.3.Pruebadeinvalidez...................................................................................................................100
1.4.3.1.ArgumentoInvalido..............................................................................................................101
1.4.3.1.InferenciasLgicas................................................................................................................103
1.4.3.1.1.ModusPonens(M.P)..................................................................................................104
1.4.3.1.2.ModusTollens(M.T).......................................................................................................106
1.4.3.1.3.SilogismoHipottico(S:H)..............................................................................................106
1.4.3.1.4.Silogismodisyuntivo(S.D)...............................................................................................106
1.4.3.1.5.Dilemaconstructivo(D.C)...............................................................................................106
1.4.3.1.6.Absorcin(Abs).................................................................................................................107
1.4.3.1.7.Simplificacin(Simp.).......................................................................................................107
1.4.3.1.8.Conjuncin(Conj)...............................................................................................................107
1.4.3.1.9.Adicin(Ad.)......................................................................................................................107
1.4.1.Lademostracin........................................................................................................................117
1.4.1.1.Lademostracindirecta........................................................................................................117
1.4.1.1.Lademostracinindirecta.....................................................................................................118
1.4.1.2.Lademostracinporrecursin.............................................................................................118
1.4.1.3.Lademostracinporrefutacin............................................................................................120
1.4.1.3.1.Larefutacinporcontradiccin.........................................................................................120
1.4.1.3.2.Larefutacinporcontraejemplo........................................................................................120
1.5.Captulo5:Lainduccin.............................................................................................................122
1.5.1.Argumentosinductivos............................................................................................................124
1.5.2.Argumentoinductivoporanaloga........................................................................................125
1.5.3.Evaluacindelosargumentosanalgicos...............................................................................127
1.5.3.1.Nmerodeentidadesentrelasqueseestablecelaanaloga(AnalogaporEXPERIENCIA)
.............................................................................................................................................................127
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
8
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.5.3.2.Nmerodeaspectosenloscualeslascosasinvolucradassedicequesonanlogas
OBSERVACICN........................................................................................................................127
1.5.3.3.Lafuerzadelasconclusionesconrespectoasuspremisas.................................................128
1.5.4.Refutacinpormediodeunaanalogalgica........................................................................128
2.Unidad2.........................................................................................................................................131
2.1.Captulo1:AlgebraBooleanayCircuitosLgicos..................................................................133
2.1.1.Variablesyconstantesbooleanas............................................................................................134
2.1.2.AxiomasdelAlgebraBooleana...............................................................................................135
2.1.3.AlgebraBooleanaensistemasnumricos...............................................................................136
2.1.4.AlgebraBooleanadelosConjuntos........................................................................................137
2.1.5.AlgebraBooleanadelaLgica................................................................................................138
2.2.Captulo2:ExpresionesBooleanas............................................................................................141
2.2.1.ExpresionesBooleanasysuspropiedades..............................................................................141
2.2.2.FormaNormalDisyuntiva........................................................................................................142
2.2.3.FormaNormalConjuntiva.......................................................................................................146
F1(x,y,z)=(x+y+z)(x+y+z).Yaestasimplificada................................150
Captulo3.............................................................................................................................151
2.3.Captulo3:SimplificacindeExpresionesBooleanas..............................................................152
2.3.1.Mapasdekarnaughdedosvariables.......................................................................................152
AlsimplificarusandolosmapasdeK,debemosobtenerlasiguientesimplificacin,deducida
mediantelaspropiedadesdellgebrabooleana:..........................................................................155
4)SimplificacinusandolaspropiedadesdelosmapasdeKARNAUGH:...............................156
2.3.1.Mapasdekarnaughdetresvariables.......................................................................................159
2.3.2.MapasdeKarnaughdecuatrovariables..................................................................................163
2.4.Captulo4:DefinicinyRepresentacindelosCircuitosLgicos..........................................166
2.4.1.RepresentacindeloscircuitosLgicos................................................................................167
...............................................................................................................................................167
2.4.1.1.CircuitodeConjuncin.........................................................................................................169
2.4.1.2.CircuitodeDisyuncin.........................................................................................................170
2.4.1.3.CircuitodeNegacin.............................................................................................................171
2.4.2.OperacionesAritmticasconcircuitosLgicos......................................................................172
2.4.2.1.AdicinoSumaLgica.........................................................................................................172
2.4.2.2.MultiplicacinoProductoLgico........................................................................................172
2.4.2.3.ComplementacinoinversinLgica..................................................................................173
2.4.3.CorrespondenciaentreLgicaConjuntosAlgebrabooleanaylascompuertaslgicas......173
LGICA.........................................................................................................................................173
2.4.4.CompuertasNOR,NAND,XORyXNOR:............................................................................177
Ejemplo1...................................................................................................................180
Ejemplo2...................................................................................................................181
2.5.Captulo5:Aplicacionesdeloscircuitoslgicos......................................................................183
2.5.1.CircuitoAritmticoDigital......................................................................................................183
9
2.5.1.1.CircuitoSemisumador...........................................................................................................183
2.5.1.2.CircuitoSumador...................................................................................................................186
2.5.2.Controldeunaestacindecombustible..................................................................................188
S......................................................................................................................................................188
Y...................................................................................................................................188
Y...................................................................................................................................188
F......................................................................................................................................................193
SALIDA.........................................................................................................................................194
RESPUESTASAEJERCICIOSDEPROFUNDIZACINNo.5.............................................195
ANEXO..................................................................................................................................................197
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
10
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Unidad
Teoradeconjuntosy
principiosdeLgica.
11
Captulo :
Teoradeconjuntos
U
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
12
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.Unidad1
1.1.Captulo1Teoradeconjuntos
Objetivogeneral
Estudiar,analizaryprofundizarlosconceptosfundamentalesdelateoradeconjuntos,bsicosparallegarala
comprensindelosconectivoslgicosysurelacinconellenguajenatural,alavezquesonaplicadosenla
solucindeproblemas.
Objetivosespecficos
1.
2.
3.
4.
5.
Identificarlasrelacionesentreconjuntos.
Distinguirlasdiferentesclasesdeconjuntos.
Representargrficamentelosconjuntos.
Realizarlasdiferentesoperacionesentreconjuntos.
Resolverproblemasconconjuntos.
Definicinygeneralidades
Las nociones de conjunto y de elemento son ideas primitivas que se presentan en forma intuitiva. Los
conjuntos estn relacionados con el proceso de contar y por lo tanto permiten resolver problemas que
involucranelconceptodecantidad.
Sepuedeafirmarqueunconjuntoesunacoleccindeobjetos,smbolosoentidadesbiendefinidas,que
recibenelnombredemiembrosoelementosdelconjunto.
13
LeccinNo.1Representacingrficadelosconjuntos
1.1.1.Representacingrficadelosconjuntos
Unaformasencilladevisualizarlosconjuntosylasrelacionesentreellos,esmediantelautilizacinde
esquemasgrficosllamadoscirculosdeEulerodiagramasdeVenn.Estosesquemasestn
compuestosporunaregincerradadelplano(generalmenteunrectngulo),lacualrepresentaelconjunto
universal,yporunoovarioscrculosquerepresentanlosconjuntosagraficar.
Generalmente,losconjuntosseidentificanconletrasmaysculasysuselementosconminsculas.
Paraindicarqueunelementoesunmiembrodeunconjunto,seutilizael
smbolo(seleepertenecea)y
paraindicarquenoestaenelconjuntoseutilizaelsmbolo
(seleenopertenecea).
Estaeslarepresentacingrficacorrespondiente:
xA
x A
U
A
FiguraNo.1
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
14
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.2Formasparadeterminarunconjunto
1.1.1.Formasparadeterminarunconjunto
Bsicamenteexistendosformasparadeterminarunconjunto,stasson:
1.1.1.1.Porextensin
Unconjuntoestdeterminadoporextensincuandosedescribeelconjuntonombrandocadaunodesus
elementos.Porejemplo:
A={2,4,6,8}
B={0,1,2,3,4,5,6,7,8,9}
C={1,3,5,7,9,11,13,17,19,}
D={a,e,i,o,u}
1.1.1.2.Porcomprensin
Un conjunto est determinado por comprensin cuando se nombra una propiedad, una regla o una
caractersticacomnaloselementosdelconjunto.Porejemplo:
C={Nmerosimparesmenoresque10}
D={Vocales}
B={Dgitos}
Lenguaje:
E={xR/0x<9},enestecasoseutilizaunlenguajemuyespecfico,elcualseleeas:
Eigualalconjuntodetodoslosnmerosrealestalesque(oqueverificanque)cero(0)es
menoroigualax,y,xasuvezesmenorque9,estanotacinseusaconmuchafrecuenciapara
describirintervalos,paraescribirlasolucindeunainecuacinopararepresentareldominiodeunafuncin
real.
15
LeccinNo.3Conjuntosfinitos,infinitosyconjuntosespeciales
1.1.2.Conjuntosfinitos,infinitosyconjuntosespeciales
1.1.2.1.Conjuntosinfinitos
Existenconjuntoscomoporejemplo:
A={xR/0x<9}Z={xN/xespar}
Quenosepuedenexpresarporextensindebidoaquenuncaseterminaradeescribirlalistadelosnmeros
realesquepertenecenalconjuntoA,o,losnaturalesquepertenecenaZ,estetipodeconjuntos,recibenel
nombredeINFINITOS;
1.1.2.2.Conjuntosfinitos
Mientrasqueotros,comoporejemplo:
C={x/xesvocal}D={x/xesdgitopar}
Queestnformadosporciertonmerodeelementosdistintos,recibenelnombredeconjuntosFINITOS.
Todoslosconjuntosquesenombranporcomprensin,sepuedenescribirporextensin?
Elanlisisanterior,permitedarrespuestaaestapregunta,sesugierebuscarmsejemplosquejustifiquenla
respuestaparaqueseananalizadosconeltutoryluegosocializadosenlosequiposdetrabajo.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
16
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.1.3.Conjuntosespecia
1.1.3.1.ConjuntoVaco
Unconjuntoquecarecedeelementossedenominaconjuntovacoysesimbolizaas:
{}
A=
FiguraNo.2.
Naturalmenteelconjunto formapartedecualquierconjuntoA,porlocualsepuedeafirmarque:
A
Elconjunto(vaco)esunsubconjuntodetodoconjunto?
Ejemplo1.
SiD={xN/xx),obviamenteDesunconjuntoquecarecedeelementos,puestoquenoexiste
ningnnmeronaturalqueseadiferenteasmismo.
17
1.1.3.2.ConjuntoUnitario
Sedenominaconjuntounitarioalconjuntoformadoporunsloelemento.
A
A=ConjuntoUnitario
A={7}
FiguraNo.3
Ejemplo:
E={x/xesunprimopar}
Elniconmeroquecumplelasdoscondiciones(serprimoyalavezpar)eselnmero2,porlotantoE=
{2}sellamaunitario.
1.1.3.3.ConjuntoUniversal
Cuandosehablaosepiensaenlosconjuntos,esconvenienteestablecerlanaturalezadesuselementos,por
ejemplo:
LoselementosdelconjuntoA={a,e,i} pertenecenalconjuntodelasvocales,V={a,e,i,o,u},es
decir, A V,esteconjunto V constituyeeluniversodelconjunto A,porestaraznsediceque V esun
conjuntoUniversal.
o
a
U=ConjuntoUniversal
A={a,e,i}
U=V={a,e,i,o,u}
FiguraNo.4
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
18
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Similarmente,siA={xN/xesprimo}suselementossonelementosdelconjuntodelosnmeros
naturalesN,ANyenestecaso,Nseconstituyeenelconjuntouniversal.Generalmente,elconjunto
universalsesimbolizaconlaletraU.
1.1.3.4.Conjuntodepartesoconjuntodeconjuntos
SiAesunconjunto,elconjuntodepartesdeA,escritocomoP(A)estformadoportodoslossubconjuntos
quesepuedenformardelconjuntoA.
Ejemplo1.
SiA={1,3,5},entonceselconjuntodepartesdeAestaformadoporlossiguientessubconjuntos:
P(A)={{1},{3},{5},{1,3},{1,5},{3,5},{1,3,5},}.
P(A)y2 subconjuntos
n
Noteque:
Comoyahabamosanalizado,elconjuntovacoestentodoconjuntoyestecasonoeslaexcepcin,poresta
raznP(A).Adems,caveanotarqueloselementosdelconjuntoAsonasuvezconjuntos,porloque
sedicequeelconjuntoP(A)constituyeunafamiliadeconjuntos.
ElnmerodeelementosdelconjuntoP(A)dependedelnmerodeelementosdeA;enelejemplo,Atiene3
elementosy P(A) tiene 8=23 elementos,engeneral,Si A tienenelementossepuedenformar 2n
subconjuntosdelconjuntoA.
Cuntosyculessonlossubconjuntosquesepuedenformardeunconjunto
A={1,3,5}?
Ejemplo2.
Sea B={2,{1,3},4,{2,5}}. B noesunafamiliadeconjuntosporquealgunoselementosde B son
conjuntosyotrosno.ParaqueelconjuntoBfueraunconjuntodepartesounafamiliadeconjuntosdebera
estarexpresadodelasiguienteforma:
B={{2},{1,3},{4},{2,5}}.
19
LeccinNo.4Relacionesentreconjuntos
1.1.4.Relacionesentreconjuntos
1.1.4.1.Subconjuntos
UnconjuntoAesunsubconjuntodeunconjuntoB,sitodoelementodelconjuntoAtambineselementodel
conjuntoB.
Simblicamenteestarelacinseexpresaas:
AB(seleeAestacontenidoenB)
sitodoelementoxqueestenelconjuntoAentonces
xtambinestenB,esdecir;
ABsitodoxA,entoncesxB
B
A
AB
xA
xB
FiguraNo.5
Ejemplo1:
SiA={x/xesdgitopar}yB={x/xesdgito},claramenteAByaquetododgitopar
esdgito.Porextensinlasituacinseexpresaas:
A={2,4,6,8}yB={0,1,2,3,4,5,6,7,8,9}
EntoncesAesunsubconjuntodeB.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
20
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Unresultadomuytileimportanteacercadelacontenenciaentreconjuntoseselsiguiente:
Si A es un subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto de C;
simblicamenteesteenunciadoseescribeas:
SAByBC,entonces,AC
U
C
B
FiguraNo.6
AB
BC
______
AC
xA
xB
xC
Lademostracineslasiguiente:
SxA;entoncesxBporqueAB,peroxtambinestaennporque
BC;porlotantosixA,entoncesxCyestosecumpleparatodoelementoxqueestenA,debido
aqueelconjuntoAestacontenidoenelconjunto B y B asuvez,estacontenidoen C;porconsiguiente
quedademostradoqueA C.
SiA,ByCsontresconjuntosnovacosqueverificanlascondicionesAByBC,qusepuede
concluirdeAconrespectoaC?
21
1.1.4.2.Igualdadentreconjuntos
ElconjuntoA esigualalconjuntoB siambosconjuntostienenlosmismoselementos,es
decir,sitodosloselementosdeApertenecenaBysitodosloselementosdeBpertenecen
alconjuntoA.Laigualdadentreconjuntossesimbolizadelasiguienteforma:
A=BsiAByBA
U
A
1
2
3
4
5
AB
BA
______
B=A
FiguraNo.7.
Ejemplo1.
SiM={1,1,0,2}yN={2,1,0,1},claramenteseobservaqueMNyqueNM,porlotanto
M=N.
Ejemplo2.
SiA={x/xesdgito}yB={x/xesdgitopar},sepuedeobservarqueBAperoAB,
porlotantoelconjuntoAnoesigualalconjuntoB,locualseescribe,A B.
A 9 B
1
2 4
5
3
8
6
7
BA
AB
______
AB
FiguraNo.8
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
22
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.1.4.3.ConjuntosCompletamenteDiferentesoDisyuntos:
Esimportantedestacarquecuandodosconjuntossoncompletamentediferentes(notienenningnelemento
encomn)recibenelnombredeconjuntosdisyuntos.
B
7
ABy
BAynohay
elementos
FiguraNo.9.
Ejemplo3.
LosconjuntosA={x/xesdgitopar}yB={x/xesdgitoimpar}notienenningnelementoen
comn,esdecirAyBsondisyuntos.
1.1.4.4.Subconjuntopropio
Todoconjuntoessubconjuntodesmismo,esdecir,AA(conAunconjuntocualquiera),siesesubconjunto
sellamaB,entoncessepuedeafirmarqueBesunsubconjuntopropiodeA,estehechosesimbolizaas:
23
LeccinNo.5Operacionesentreconjuntos
1.1.5.Operacionesentreconjuntos
Ascomolasoperacionessuma,resta,multiplicacinydivisinestndefinidassobrelosnmerosreales,
tambin existen operaciones definidas entre los conjuntos como la unin, interseccin, complemento,
diferencia,diferenciasimtricayproductocartesiano;stasseestudiarnenlassiguientessecciones.
1.1.5.1.Unin
Si A y B sondosconjuntosnovacos,sedefinelauninentre A y B comoelconjuntodetodoslos
elementosquepertenecenalconjuntoAoalconjuntoB.
Simblicamentelauninsedefineas:
AUB={x/xA,v,xB},dondeelsmbolovseleeo.
Pararepresentargrficamenteunaoperacinentreconjuntos,sedebetenerencuentalarelacinqueexista
entreellos,segnlossiguientescasos:
1.1.5.1.1.Caso 1. Que los conjuntos no tengan ningn elemento en
comn.(conjuntosdisyuntos).
LapartesubrayadarepresentalauninentrelosconjuntosAyB.
3 2
1 4
AUB
FiguraNo.10.
6 7
9
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4}
B={5,6,7}
AUB={1,2,3,4,5,6,7}
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
24
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.1.5.1.2. Caso2. Quelosconjuntostenganslounoselementosen
comn.Subconjuntopropio
U
3
6
14 5
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6}
B={5,6,7}
AUB=
{1,2,3,4,5,6,7}
FiguraNo.11
1.1.5.1.3.Caso3.Queunconjuntoestecontenidoenelotro.
lapartesombreadaindicalaoperacin.
3
1
FiguraNo.12
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6,7}
B={5,6,7}
AUB=
{1,2,3,4,5,6,7}
25
Ejemplo1.
SiA={xN/xesdgitoparodgitoprimo},grficamentelarepresentacindeestunines:
3 7
15 2
6
4
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,5,7,9}
B={2,4,6,8}
AUB=
{1,2,3,4,5,6,7,8,9}
FiguraNo.13
LafiguraNo.3permiteapreciarqueelnicodgitoqueesalavezparyprimoeselnmero2;estoconllevaa
laformulacindelasiguienteoperacinentreconjuntos:
1.1.5.2.Interseccin
SedefinelainterseccinentredosconjuntosAyBcomoelconjuntoformadoportodosloselementosque
pertenecensimultneamentealconjuntoAyalconjuntoB.
Simblicamentelainterseccinseexpresaas:
AB={x/xA, ,xB}
elsmboloseleeinterseccinyelsmboloseleey.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
26
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
comn.(conjuntosdisyuntos).
LapartesubrayadarepresentalauninentrelosconjuntosAyB.
1 4
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4}
B={5,6,7}
6 7
9
AB={}
FiguraNo.14.
Sepuedeobservarquecuandodosconjuntossondiferentes,suinterseccinesvacaylosconjuntosse
llamandisyuntos,comoyasehabamencionado;
1.1.5.2.2.Caso 2. Que los conjuntos tengan slo unos elementos en
comn.
U
3 2 6
1 4 5
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6}
B={5,6,7}
AB={5,6}
FiguraNo.15
27
1.1.5.2.3.Caso3.Queunconjuntoestecontenidoenelotro.
Lapartesombreadaindicalaoperacin:
3
1
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6,7}
B={5,6,7}
AB={5,6,7}=B
FiguraNo.16
EstopermiteafirmarquesiAB,entonces.AB=A;anlogamentesepuedeinferirquesiBA,
entonces,AB=B.
Acontinuacinserealizalademostracinanalticaparaelcaso3delafiguraNo.16,laotrasituacinsiB
A,entonces,AB=B,sedejacomoejerciciocomplementario(seencuentraalfinaldelcaptulo),esta
demostracinesmuysimilaralaqueseharacontinuacin,sinembargolapuedeconsultarenellibro,
TeoradeconjuntosdeSeymourLipschutz.
Si A B,pordefinicindecontenenciaentreconjuntossepuedeafirmarquetodoelemento x A,
entoncesxB;pordefinicindeinterseccin,stoselementos x formanelconjunto ABycomo
todosestossonelementosdeA,sepuedeconcluirqueAB=A.
Ejemplo1.
Dadoslosconjuntos:
M={xN/xesmltiplode2}
N={xN/xesmltiplode3}
P={xN/xesimpar}
Sepuedenanalizarlassiguientesintersecciones:
1.
MN={6,12,18,24,36,},escritoporcomprensines:
MN={xN/xesmltiplode6}.
2.
3.
MP=,noexisteningnnmeronaturalqueseamltiplode2yalavezimpar.
M=,Elconjuntovacoestcontenidoencualquierconjunto,enparticularenM,estoes
M,luegosepuedeconcluirqueM=.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
28
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
4.
ParahallarlainterseccinMNP,sepuedeencontrarlainterseccindeMconNyluegocon
elconjuntoP,esdecir,hayqueencontrarloselementosqueestnenlostresconjuntos:M,NyP.
U=
M=
N=
MN=
MP=
M N P =
FiguraNo.17
1.1.5.3.Diferencia
Segnlostrescasosestudiados,sepuedeafirmarquealcomparardosconjuntosnovacos,puedesuceder
que:
1.
2.
3.
4.
Notenganningnelementoencomn,(conjuntostotalmentediferentes).
Slo algunos elementos sean comunes, (conjuntos parcialmente diferentes o parcialmente
iguales)
Unconjuntoestecontenidoenelotro.
Tenganexactamentelosmismoselementos,(conjuntosiguales)
Enlosnumerales1,2y3,sepuedeformarunconjuntoconloselementosquelefaltanaunconjuntopara
serigualaotro,esteconjuntoasformado,sedenominadiferenciaentreconjuntos.
SiAyBsondosconjuntosnovacos,entoncessedefineladiferenciaentreAyBas:
AB={x/xA,,xB}
29
Estoselee:AmenosB,eselconjuntoformadoporloselementosqueestnenelconjuntoAperonoenel
B.
Enlasiguientesgrficas,lapartesombreadarepresentaladiferenciaentrelosconjuntosAyB.
1.1.5.3.1.Caso 1. Que los conjuntos no tengan ningn elemento en
comn.(conjuntosdisyuntos).
A
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4}
B={5,6,7}
1 4
6 7
AB=A={1,2,3,4}
BA=B={5,6,7}
FiguraNo.18.
Sepuedeobservarquecuandodosconjuntossondiferentes,sudiferenciaesvacaylosconjuntossellaman
disyuntos,comoyasehabamencionado;
1.1.5.3.2.Caso 2. Que los conjuntos tengan slo unos elementos en
comn.
U
2 6
3
14 5
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6}
B={5,6,7}
AB={1,2,3,4}
FiguraNo.19
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
30
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.1.5.3.3.Caso3.Queunconjuntoestecontenidoenelotro.
Lapartesombreadaindicalaoperacin.
2B
3 6 7
14 5
FiguraNo.20
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6,7}
B={5,6,7}
AB={1,2,3,4}
BA={}
Enlafigura20,sepuedeobservarquetodosloselementosqueestnenB,estnenA(debidoaqueB
A),porlotantonoexisteningnelementoquepertenezcaaladiferenciaBAyenconsecuenciaBA
=.Surgeahora,lasiguienteinquietud:
CulserladiferenciaentreAyB(AB)cuandoBA?
Estapreguntaseplanteaformalmenteenelnumeral 4 delosejercicioscomplementariosyelpropsitoes
realizarlademostracinconelapoyodeltutor.
31
Ejemplo1.
DadoslosconjuntosA={x/xesundgito}yB={0,2,3,7}hallarAB yBA yhacerla
representacingrfica.
Paraefectuarestasoperacionesseescribenlosconjuntosporextensin,as:
A={0,1,2,3,4,5,6,7,8,9}yB={0,2,3,7},entonces:
AB={1,4,5,6,8,9}yBA=,
5B
9 8
7
2 0
U={0,1,2,3,4,5,6,7,8,9}
A={0,1,2,3,4,5,6,7,8,9}
B={0,2,3,7}
AB={1,4,5,6,8,9}
BA={}
FiguraNo.21
1.1.5.4.Diferenciasimtrica
Sedefineladiferenciasimtricaentredosconjuntosnovacos A y B,comoelconjuntoformadoporlos
elementosquepertenecenalconjunto A oalconjunto B,peronopertenecensimultneamenteaambos
conjuntos.
SimblicamenteladiferenciasimtricaentreAyBseescribeas:
AB={x/xA,v,xB,,xAB}.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
32
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Enlasiguientesgrficas,lapartesombreadarepresentaladiferenciasimtricaentrelosconjuntosAyB.
1.1.5.4.1.Caso 1. Que los conjuntos no tengan ningn elemento en
comn.(conjuntosdisyuntos).
A
1 4
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4}
B={5,6,7}
6 7
9
AB={1,2,3,4,5,6,7}
BA={1,2,3,4,5,6,7}
FiguraNo.22.
Sepuedeobservarquecuandodosconjuntossondiferentes,suinterseesvacaylosconjuntossellaman
disyuntos.
comn.
U
6
3
14 5
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6}
B={5,6,7}
AB={1,2,3,4,7}
BA={1,2,3,4,7}
FiguraNo.23
33
1.1.5.4.3.Caso3.Queunconjuntoestecontenidoenelotro.
Lapartesombreadaindicalaoperacin.
2 6
3
1 4
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6,7}
B={5,6,7}
AB={1,2,3,4}
BA={1,2,3,4}
FiguraNo.24
Ejemplo1.
SiA={x/xesunaletradelapalabraINGENIERIA}yB={x/xesunaletradela
palabraSISTEMAS},entoncesAB={N,G,R,M,S,T}.
Ejerciciopropuesto:
RepresentaelejemploanteriormediantediagramasdeVenn
U
=
A=
B=
AB=
AB=
AUB=
FiguraNo.25
Ejemplo2.
DadoslosconjuntosM={1,2,3,4}yN={4,5},ladiferenciasimtricaentreMyNes:
M N={1,2,3,5}, claramentesepuedeobservarqueelnmero4,nopertenecealadiferencia
simtricaporqueformapartedelainterseccinentreMyN.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
34
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejerciciopropuesto:
RepresentaelejemploanteriormediantediagramasdeVenn
U
=
A=
B=
AB=
AB=
AUB=
FiguraNo.26
1.1.5.5.Complemento
SiAesunconjuntonovaco,elcomplementodeA,simbolizadoporA,estformadoportodoslos
elementosquenopertenecenalconjuntoA,esdecir,
A=Ac=A*=~A=A= A ={x/x A}
Enlasiguientesgrficas,lapartesombreadarepresentaelcomplementodelconjuntoA.
1.1.5.5.1.Caso 1. Que los conjuntos no tengan ningn elemento en
comn.(conjuntosdisyuntos).
A
1 4
6 7
9
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4}
B={5,6,7}
A={5,6,7,8,9}
FiguraNo.27.
35
comn
U
6
3
14 5
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6}
B={5,6,7}
A={7,8,9}
FiguraNo.28
1.1.5.5.3.Caso3.Queunconjuntoestecontenidoenelotro.
Lapartesombreadaindicalaoperacin.
AA
B
2
3
6
8
9
U={1,2,3,4,5,6,7,8,9}
A={1,2,3,4,5,6,7}
B={5,6,7}
A={8,9}
Ejemplo1.
AlconsiderarelconjuntouniversalcomoelconjuntodelosestudiantesdeIngenieradesistemasdelaUNAD
yAcomoelconjuntodelosestudiantesqueestnenelprimersemestre,elcomplementodelconjuntoA(A)
serelconjuntoformadoportodoslosestudiantesdeingenieradesistemasdelaUNADquenocursan
primersemestre,estoes:
U={xUNAD/xestudiaingenieradesistemas}.
A={xIngenieradesistemas/xPrimersemestre}.
A={xIngenieradesistemas/xPrimersemestre}.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
36
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.1.5.6.ProductoCartesiano
Parordenadooparejaordenada:
La expresin (x , y ) representa una pareja ordenada , que cumple la condicin de que su primera
componente,(x)pertenecealconjuntoAylasegundacomponente(y)pertenecealconjuntoB.
Planocartesiano:
Losparesordenados(x,y),(x,y),(x,y),(x,y)serepresentanenelplanocartesianocomosigue:
Y
(x,y)
x
(y,x)
(x,y)
x
(x,y)
FiguraNo.30
ProductoCartesiano:
SiAyBsondosconjuntosnovacos,sedefineelproductocartesianoentreAyBas:
AXB={(x,y)/xA,,yB}.
Ejemplo1.
SiA={1,2,3}yB={1,0,2}elproductocartesianodeAXBes:
AXB={(1,1),(1,0),(1,2),(2,1),(2,0),(2,2),(3,1),(3,0),(3,2)}yelproductodeBXAes
BXA={(1,1),(1,2),(1,3),(0,1),(0,2),(0,3),(2,1),(2,2),(2,3)}
Dedondeseobservaqueelproductocruznoesconmutativo,esdecir:
AxB BxA
37
SepuedeobservarqueelproductocartesianoentreAyBnoesconmutativo,puestoquelaparejaordenada
(x,y)esdiferentealaparejaordenada(y,x),enparticular,(1,1)esdiferentea(1,1)y(1,1)esdiferentea
(1,1).
Lasiguientegrficamuestraladiferencia.
Y
(1,1)
1
(1,1)
(1,1)
1
1
(1,1)
FiguraNo.31
Ejerciciopropuesto:
Realizaelsiguienteproductocartesianoyluegoubicalosparesordenadosenelplanocartesiano: Si A=
{2,3}yB={1,2}AxBes:
FiguraNo.32
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
38
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.6lgebradeconjuntos
1.1.5.7.Algebradeconjuntos
Propiedadesdelasoperacionesentreconjuntos
Lassiguientescuatropropiedades,sonvlidasparalasoperacionesdeunineinterseccin:
a. Leyesdeidempotencia:
AUA=A
AA=A
b)Leyesasociativas:
(AUB)UC=AU(BUC)
(AB)C=A(BC)
b. Leyesconmutativas:
AUB=BUA
AB=BA
d) Leyesdistributivas:
AU(BC)=(AUB)(AUC)
A(BUC)=(AB)U(AC)
LassiguientespropiedadesestnrelacionadasconlosconjuntosUniversalUyvaco:
e) Leyesdeidentidad:
AUU=U
AU=A
AU=A
A=
Propiedadesconrespectoalcomplemento.
f) Leyesdelcomplemento:
AUA'=U
(A')'=A
AA'=
'=U
g) LeyesdeDMorgan:
(AUB)'=A'B'
(AB)'=A'UB'
39
Estasleyessepuedenrepresentargrficamentedelasiguienteforma:
a) Leyesdeidempotencia:
AUA=A
AA=A
QuobtenemosdeinterceptarelconjuntoAconlmismo?
QupasasiunimosAconA?:
U
A
A
A
A
U
A
A
A
U
A
A
A
FiguraNo.33
AUU=U
AU=A
b) Leyesdeidentidad:
AU=A
A=
QuseobtienedeunirelconjuntoAconeluniverso?:
FiguraNo.34
QuseobtienedeunirelconjuntoAconelvaco?:
U
FiguraNo.35
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
40
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
QutienenencomnAyeluniverso?
U
A
FiguraNo.36
QutienenencomnAyelvaco?:
FiguraNo.37
c) Leyesdelcomplemento:
AUA'=U
AA'
(A')'=A
'
QuseobtienedeunirAconloquenoesA?
=
=U
=
FiguraNo.38
41
QutienencomnAconloquenoesA?
FiguraNo.39
d) LeyesdeDMorgan:
(AUB)'=A'B'
(AB)'=A'UB'
Lademostracingrficade(AUB)'=A'B'eslasiguiente:
2 6
3
14 5
7
9
2 6
3
1 4 5
7
9
(AUB)
AUB
Ashemosencontradoelreaquerepresentaalaprimerapartedelaigualdad,ahorarepresentamos
lasegundaparte,seesperaquelosresultadosseaniguales:
2
3 6 7
14 5
A
2
3 6 7
14 5
2
3 6 7
14 5
FiguraNo.40
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
42
A'B'
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejerciciopropuesto:
RealizalademostracingrficadelteoremadeDMorganpara:(AB)'=A'UB'paraellosubraya
elreacorrespondiente.
Primeraparte
2
3 6 7
14 5
32 6 7
14 5
______
U
2
3 6 7
14 5
26
3
7
14 5
____
U
______
____
_______
26
7
3
14 5
2
3 6 7
14 5
_______
FiguraNo.41
Lasanterioresleyesestnformuladasporpares,locualverificalanaturalezadualdelateoradeconjuntos.
Ejerciciopropuesto:
SimplificaraplicandolasleyesdelAlgebradeconjuntos:
1) ((AB)')
2) (A)(((B)'))
3)(A'UA')UB'
4)(A)'
5) (A)'
SegundapartedelaigualdadA'UB':
6)(AU)'
7) (AA)'U(A'UA')
8) (AUA)'
9) (AA)'UA'
10)((A)UU)'A'
43
1.1.6.Principiodedualidad
Siseintercambianlasoperacionesunin(U)porinterseccin(),comotambinelconjuntouniversal(U)
por el conjunto vaco (), en cualquier razonamiento sobre conjuntos, el enunciado resultante se llama
DUALdelprimero.
Ejemplo1.
Demostrarqueeldualde;
(UUB)(AU)=Aes:
(B)U(AU)=A
Tomandolaprimeraparteyporlasleyesdeidentidadsetieneque:
(UUB)(AU)
UA=A
Ahora,considerandolasegundaynuevamenteaplicandolasleyesdeidentidadsetieneque:
(B)U(AU)
UA=A
Conlocualquedademostrado.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
44
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo2.
Demostrarqueeldualde
(AB)U(AB')=Aes
(AUB)(AUB')= A
Enestecasosepuedehacerlademostracinenformagrficaas:
i) Laprimerapartesepuederepresentardelasiguienteforma:
32 6 7
14 5
326 7
14 5
326 7
14 5
2
3 6 7
14 5
(AB)
9
U
AB'
2
3 6 7
14 5
(AB')
9
=
26
3
7
14 5
figuraNo.42primeraparte
45
Segundaparte:(AUB)(AUB')= A
i)Lasegundapartesepuederepresentardelasiguienteforma:
2
3 6 7
14 5
2
3 6 7
14 5
A
U
32 6 7
14 5
2
3 6 7
14 5
(AUB)
AUB
32 6 7
14 5
32 6 7
14 5
AUB =
9
A
FiguraNo.43segundaparte(AUB) (AUB')= A
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
46
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Captulo2
Principiosdelgica.
y
o
No
Sientonces
Syslosi
v
~
47
1.2.Captulo2:Principiosdelgica
Objetivogeneral
Establecerelvalordeverdaddemuchosdelosenunciadoslgicos,utilizandolasleyesdelalgicaylasde
lasinferencias,yaseaparadeterminarlaconclusin,oparadeterminarlaconsistenciainternadeun
razonamiento.
Utilizarlasdiferentesleyesdelalgicaconelfindeobtenerprecisin,claridadygeneralidadendiferentes
razonamientos.
Objetivosespecficos
1.
2.
3.
4.
5.
6.
7.
Conocerlahistoriadelalgicaysuclasificacin.
Establecerlarelacinentrelgicaylingstica.
Aprenderlosconectivoslgicos:disyuncin,conjuncin,negacin,implicacinyequivalencia.
Elaborarlatabladeverdaddeenunciadosoexpresioneslgicas.
Aplicarlasleyesdellgebradeproposicionespararealizardemostraciones.
Determinarlaconclusindeungrupodepremisasutilizandolasinferenciaslgicas.
Definirydiferenciarconceptostalescomorazonamiento,demostracinyargumento.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
48
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.7Historiayclasificacindelalgica
1.2.1.Historiayclasificacindelalgica
Etimolgicamentelalgicaeslacienciadellogos.Originalmentelogossignificapalabraodiscurso,porlo
queenunprincipiosedefinilalgicacomolaramadelagramticaqueseocupabadeciertasformasde
lenguaje.
Comolapalabraeslaexpresin,omanifestacindelpensamientoyelpensamientoracionaleslabasedela
filosofa,puededecirseengeneral,quelalgicaeslacienciadelpensamientoracional;esdeaclararquela
lgicanoseocupadelcontenidodelospensamientossinodelamaneraoformadelospensamientos.
Enrespuestaalanecesidaddeconstruirargumentos,paradefenderorefutarpensamientosdelosdems,
Aristteles,consideradoporlosgriegos.Elpadredelalgica,creomtodossistemticosparaanalizary
evaluardichosargumentos,paralocualdesarrolllalgicaproposicionalestableciendoprocedimientospara
determinarlaverdadofalsedaddeproposicionescompuestas.
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica clsica,
planteandoqueladependencialgicaentreproposicionesesdemostrada,reduciendoargumentoscomplejos
ensimples,paralocualpropusorepresentarelconocimiento,enunaformaquepudieraserusadoporun
razonamientomecnicoyasteesquema(lgicasimblica)lollamunacaractersticauniversal.
ElprocesodelalgicacontinuenelsigloXIX.En1847elmatemticoinglsGeorgeBooleencompaa
de AugustusdeMorgan hizonotarelparentescoentrelasoperacioneslgicasconlasmatemticas,
puesapartirdelosoperadoresaritmticosdeadicin,multiplicacinysustraccincrearonlosoperadores
lgicosequivalentesdeunin,interseccinynegacin;ademsformularonlosprincipiosdelrazonamiento
simblicoyelanlisislgico.ABooleseleatribuyelainvencindelastablasdeverdadparacomprobarla
veracidaddeproposicionescompuestas.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra Principio
Matemtico,quienescodificaronlalgicasimblicaensupresenteformadefinindolacomolaCienciade
todaslasoperaciones conceptualesposibles,porestaraznlafundacindelalgicaformal
modernaseleatribuyeaellos.
49
Clasificacindelalgica
Lalgicasepuedeclasificarcomo:
1. Lgicatradicionalonoformal.
2. Lgicasimblicaoformal.
Enlalgicatradicionalseconsideranlosprocesospsicobiolgicosdelpensamientolgico,ylosmtodosde
inferenciaqueestnrelacionadosconladestrezaparainterpretarydistinguirelrazonamientocorrectodel
incorrecto;sepuedeconsiderarque la lgicano formal resumelasexperienciashumanasobtenidasdel
conocimientoydelaobservacindelmundocircundante.
Lalgicacomocienciaconstituyelalgicaformalosimblica,lacualseencargadeinvestigar,desarrollary
establecerlosprincipiosfundamentalesquesiguenlavalidezdelainferencia;esconsideradacomounodelos
sistemasmedianteelcualsellegaaformaspurasyrigurosas.Enelpensamientosimblico,laspalabrasse
manipulan,segnlasreglasestablecidas,comosifueransimplessignossinpreocuparseporsusentido.
Conceptualizacin
Lalgicaofrecemtodosqueenseancmoformarproposiciones,evaluarsusvaloresdeverdadydeterminar
siunasconclusionessepuedendeducircorrectamenteapartirdeproposicionessupuestas;adems,lalgica
esunacienciaqueseinteresaporlasrelacionesexistentesentrelasproposiciones,conelfindeobtener
precisin,claridadygeneralidadenlosrazonamientos.
Laprecisinlalogramedianteelusodesmbolos,loscualestienencomofuncinprimordialeliminarlas
ambigedadesquelaestructuradellenguajeordinarionopuedeevitarconfacilidad.
Laclaridadygeneralidad,laconsigueenlamedidaenqueelusuariosefamiliarizaconloselementosbsicos
deunargumentolgico,tantoensurepresentacinsimblicacomoensusignificadoparaluegoestablecerun
lenguajesimblicoartificial,quelepermitasimplificarargumentoslgicoscomplicados;deestamanera,el
smbolopermiteconcentracinsobreloesencialdeuncontextodado,incrementandolafiabilidadconquese
aplicaelconocimiento.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
50
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.8Lgicaylingstica
1.2.1.LgicayLingstica
Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes: los lenguajes
naturalesyloslenguajesformalesoartificiales.
Loslenguajesnaturalesnoseestablecieronatravsdeningunateora,entreellosestnelcastellano,el
francsyelingls.Lasteorasygramticasdelenguajesnaturales,fueronestablecidasaposteriori,esdecir
despusdequeellenguajeyahabamadurado.
Loslenguajesformalescomolasmatemticasylalgica,fuerondesarrollados,generalmente,apartirdel
establecimientodeunateora,lacualdalasbasesparaqueatravsdedichoslenguajessepuedadesarrollar
lamismateora.
Loslenguajesnaturalesyformalestienenpuntosencomn,enprincipio,setienelaexistenciadeunconjunto
finitollamadoalfabeto,elcualestaconstituidodesmbolossimplesllamadoscomnmenteletras.Enlos
lenguajesnaturalessetienencomoejemploslosalfabetos:latino,griegoyrabepersa,entreotros.Enlos
formalescomolalgicasetieneellxicodelclculoproposicionalydepredicados.
Mediantelaconcatenacindelasletrasdelalfabetoseformanlosmonemas,fonemasopalabrasquese
encuentranenelinteriordeunenunciado,detalformaqueunlenguajeseconsideracomounconjuntoinfinito
deoracionesoenunciadosqueseformanconpalabrasdeldiccionario.
En los sistemas formales los enunciados del lenguaje consisten en una lista de smbolos, (lgicos o
matemticos)sujetosadiversasinterpretaciones.Enunlenguajeformal,laspalabrasylasoracionesestn
perfectamentedefinidas,unapalabramantieneelmismosignificadoprescindiendodelcontextoodesuuso.
Loslenguajesformalesson,poresto,necesariamenteexentosdecualquiercomponentesemnticofuerade
susoperadoresyrelaciones,yesgraciasaestaausenciadesignificadoespecial,queloslenguajesformales
puedenserusadosparamodelarunateoradelaingenieradesistemas,mecnica,elctrica,entreotras.
51
Lalgicautilizaunlenguajeexactoquenodalugaraimprecisiones,paratalfintomacomoelementobsico
deanlisisalaproposicin,quenoesotracosaqueunaoracindellenguajecotidianoconunsignificado
mucho ms limitado, en tales condiciones, se puede considerar una proposicin como una excepcin
lingsticaquetienelapropiedaddeserverdaderaofalsa,yparasimplificarlaescrituradeargumentoslgicos
complicados;creaunlenguajesimblicoartificial,endondeestableceunconjuntodereglasclaras,bien
definidasyquenopresentanlasambigedadesnivaguedadesdellenguajecorriente.
Esimportantetenerencuentaquelasproposicionesrepresentanoracionesdeclarativas,lascualescontienen
unsujetoperfectamentedefinidoodadoporelcontexto,unpredicadoyunaconjugacindelverboser.
Lasproposicionesserepresentansimblicamentemedianteelusodeletrasminsculasdelalfabetotales
como p,q,r,s,...,x,y,z,lascualesrecibenelnombredeletrasovariablesproposicionales,deesta
forma,ellenguajeproposicionalsehacemssimpleyexactoqueellenguajenatural.
Lossiguientesejemplosilustrancmosepuedensimbolizarlasproposiciones:
p:Hoyessbado.
q:Estudioingenieradesistemas.
r:NewYorkesllamadalacapitaldelmundo.
s:1noesunnmeroprimo.
x:4+3=10.
Esdecir,sepuedeestablecerunarelacinbiunvocaentreellenguajenaturalyellenguajeformal.Estas
proposicionesgeneralmentesellamanfrases.
Enellenguajecotidianoseencuentranexpresionescomoporejemplo:
Lasrosassonrojasytienenespinas.
LaseleccinColombiaganoperdi?
Enelpasnohayviolencia.
Siestudiolgicamatemticaentoncesserundestacadoingenierodesistemas.
4esunnmeroparsiyslosisepuededividirpor2.
Estasexpresionessedenominanoracionesyparasuformacinseutilizaronlasletras y,o,no,si
entonces,syslosi,quesirvieronparauniroenlazarlosenunciados.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
52
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.9ConectivosLgicos
1.2.1.ConectivosLgicos
EstostrminosdeenlacerecibenelnombredeConectivoslgicosyaligualquealasproposiciones,
tambinselesasignanunlenguajesimblico,as:
LENGUAJENATURAL
LENGUAJEFORMAL
No
Sientonces
Syslosi
Vemosvariosejemplosdenotacinsimblicadelasproposiciones:
p:Lasrosassonrojas.
q:Lasrosastienenespinas.
P q: Lasrosassonrojasytienenespinas.
r:LaseleccinColombiagan?.
s:LaseleccinColombiaperdi?.
rvs:LaseleccinColombiaganoperdi?.
53
t:Enelpashayviolencia.
~t:Enelpasnohayviolencia.
x:Estudiolgicamatemtica
y:Serundestacadoingenierodesistemas
xy:Siestudiolgicamatemticaserundestacadoingenierodesistemas.
u:4esunnmeropar.
v:4esdivisiblepor2.
uv:4esunnmeroparsiyslosiesdivisiblepor2.
1.2.2.Clasificacindelasproposiciones
Enlgicaseconsideranysesimbolizandosclasesdeproposiciones:atmicasosimplesymoleculareso
compuestas,veamos:
1.2.2.1.Proposicionessimples:
Sedenominanproposicionessimplesaquellasoracionesquenoutilizanconectivoslgicos.
Estossonalgunosejemplos:
p:Eleclipseesunfenmenonatural.
q:Lalunaesunsatlitedelatierra.
r:2eselinversomultiplicativode2.
s:3eselinversoaditivode3.
Elvalordeverdaddeunaproposicinsimplepuedeserverdadero(V)ofalso(F),peronolosdosvaloresal
mismotiempo,puesdejaradeserproposicin.
1.2.2.2.ProposicionesCompuestas
Lasproposicionescompuestassonaquellasqueseobtienencombinandodosomsproposicionessimples
mediantetrminosdeenlace.
Estossonalgunosejemplosdeproposicionescompuestas:
p:Estlloviendo.
q:Elsolbrilla.
p q:Estlloviendoyelsolbrilla.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
54
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
x:Quierescaf?.
y:Quierest?.
xvy:quierescafot?.
s:Llueve.
r:Hacefro.
sr:Sillueveentonceshacefro.
p:Untringuloesequiltero.
q:Untringulotienesustresladosiguales.
pq:Untringuloesequilterosiyslositienesustresladosiguales.
Laveracidadofalsedaddeunaproposicincompuesta,dependedelvalordeverdaddecadaunadelas
proposicionessimplesquelaconformanydelaformacomoestncombinadas;paraestablecerestevalor,se
fijancriteriosqueseestudiarnenlasprximasseccionesdeestecaptulo.
55
1.2.3.ConectivosLgicos
Como yasedijoenlaseccinanterior,lossmbolosquesirvenparaenlazardosomsproposiciones
simples,sellamanconectivoslgicos,estosson:laconjuncin,ladisyuncin,lanegacin,elcondicionalyel
bicondicional.
1.2.3.1.Laconjuncin:
Seanpyqdosproposicionessimples.Laproposicincompuestapyqsimbolizada
por
p q,sedenominalaconjuncindepyq.
Ejemplosdeconjuncin:
Ejemplo1
Laproposicincompuestar s:6esnmeroparyenteropositivo,estformadapor:
r:6esunnmeropar.
:y
s:enteropositivo.
Ejemplo2
p q:Terminodeescribirmiprogramadecomputacinyluegojugartenis
p:Terminodeescribirmiprogramadecomputacin.
:y
q:jugartenis.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
56
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Paraestablecerelvalordeverdaddelaconjuncin,surgenlassiguientesposibilidades:
1.
2.
3.
4.
Quepyqseanverdaderas.
Quepseaverdaderayqseafalsa.
Quepseafalsayqverdadera.
Quepyqseanfalsas.
Acontinuacinseanalizanestasposibilidadesparaelejemplo1,elanlisisdelejemplo2sedejacomo
ejercicio.
1. r:Verdadera.6esunnmeropar.
s:Verdadera.6esunenteropositivo.
r s:Verdadera(V)
2. r:Verdadera.6esunnmeropar.
s:Falsa.6noesunenteropositivo.
r s:Falsa(F).
3. r:Falsa.6noesunnmeropar.
s:Verdadera.6esunenteropositivo.
r s:Falsa(F).
4r:Falsa.6noesunnmeropar.
s:Falsa.6noesunenteropositivo.
r s:Falsa(F).
57
1.2.3.2.Ladisyuncinv
Seanpyqdosproposicionessimples.Laproposicinpoq,simbolizadapvqsellamadisyuncindepy
q.
Eloperadorosepuedeusardedosformas:comooincluyenteocomooexcluyente.Enelprimercaso
(oincluyente)hacequeelvalordeverdaddeunadelasdosproposicionessimplesrepercutaenelvalor
verdaderodelaproposicindisyuntiva;mientrasqueenlasegundaforma(oexcluyente)elvalordeverdad
deunaproposicinexcluyelaveracidaddelaotraproposicin,estohacequelaproposicindisyuntivatomeel
valorverdadero.
Ejemplo1.Usodeloincluyente
rvs:JuanestudiaingenieraoPaolaestudiamedicina.
r:Juanestudiaingeniera.
v:O
s:Paolaestudiamedicina.
Ejemplo2.Usodeloexcluyente.
xvy:Quieresheladoogaseosa.
x:Quiereshelado.
v:O
y:Quieresgaseosa.
Ejemplo3:Usodeloexcluyente
pvq:AlexandraviveenBogotoenBarranquilla.
p:AlexandraviveenBogot.
v:O
q:AlexandraviveenBarranquilla.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
58
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.2.3.3.Lanegacin~
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin compuesta no p
simbolizadapor:~p.
Ejemplo1.
p:3esunnmeroenteroprimo.
~p:3noesunnmeroenteroprimo,tambinsepuedeleer.
esfalsoque3esunnmeroenteroprimo.
Ejemplo2.
q:ElautomvildeFranciscoesrojo.
~q:ElautomvildeFrancisconoesrojo,o,esfalsoqueelautomvildeFranciscoesrojo.
1.2.3.4.Elcondicional
Se dice que una proposicin compuesta es condicional, si esta formada por dos proposiciones simples
enlazadasporlaexpresinsientonces.
Sipyqrepresentandosproposiciones,laexpresinsipentoncesqsesimbolizaas:
pqyseleepimplicaq.
Laproposicinprecedidaporlaexpresin si,sellama antecedenteo hiptesis ylaproposicin
precedidaporlaexpresinentonces,sellama consecuenteoconclusin delaimplicacin.Enla
expresinpq,elantecedenteespyelconsecuenteesq.
Lasproposicionescondicionalessepuedenenunciardediferentesmanerasas:
Sipentoncesq.
pslosiq.
qsip.
pessuficienteparaq.
qesnecesariaparap.
Lossiguientesejemplosilustranlosanterioresenunciados:
Siunenteroesmltiplode4entoncesesdivisiblepor2.
Aprueboelsemestreslosiestudio.
59
Elalgoritmoestabienenunciadosielprogramacorre.
Sidosrectasnuncasecortannecesariamentesonparalelas.
Cuandounaproposicincondicionalseescribeenunadelasanterioresformas,probablemente,enellenguaje
comnhabralgunaquenoseinterpretecomosedesea,perocomolalgicanopermiteambigedades,
stassedebenescribirsegnladefinicindadaenlaseccin.
Existenvariasformasdeenunciarproposicionescondicionalesas:
Implicacindirecta:
p q
Implicacincontraria:
q p
Implicacinrecproca:
~p ~q
Implicacincontrarrecproca:
~q ~p
Ejemplo1.
Dadaslasproposicionesp: 2mesdivisiblepor4
q: mespar
entonces:
Laproposicindirectaes:p q:Si2mesdivisiblepor4entoncesmespar,lacontrariaes:q p:Si
mesparentonces2mesdivisiblepor4,larecprocaes:~p ~q:si2mnoesdivisiblepor4,entonces
mnoesparylacontrarrecprocaes:~q~p:Simnoespar,entonces2mnoesdivisiblepor4.
Ejemplo2.
Teniendoencuentalaproposicindirecta:~p qconstruirlasotrasformasdelaimplicacin:
Contraria:
Recproca:
Contrarrecproca:
q~p
~(~p)~q
p~q
~q~(~p)
~qp.
Ejemplo3.
Proposicindirecta:
Contraria:
Recproca:
Contrarrecproca:
~p~q
~q~p
~(~p)~(~q)
pq
~(~q)~(~p)
qp
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
60
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.2.3.5.Elbicondicional
Se denomina bicondicional a la proposicin formada por dos proposiciones simples conectadas por la
expresinsyslos.
Simblicamentesipyqsonproposicionessimples,ladobleimplicacinpqconstituyeunbicondicional,
dondeprecibeelnombredeprimermiembroyqsegundomiembro.
Elbicondicionalestformadoporlasimplicaciones p q y q p,lascualesdebentenerelmismo
valordeverdadparaformarunaequivalenciaentrepyq;enconsecuencia,sedicequelaproposicinpes
equivalentealaproposicinqyseacostumbraaescribirpq.
Laproposicinbicondicionaltienevariasformasdetraduccinmsnodesignificacin,stasson:
psyslosiq.
qsyslosip.
sipentoncesqyrecprocamente.
siqentoncesqyrecprocamente.
pesunacondicinnecesariaysuficienteparaq.
qesunacondicinnecesariaysuficienteparap.
Ejemplo1.
Dadaslasproposiciones:
p:Untringuloesrectngulo.
q:Untringulotieneunngulorecto.
Elbicondicionalpqsepuedetraducirdelassiguientesformas:
Untringuloesrectngulosyslostieneunngulorecto.
Untringulotieneunngulorectosyslosesuntringulorectngulo
Siuntringuloesrectnguloentoncestieneunngulorectoysiuntringulotieneunngulorecto
entoncesesuntringulorectngulo.
Unacondicinnecesariaysuficienteparaqueuntringulosearectnguloesquetengaunngulo
recto.
Unacondicinnecesariaysuficienteparaqueuntringulotengaunngulorectoesquesea un
tringulorectngulo.
Untringulorectnguloesequivalenteauntringuloconunngulorecto.
61
LeccinNo.10Tablasdeverdad
1.2.4.TablasdeverdadDefinicin
Unatabladeverdadesunarepresentacinesquemticadelasrelacionesentreproposiciones;sirvepara
determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos
utilizadosydelosvaloresdeverdaddesusproposicionessimples.
Enlaelaboracindeunatabladeverdadlostrminosdeenlacetalescomolanegacin
(~),ladisyuncin(v)ylaconjuncin( )seconsideranconectivosfundamentales;portalrazn,sus
valoresdeverdadconstituyenbaseparaestablecerbajoqucondicionesunaproposicincompuestaes
verdaderaofalsa.
p q ~p
V
V
F
F
V
F
V
F
F
F
V
V
pq
pvq
V
F
F
F
V
V
V
F
p q
V
F
V
V
pq
V
F
F
V
Parasimbolizarlosvaloresdeverdaddeunaproposicin,seutilizaelsistemabinario,medianteelcualsele
asigna 1 al valor verdadero y 0 al valor falso. La siguiente tabla resume los valores de verdad de los
conectivoslgicos:
p
1
1
0
0
q ~p
1
0
1
0
0
0
1
1
Pq
pvq
p q
pq
1
0
0
0
1
1
1
0
1
0
1
1
1
0
0
1
Construccindetablasdeverdad
Paradeterminarelvalordeverdaddeunaproposicincompuestaesnecesarioelaborarlacorrespondiente
tabladeverdad;paratalfinymedianteelsiguienteejemploseenuncianlospasosaseguir:
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
62
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo1.
Construirlatabladeverdadparalaproposicin~(p q).
Paso1.
Sehaceunrecorridodeizquierdaaderechateniendoencuentalosparntesis.
Paso2.
Seidentificaelconectivoqueaparecedentrodelparntesis,enesteejemplolaconjuncin.
Paso3.
Seprecisaeltrminodeenlacequeprecedealparntesis,enelejemplolanegacin.
Paso4.
Seelaboralatablaconelnmerodecolumnasdeterminadopor:
Proposicionesqueintervienen
Conectivosutilizadosdentrodelparntesis
Conectivoutilizadofueradelparntesis.
Lasiguientetablailustraelpaso4:
p q p q
~(p q)
Paso5.
Sefijanlosvaloresdeverdadenlascolumnasdelasproposicionespyq.seilustraenlasiguientetabla
p
1
1
0
0
q p q
~(p q)
1
0
1
0
Paso6.
Secompletalatablaporcolumnas,teniendoencuentaelconectivoyelvalordeverdaddecadaproposicin
simple.Lafinalizacindelaelaboracindelatabladeverdades:
p q p q ~(p q)
p q p q
~(p q)
V V
V
F
1 1
1
0
V F
F
V
1 0
0
1
F V
F
V
0 1
0
1
F F
F
V
0 0
0
1
63
Ejemplo2.
Elaborarlatabladeverdaddelaproposicin:(pvq)(pq).
Al realizar el recorrido de izquierda a derecha se observa que la proposicin est conformada por dos
parntesis conectados por la disyuncin y dentro de cada parntesis se identifican la disyuncin y la
conjuncinrespectivamente;despusdesteanlisisseelaboralatabla.
p
1
1
0
0
q pvq
1
1
0
1
1
1
0
0
p q
1
0
0
0
(pvq) (p q)
1
0
0
0
Ejemplo3
Elaborarlatabladeverdadparaladoblenegacin,esdecir,~(~p)
p ~p ~(~p)
V F
V
F V
F
p ~p ~(~p)
1 0
1
0 1
0
Esteresultadopermiteconcluirqueladoblenegacindeunaproposicineslamismaproposicin.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
64
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Tablasdeverdadparalosconectivoslgicos
Laconjuncin
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
TablaNo.1Laconjuncin.
Delaanteriortabladeverdadpodemosconcluirquelaconjuncinesverdaderanicamentecuandolasdos
proposicionessimplessonverdaderas,encualquierotrocasolaproposicinesfalsa.
Ladisyuncin
p
V
V
F
F
q pvq
V
V
F
V
V
V
F
F
TablaNo.2Ladisyuncin.
p ~p
V F
F V
TablaNo.3Lanegacin.
Lanegacin
Elcondicional
p q
V
V
F
F
V
F
V
F
p q
V
F
V
V
q
V
F
V
F
pq
V
F
F
V
TablaNo.4Elcondicional.
Elbicondicional
p
V
V
F
F
TablaNo.5ElBicondicional.
65
1.2.4.1.Implicacindirecta,contraria,recprocaycontrarecproca
Tabladeverdadparalascuatroformasdelaimplicacin,
p q ~p ~q
1
1
0
0
1
0
1
0
0
0
1
1
0
1
0
1
p q
Directa
1
0
1
1
q p
Contraria
1
1
0
1
~p ~q
Recproca
1
1
0
1
~q ~p
Contrarrecporca
1
0
1
1
TablaNo.6.Formasdelaimplicacin.
Estatablapermiteanalizarquelosvaloresdeverdadcorrespondientesalascolumnasdeladirectayla
contrarecpocacoinciden,aligualquelosdelascolumnasdelacontrariaydelarecproca,porlotantoestas
implicacionessonequivalentes,esdecir:
1. (p q)(~q ~p)
2. (q p)(~p ~q)
Seproponealestudianteconstruirlatabladeverdadparalasanterioresequivalencias.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
66
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.11Leyesdelalgica
1.2.5.Leyesdelalgica
Tautologa
Entre las proposiciones compuestas existen unas muy importantes por ser siempre verdaderas,
independientementedelvalordeverdaddelasproposicionesquelaconforman,estetipodeproposiciones
recibenelnombredetautologas,esdecir,unatautologaesunaproposicinqueesverdaderaentodoslos
casos.
Ejemplo1.
Demostrarquelaproposicin(pvq) (~q p)esverdadera:
Paraverificarlavalidezdeestaproposicinesnecesariorealizarlatabladeverdadycomprobarqueenla
ltimacolumnasolamenteaparecenvaloresverdaderos.
p q
pvq
~q
1 1
1
0
1 0
1
1
0 1
1
0
0 0
0
1
TablaNo.7.Ejemplo1.
~q p
(pvq) (~q p)
1
1
1
0
1
1
1
1
Unaproposicincompuesta,queesfalsaentodosloscasosindependientementedelosvaloresdeverdadde
lasproposicionesquelaconformansellamaContradiccin.
Ejemplo2.
Es(p~q)qunatautologa?
Pararesponderlapreguntasehacenecesariohacerlatabladeverdad,as:
p q ~q
V V F
V F V
F V F
F F V
p~q
F
V
F
F
(p~q)q
F
F
F
F
67
Porlotantoestaproposicinnoesunatautologa,esunacontradiccin.
Dos proposiciones compuestas se consideran lgicamente equivalentes si tienen los mismos valores de
verdadparacadaunadelasopcionesenlatabladeverdad.
Ejemplo3
Establecersilasproposiciones(p q)y(~pvq)sonlgicamenteequivalentes.
Paraestohayqueprobarque(p q)(~pvq),latabladeverdades:
p q p q ~p
1 1
1
0
1 0
0
0
0 1
1
1
0 0
1
1
~pvq
1
0
1
1
(p q)(~pvq)
1
1
1
1
Como la ltima columna es toda verdadera (tautologa), se puede concluir que las proposiciones son
lgicamenteequivalentes.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
68
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.2.5.1.Leyesdelalgebradeproposiciones
Lassiguientessonlasleyesdelalgica.
1.Idempotencia:
pvpp
ppp
3.Asociativas:
(pvq)vrpv(qvr)
(p q)rp (qr)
4.Conmutativas:
pvqqvp
pqqp
5.Distributivas:
pv(qr)(pvq)(pvr)
p(qvr)(pq)v(p r)
6.Identidad:
pv0p,
p00,
pv11
p1p.
7.Complemento:
pv~p1,
p~p0
~(~p)p,~10,~01
8.LeyesDMorgan:
~(pvq)~p~q
~(pq)~pv~q
Estasleyesestnformuladasporparesdebidoalanaturalezadualdellgebradeproposiciones.
69
Enlosejemplosqueaparecenacontinuacin,seutilizanlasleyesdelalgicapararealizarlasrespectivas
demostraciones:
Ejemplo1.
Demostrarque:
1. ppp
2. pvpp.
Estasdemostracionessepuedenefectuarpartiendodelprimermiembroyllegaralsegundoopartiendodel
segundoyllegaralprimero.Enlapartederechaseescribeelnombredelaleyquejustificaesepaso.
1.Partiendodelprimermiembrosellegaalsegundoas:
pp(pp)v0
Identidad
pp(pp)v(p~p)
Complemento
ppp(pv~p)
Distributiva
ppp1
Complemento
ppp
Identidad
2.Partiendodelsegundomiembrosellegaalprimeroas:
ppv0
Identidad
ppv(p~p)
Complemento
p(pvp)(pv~p)
Distributiva
p(pvp)1
Complemento
p(pvp)
Identidad.
Sesugierehacerlasdemostracionespartiendodelprimermiembro.
Ejemplo2.
Demostrarque:(pvq)(~pvq)q
(qvp)(qv~p)q Conmutativa
qv(p~p)
Distributiva
qv0
Complemento
q
Identidad
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
70
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo3.
Demostrarque:[(pq)v(~pr)v(qr)][(pq)v(~pr)]
[(pq)v(~pr)v(qr)][(pq)v(~pr)v(qr)]v0
[(pq)v(~pr)v(qr)]v(qr)~(qr)
(pq)v(~pr)v(qr)~(qr)
(pq)v(~pr)v0
(pq)v(~pr)
Identidad
Complemento
Asociativa
Complemento
Identidad
Ejemplo4.
Demostrar:(pv~q) (qvr) (qv~r)(p q)
(pv~q)[qv(r~r)]
(pv~q)[qv0]
(pv~q)q
(pq)v(~qq)
(pq)v0
(pq)
Distributiva
Complemento
Identidad
Distributiva
Complemento
Identidad.
Ejemplo5.
Demostrar:~[(p~qr)v(pqr)](~pv~r)
~[(p~qr)v(pqr)]~[(p r) (~qvq)]Conmutativaydistributiva
~[(p ~q r)v(p q r)]~[(p r) 1] Complemento
~[(p ~q r)v(p q r)]~(p r)
Identidad
~[(p ~qr)v(p q r)](~pv~r)
DMorgan
71
LeccinNo.12Cuantificadores
1.2.5.2.Cuantificadores
Cuantificadoruniversalyexistencial
Existenespecialmenteenmatemticas,expresionesquecontienenvariablestalescomox,y,z,etc.,paralas
cualessuvalordeverdaddependedelvalorquetomelavariable.
Ejemplo1. x+1=2
Esta proposicin es verdadera si x = 1 y falsa si x 1. A estas proposiciones se les llama
Proposicionesabiertas.
Hastaelmomentosehantratadoproposicionesalascualesselespuedeasignarunvalordeverdad,yasea
falsooverdadero,ahoraenestaseccin,seestudialalgicadeproposicionesabiertas,paraello,seasigna
unaexpresinllamadacuantificador,quepermiterestringirlosvaloresdelasvariables,detalformaquela
proposicintomaunsolovalordeverdadparadicharestriccin.
Enelejemplo,laproposicinsepuedeenunciardelassiguientesformas:
1. Existex=1talquex+1=2.Proposicinverdadera
2. Paratodox 1,setienequex+1=2.Proposicinfalsa.
(x=1)/(x+1=2)Verdadera.
(x 1)/(x+1=2)Falsa.
Simblicamente,enelprimercasoelcuantificadorrecibeelnombredecuantificadorexistencial,pues
estinformandoqueexisteunslovalorparaxquehaceverdaderalaproposicindada,mientrasqueenel
segundocasoelcuantificadorsellamauniversalporqueafirmaquetodoslosvaloresdexdiferentesde1
hacenlaproposicinfalsa,esdecir,queunvalorde xdiferentede 1 convierte x+1=2 enproposicin
falsa.
Cualquiercuantificadordelaformaparatodo,todo,paracada,ocadasellamacuantificadoruniversalyse
simbolizapor
Ejemplo2.
(x)/(x+4=4+x).Significaquetodoxverificalaecuacin.
Lapalabraalgunos(s)significaqueporlomenosunoverificalacondicin.Loscuantificadoresdelaforma
existeporlomenosuno,ysellamancuantificadoresexistencialesyserepresentanas:.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
72
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo3
(x)/(2x+2=5).
Valoresdeverdaddeexpresionesconcuantificadores
Paradeterminarelvalordeverdaddeunaexpresinquecontieneuncuantificadoresimportantetenerclaros
lossiguientesconceptos:
1.
2.
ConjuntoUniversal:eselconjuntoquecontienetodosloselementosconsideradosenunestudio
determinado.
Conjuntodominiodelavariable:correspondealconjuntodevaloresposiblesdelavariable.
Ejemplo1.
(xR)/(2x1=0)queseleeparatodoxquepertenecealosrealesseverificaque2x1=
0.
Enestaproposicinelconjuntouniversalestaformadoporlosnmerosrealesyeldominiodelavariableesx
=.
Elejemploafirmaquetodonmerorealverifica2x1=0,locualesfalso,perosisecambiaelconjunto
universal,porelconjunto{1/2},laproposicinseconvierteenverdaderayseenunciaas:
(x{1/2})/(2x1=0)esverdadera.
Loanteriorconducealasiguienteafirmacin:
Unaproposicinquecontieneuncuantificadoruniversalesverdaderasysloseldominiodelavariablees
igualalconjuntouniversal.
Ejemplo2.
(xR)/(x21=0)
Conjuntouniversal:R(reales)
Dominiodelavariable:x=1,v,x=1
Enestecasoelcuantificadorexistencialafirmaqueporlomenosexisteunvalorquesatisfacelaproposicin,
as,elejemplo2esverdadero.
Ejemplo3.
(xR)(x2+1=0)
Elconjuntouniversalestformadoporlosnmerosreales,peroeldominiodelavariableeselconjuntovaco,
pues,nohayunnmerorealquealelevarloalcuadradoysumarle1decmoresultadocero,estohacequela
proposicinseafalsa.Delanlisisdelosejemplos2y3sepuedeafirmar:Unaproposicinconuncuantificador
existencialesverdaderasiyslosieldominiodelavariablenoesvaco.
73
Captulo3
Preliminaressobrelasproposiciones
SP
SP SP
SP
ClasesSyP
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
74
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.3.Captulo3Preliminaressobrelasproposiciones
LeccinNo.13Proposicionescategricas
1.3.1.Proposicionescategricas
El estudio clsico o aristotlico de la deduccin est centrado en argumentos que contienen solamente
proposicionesdeuntipoespecial,llamadasproposicionescategricas.
Eltipoespecialserefiereaquelasproposicionespuedenser
universales(afirmativasonegativas)o
particulares(afirmativasonegativas).
Porlotanto,sepuedeafirmarquehaycuatroformasestndardeproposicionescategricas.Lossiguientes
ejemplosilustrancadaunadeellas.
1.3.2.ProposicinCategricaUniversalafirmativa
Todoslosconductoresdeautomvilesquenosonsegurossonpersonastemerarias
queponenenpeligrolavidadelosdems.
Estaesunaproposicinuniversalafirmativa.Serefiereadosclases:
1.Conductoresdeautomvilesinsegurosy
2.personastemerariasqueponenenpeligrolavidadelosdems
ydicequelaprimeraclaseestcontenidaenlasegunda,locualsignificaquecadamiembrodelaprimera
claseestambinmiembrodelasegunda.
75
Personas
Personastemerarias
S
Conductoresdeautomviles
Inseguros
TodoSesP
Enesteejemplo,eltrminosujetoconductores,designaalaclasedetodoslosconductoresyeltrmino
predicadotemerarias,designaalaclasedetodaslaspersonastemerarias.
Estetipodeproposicincategricasellamauniversalafirmativa,porquelaproposicinafirmaquelarelacin
deinclusinentrelasdosclasesescompleta,todosloselementosomiembrosdeStambinlosondeP.
Todaslasproposicionesuniversalesafirmativassepuedenescribirsimblicamenteas:
TodoSesP,dondeSrepresentaelsujetoyPelpredicado.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
76
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.3.2.1.ProposicinCategricaUniversalnegativa
Ningnconductordeautomvilresponsableesunpeligroparalavidadelosdems.
Estaesunaproposicinuniversalnegativa.Niega(enformauniversal)quelosconductoresresponsablesson
unpeligroparalavidadelosdems.
Enestecasosehacereferenciaadosclases:
1.Conductordeautomvilresponsabley
2.personasqueponenenpeligrolavidadelosdems
laprimeraclaseexcluyealasegunda,laexcluyetotalmente,esdecir,quenohayningnmiembro
delaprimeraclase(conductorresponsable)quetambinpertenezcaalasegunda(querepresenteunpeligro
paralavidadelosdems).Todaslasproposicionesuniversalesnegativassepuedenescribiras:
NingnSesP
,dondeSrepresentaeltrminosujetoyPeltrminopredicado.
Personas
Conductoresdeautomvil
Responsable
teme
Personatemerariaque
poneenpeligrolavidade
losdems
NingnSesP
1.3.2.2.Proposicionescategricasafirmativaparticular
Algunosestudiantesdelasecundariaingresanalaeducacinsuperior.
Esteejemploafirmaquealgunosdelosmiembrosdelaclasedetodoslosestudiantesdesecundariason
(ingresan)miembrosdelaclasedeestudiantesdeuniversidad.Peronoafirmaestouniversalmente:nodice
quetodoslosestudiantesdesecundaria(sinexcepcin)ingresanalauniversidad,sinomsbienalgunosen
particular.Estaproposicinnoafirmaniniegaquetodoslosestudiantesingresanalauniversidad,serefiere
sloaalgunos.
Clases:
1.Estudiantesdesecundariay
2.Estudiantesqueingresanalaeducacinsuperior
Lapalabraalgunosesindefinida,significaalmenosuno?,almenosdos?,almenostres?Oal
menoscuntos?Paramayorprecisin,seacostumbrausarstetrminocomoalmenosuno.Porlotanto
unaproposicinafirmativaparticularseescribesimblicamenteas:
Estudiantes
Estudiantesdesecundaria
Estudiantequeingresaala
educacinsuperior
AlgnSesP
AlgnSesP,
Locualsignificaqueporlomenosunmiembrodelaclasedesignadaconeltrminosujeto S tambines
miembro delaclasedesignada por eltrmino predicado P. El nombre afirmativaparticular hace
referenciaaquelaproposicinafirmativasecumpleenlarelacindeinclusinentreclases,peronoloafirma
delaprimeraclaseuniversalmente,sloparcialmente,dealgunosmiembrosparticularesdelaprimeraclase.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
78
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.3.2.3.ProposicionescategricasNegativaparticular
Algunosnmerosrealesnosonpositivos.
Clases
1.Nmerosrealesy
2.Nmerosnegativos
Eneste ejemploelantecedente(algunosnmerosreales)esparticularenelsentido quenoserefiere
universalmente a los nmeros reales, slo a algunos de ellos, algunos miembros de esa clase. Pero a
diferenciadelejemploanterior,noafirmaquelosmiembrosparticularesdelaprimeraclasealosqueserefiere
(nmerosreales)estnincluidosenlasegundaclase(realesnopositivos),estoesprecisamenteloquese
niega.Unaproposicinparticularnegativa,seescribeenformasimblicaas:
Nmeros
S
NmerosReales
NmerosNegativos
AlgnSnoesP
AlgnSnoesP.dicequeporlomenosunmiembroquepertenecealaclasedesignadaporeltrmino
sujeto,S,esexcluidodelatotalidaddelaclasedesignadaporeltrminopredicado,P.
79
1.3.3.Cualidadycantidaddelasproposicionescategricas
Cadaproposicincategricadeformaestndartieneunacualidadyunacantidad.
1.3.3.1.CualidadAfirmativaoNegativa:
Lacualidaddeunaproposicinesafirmativaonegativa,segnelsujeto,completaoparcialmente,afirmeo
nieguelainclusindelaclase.Porlotantolasproposicionesafirmativasuniversalesyparticularestienen
cualidadafirmativa,encambiolasproposicionesnegativasuniversalesyparticularestienencualidadnegativa.
1.3.3.2.CantidadUniversaloParticulardecantidad:
Lacantidaddeunaproposicinesuniversaloparticularsegnquelaproposicinserefieraatodoslos
miembros o solamente a algunos de la clase designada por el trmino sujeto. As, las proposiciones
universalesafirmativasonegativassonuniversalesdecantidadylasproposicionesparticularesafirmativaso
negativassonparticularesdecantidad.
Laclave
ALGUNOS=PARTICULAR
TODOS=UNIVERSAL
Ejerciciopropuesto:
Delalecturaanterior,ypuedescompletarlasiguientetabla:
Proposicin
Categrica
Representacin
TodoSesP
ParticularNegativa
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
80
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.14Proposicionescontrarias,decontingenciaysubcontrarias
1.3.4.Proposicionescontrarias,decontingenicaysubcontrarias
Lasproposicionescategricasenformaestndarquetienenelmismotrminosujetoytrminopredicado,
puedendiferirunasdeotrasencualidadoencantidadoenambas
Existen ciertas relaciones importantes correlacionadas con los diversos tipos de oposicin (diferencia en
cualidad, cantidad o en ambas) stas pueden ser de CONTRADICCIN, CONTINGENCIA, o,
SUBCONTRARIAS
1.3.4.1.Proposicionescontradictorias
DosproposicionessonCONTRADICTORIASsiunadeellaseslanegacindelaotra,esdecir,lasdos
proposiciones no pueden ser a la vez verdaderas ni a la vez falsas. Es claro que dos proposiciones
categricasenformaestndarquetienenelmismotrminosujetoytrminopredicado,perosondiferentes
tantoencantidadcomoencualidad,soncontradictoriasentres.
Ejemplo1
Lasproposiciones
P:todoslosjuecessonabogados
Q:algunosjuecesnosonabogados
Soncontradictoriasporquesonopuestastantoencantidadcomoencualidad.Laproposicin
Pesuniversalafirmativa,mientrasquelaproposicinQesparticularnegativa.
Ejemplo2
Lassiguientesproposicionestambinsoncontradictorias.
P:algunosnmerosrealessonnegativos.Esparticularafirmativa
Q:todoslosnmerosrealessonnegativos.Esuniversalnegativa.
Enestecasosonopuestasencantidadyencualidad.
Otraformadeidentificarlasproposicionescontrarias,escuandolaverdaddeunaproposicinimplicala
falsedaddelaotra.
81
Ejemplo3
P:3esmayorque1
Q:1esmayorque3.
SoncontradictoriasporquelaproposicinPesfalsayestoimplicaquelaproposicinQseaverdadera.
Ejemplo4
Dadaslasproposiciones
P:hoyeslunes
Q:hoynoeslunes.
SoncontradictoriasporquesiPesverdaderaautomticamenteQserfalsaylocontrario.
ProposicionesContradictoriasyContrarias
Esimportanteaclararladiferenciaentreproposicionescontradictoriasyproposicionescontrarias.
1.3.4.2.Proposicionescontrarias:
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas, aunque ambas
puedanserfalsas.
Ejemplo5
Considerandolasproposiciones
P:PaolaesmayorqueAnglica
Q:AnglicaesmayorquePaola
Inicialmentesepodrapensarquesoncontradictorias,esdecir,quesi P esverdadera, Q serafalsa,y
consecuentemente,siPesfalsa,entoncesQseraverdadera,peroalconsiderarelhechodequePaolay
Anglicatenganlamismaedad,ambasproposicionesseranfalsas,porlotantonoserancontradictorias,yen
estecasosellamarancontrarias,debidoaqueambasnopuedenserverdaderasperosfalsas.
En forma general se puede decir que dos proposiciones universales que tienen los mismos sujetos y
predicadosperodifierenencualidadsoncontrarias.
Elsiguienteejemplomuestraclaramenteladiferenciaentrelasproposicionescontradictoriasycontrarias.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
82
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo6
Dadaslasproposiciones:
P:
Q:
R:
todoslosnmerosenterossonpositivos
algunosenterossonpositivos
todoslosenterossonnegativos
SepuedeafirmarquelasproposicionesPyQsoncontradictoriasporqueunaeslanegacindelaotra(en
estecasoPesfalsamientrasqueQesverdadera).YlasproposicionesPyRsoncontrariasyaqueambas
nopuedenseverdaderasperosisonambasfalsas.
Nemotecnia
contrarias
=ambaspuedenserfalsas
contradictorias =cuandounaesverdaderalaotraesfalsayviceversa.
1.3.4.3.ProposicinContingente
UnaproposicinquenoesnecesariamenteverdaderaninecesariamentefalsasellamaCONTINGENTE.
Ejemplo1
P:todoslosmatemticossonfilsofos
Estaesunaproposicinquenoesnecesariamenteverdadera(notodoslosmatemticossonfilsofos),ni
necesariamentefalsa(existenmatemticosquessonfilsofos)
Ejemplo2
Q:todosloscuadradossonrectngulos
Nonecesariamenteesfalsaporqueelcuadradoesuntipoderectngulo,niesnecesariamenteverdadera
porquenotodosloscuadradossonrectngulos
83
1.3.5.ProposicionesSubcontrarias
Sedicequedosproposicionessonsubcontrariassinopuedenserambasfalsasperosambasverdaderas
Ejemplo1
Lasproposiciones
P:algunosenterossonpositivos
Q:algunosenterossonnegativos
Sonsubcontrariasdebidoaqueambassonverdaderas.
laClave
Observaquenecesariamente,alafirmarquealgunosenterossonnegativos,estamosafirmandoqueelresto
sonenterospositivos.Estoimposibilitaqueambasproposicionesseanfalsas.
Enformageneralseafirmaquedosproposicionesparticularesquetienenelmismotrminosujetoytrmino
predicadoperodiferentecualidadsonsubcontrarias
Ejemplo2
P:
Q:
algunosingenierosdesistemassonmatemticos
algunosingenierosdesistemasnosonmatemticos
LasproposicionesPyQpuedenserlasdosverdaderas,peronopuedenserlasdosfalsas,porlotantose
dicequesonsubcontrarias.
Nemotectnia
contrarias
=ambaspuedenserfalsas
subcontrarias =ambaspuedenserverdaderas
contradictorias =cuandounaesverdaderanecesariamentelaotraesfalsay
viceversa.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
84
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.15Smbologaydiagramasparaproposicionescategricas
1.3.6.Simbologaydiagramasparaproposicionescategricas
Comolainterpretacindelasproposicionescategricasdependefundamentalmentedelanocindeuna
clasevaca,seutilizaelcero(0)pararepresentarestehechoyparasimbolizarquelaclasedeterminada
porSnotienemiembros,seutilizalaecuacinS=0.
CuandoseafirmaquelaclaseSsitieneelementos,equivaleanegarqueSesvaca,porlotantosu
representacinsimblicaesS 0.
Las proposiciones categricas se pueden representar grficamente diagramando las clases a las que
pertenecen, de tal forma que el diagrama es de una clase, no de una proposicin, para realizar esta
representacinseutilizauncrculomarcadoconeltrminoquedesignalaclase,porejemplolaclaseSs
graficaas:
ClaseS
ParadiagramarlaproposicindequeSnotienemiembros,odequenohayS,sesombreatodoelcrculo
querepresenta S,locualindicaquenocontienenada,queesvaca,y,paragraficarlaproposicinque
existenS,queseinterpretaenelsentidodequehayporlomenosunmiembrodelaclaseS,secolocaunax
encualquierparteenelinteriordelcrculoquerepresentaaS,locualindicaqueshayalgodentrodel,que
noestvaco.
85
AcontinuacinserepresentagrficamentelasproposicionesNohaySyHayS.
SepuedeobservarqueelcrculoquerepresentalaclaseStambinrepresentarlaclasedesucomplemento,
S,esdecir,sienelinteriordelcrculoserepresentaatodoslosmiembrosde S,entonces,suexterior
representartodoslosmiembrosquenoestnenS,porlotantoestnenS.
Representacindeunaproposicincategrica:
Pararepresentarunaproposicincategricaenformaestndarsenecesitandoscrculosintersecados.SiSy
Prepresentanlossujetosypredicadosdelaproposicin,entoncessurepresentacines:
clasesSyP
LafigurarepresentalasdosclasesSyP,peronodiagramaalgunaproposicindeellas,noafirmaniniega
queunadelasdosolasdosclasestenganmiembros.LapartedelcrculoSqueestafueradePrepresenta
todoslosSquenoson P,locualseidentificarcomoelproductodelasclasesSyP (SP);laparte
comndelosdoscrculosrepresentalainterseccinoproductodelasdosclasesSP;lapartedelcrculoP
queestafuerade S representaatodoslos P quenoestnen S (porlotantoestnen S ),esdecir,el
productoSP,ylaparteexternaalosdoscrculosrepresentatodaslasproposicionesquenoestnenSni
enP,locualcorrespondealacuartaclaseSP.
LoanteriorpermiterepresentarlafiguraNo.3delasiguientemanera:
SP
SP
P
SP
SP
ClasesSyP
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
86
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.3.7.Proposicionescategricas
Pararepresentarlascuatroproposicionescategricasdeformaestndarsesombreaoseinsertaxenvarias
partesdelagrfica,acontinuacinsepresentacadaunodeloscasos:
1.3.7.1.TodoSesP,simbolizadaporSP=0,surepresentacingrficaes:
SP=0
TodoSesP
1.3.7.2.NingnSesP,o,NingnPesSsimbolizadasporSP=0yPS=
0,respectivamente,larepresentacingrficaenamboscasoses:
NingnSesP,o,
NingnPesS
SP=0yPS=0,
87
1.3.8.AlgnSesP,simbolizadaporSP 0,surepresentacingrfica
es:
U
P
x
Algn S es P o
AlgnPesS
SP0;PS 0;
4.AlgnSnoesP,simbolizadaporSP 0,surepresentacingrficaes:
P
x
AlgnSnoesP
SP 0
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
88
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
EnelcasoAlgnPnoesS,simbolizadaporPS 0,surepresentacingrficaes:
P
x
AlgnPnoesS
PS0
Lassiguientessonalgunasobservacionesacercadelasrepresentacionesgrficas
realizadas:
1. Eldiagramasimpledelosdoscrculos,sinotrotipodemarcasoindicaciones,representaclasespero
norepresentaningunaproposicin.
2. Unespacioenblancoalaizquierdanosignificanada(niqueunaclasetieneonotienemiembros).
3. Lasproposicionesslolasrepresentanaquellosdiagramasenlosqueunapartehasidosombreadao
enlaquesehainsertadounax.
4. LosdiagramasdeVennconstituyenunarepresentacindelasproposicionescategricasenforma
estndar, en las cuales las inclusiones y exclusiones espaciales corresponden a inclusiones y
exclusionesnoespacialesdeclases.
5. Proporcionanunmtodoclarodenotacinyseconstituyenenlabasedelmtodomssimpley
directoparaprobarlavalidezdelossilogismoscategricos(Versiguientecaptulo).
89
Captulo4
Deduccin
(GvH) (JK)
G
/J
_________________________________
GvH
2,Ad.
JK
1,3,M.P
J
4,Simp.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
90
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.4.Captulo4:Deduccin
OBJETIVOSESPECFICOS
1.Inferirunaconclusinapartirdedosomspremisas
2.Utilizarlasreglasdeinferenciaparaestablecerlavalidezoinvalidezdeunargumento.
OBJETIVOGENERAL
Utilizarelmtododeductivocomounaformaderazonamientomedianteelcualsepuedeestablecer un
principiogeneralapartirdecasosparticulares.
OBJETIVOS
1.Identificaryclasificarlasproposicionescategricasdeunargumento
2.Diferenciarlacualidadycantidaddeunaproposicincategricaenformaestndar.
3.Establecereltipodeoposicinquesepuedepresentarentredosproposicionescategricas
4.Representargrficamenteproposicionescategricasdeformaestndar
91
INTRODUCCIN
Razonaresunprocesoporelcualseestableceunaconclusinbasadaenunaomsproposicionessupuestas
oaceptadas,llamadaspremisas,lascualesconstituyenelpuntodepartidadelproceso.Silaconclusines
correcta significa que las premisas contienen la informacin necesaria y suficiente para establecer la
conclusinyporlotantosepuedeafirmarqueelrazonamientoescorrecto,delocontrario,sedirquees
incorrecto.
Todos los seres humanos tenemos la capacidad del raciocinio; una operacin del pensamiento, la ms
elevada,enlacualseenlazanideasyfluyenotras,permitiendoaslacomunicacinconelexterior.
Sehadichoquelalgicaeslacienciaqueestudialaestructuraoformadelpensamiento,porlocualnoes
difcil comprender que hay varias formas de pensamientos, ms an, existen varias formas de razonar,
deductivamenteoinductivamente.Cuandosehaceunestudiolgicodelrazonamiento,esconvenientetener
presentealgnmodeloconelquepuedancompararsealgunasotrasespeciesderazonamiento;latareadel
lgicoesexplicarlasdiferenciasentreunciertomododerazonaryelmodeloescogido,elmodeloque
habitualmenteseadoptaconscienteoinconscientementeparacompararcon ltodaslasotrasclasesde
razonamiento,esladeduccinsimple,enlacualsepuedenidentificarlaspremisasyunaconclusinyse
puedeformularunareglasegnlacual,laconclusinsesiguedelaspremisas.
En el presente captulo se estudiar el mtodo deductivo, este se puede definir como el proceso del
pensamientomedianteelcualconbaseenexperiencias,seestableceunprincipiogeneral,elquetendr
valideznosloparaloscasosobservados,sinotambinparatodoslosdesuespecie.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
92
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Elmtodocientfico
Elmtodocientficoconsisteenelconjuntodeprocedimientosparaobtenerunconocimientoqueseauniversal
y,enprincipio,reproducibleporcualquiera.
DesdelosiniciosdelaModernidad,elconocimientocientficoenlascienciasnaturalesyexactashaestado
ligadoalaobservacinsistemticayalaformulacindedichaobservacinmedianteecuacionesmatemticas,
lallamadamatematizacindelaciencia,quegarantizatantosuexplicacincomosufactibilidad.
Desdeelpuntodevistadelospositivistas,elprimerpasoencualquierinvestigacineslaobservacin,una
vezqueseejecutalaobservacin,surgenunaomspreguntas,generadasporlacuriosidaddelobservador,
luego,elobservador,medianterazonamientoinductivo,trata dedarunaomsrespuestaslgicasalas
preguntas, cada solucin tentativa preliminar a estas preguntas, son las hiptesis. Despus de que ha
enunciadounaomshiptesis,oexplicacionespropuestas,elinvestigadorelaboraunaomspredicciones,
lascualesdebenserconsistentesconlasobservacionesehiptesis.Parahaceresto,elinvestigadorusael
razonamientodeductivo.Enseguida,lasprediccionessonsometidasapruebassistemticasparacomprobar
suocurrenciaenelfuturo.Estascomprobacionesenconjuntorecibenelnombredeexperimentacin.Cundo
lahiptesisseverifica,entoncesseprocesaladeclaracinfinal,queencienciassellamateoraquesoloes
vlidaparauntiempoyunlugardeterminados.Silateoraseverificaracomoverdaderaentodotiempoy
lugar,entoncesesconsideradacomoley.
Cosadistintaeslacienciasocial.Aqulareproducibilidadylaexplicacinsondbilesoimposibles.Enellas
setrata,notantodeexplicarcomodecomprender,encuantoloquesehaceesunalecturadesistemas
simblicos,quesonsusceptiblesdedistintasinterprepataciones,tantodesdelascaractersticasmismasdel
cientfico,comodelapocaenlacuallesthaciendosutrabajo.
KarlPopper,enlalgicadelconocimientocientfico,discuticonlospositivistassobreelcarcterdela
observacinyelmodeloinductivodelaciencia.Enefecto,aquellospensabanquelacienciacomienzaconla
observacinydeallsehaceunainduccinparaobtenerunaleygeneral.Popper,encambio,sealaquela
cienciacomienzaconunahiptesisquedebeintentarfalsarse(deahquesuteorasellameelfalsacionismo),
esdecir,refutarse.
Enlaciencianosetratatantodeverificarcomodequelasteorasresistanlosintentosdeserrefutadas.Y
paraellolasteorascientficasdebenserescritasenencunciadosuniversales,quepuedenrefutarsemediante
contraejemplo,ynodeenunciadosexistenciales.Hagamosunailustracin;delaobservacindeloscuervos,
alguienpuedeafirmarqueexistencuervosnegros.Peroeseenunciadonoesfalsable.EnCambiosialguien
93
diceTodosloscuervossonnegrosyalguienencuentrauncuervodeotrocolor,elenunciadoresultfalsable.
Poresohayqueescribirlacienciaenenunciadosuniversales,queseansusceptiblesdeserrefutados.
Mientrasunateoraresistalosintentosdeserrefutada,sedicequeeselparadigmacientficovigente.Todos
losproblemasdesucampodeconocimientoseresuelvensegnestablecenlasleyesdelateora,pero
cuandoestaesrefutada,apareceunparadigmanuevo,quetomaelpapeldelanterior,yassucesivamente.
Eso sucedi con la fsica tolomica, que fue refutada por la fsica galileana, que fue mejorada por la
newtoniana,queasuvez,fuerebatida,ensusfundamentos,porlafsicadelarelatividaddeEinstein.
Unaexplicacincientficatienelaforma:unhechoseexplicadentrodeunaleycientficaqueesunaecuacin
matemtica.As,elmovimientodeunplanetaseexplicaporlaecuacinquedescribesumovimiento.Ella
explicaesemovimiento.Perolaexplicacintambinsirveparalaprediccinporquelaecuacinquesirvepara
describirtambinsirveparacalcularenquelugarseencontrareseplanetaenunmomentoTcualquiera.
ParaPoppersumtodosirveparasuperareldilemaentreexplicar,encienciasnaturales,ycomprender,en
cienciassociales.Porqueexplicarescomprender.Peroadiferenciadelascienciasnaturales,laciencias
socialesnosonsusceptiblesdematematizacin:nadiepuedecalcularlosmovimientossocialesnilasacciones
delaspersonas,porquestassonvoluntarias,distintas,enconsecuencia,alosmovimientosfsicos.
Lacomprensin,quecomosedijo,refiereasistemassimblicos,comolasculturasylassociedades,eslo
propiodelascienciassociales.Aqunohayunaexplicacindistintaalacomprensindeunsistemasimblico
yestascomprensionessehacenenhorizontesdecomprensinquedependendelcientficoysupoca.Por
esolascienciassocialesnosonneutrales,niexistelaobjetividaddelinvestigadorsocial,porqueelleelos
hechossocialesdesdesuformacin,desdesupropiapersonalidadydesdeloquesabesupoca.Esteesel
`puntodistintivocentralentrelascienciasnaturalesylascienciassociales.Poresonohayunasolasociologa,
sino distintas escuelas sociolgicas, ni una antropologa, sino escuelas distintas, ni una pedagoga sino
mltiplesescuelasdepensamientosobrelaenseanza.
Bibliografa:
Gadamer,HansGeorg.VerdadyMtodo.EditorialSgueme,salamanca,1972
Monsalve,Alfonso.LaTeoradelaArgumentacin.EditorialUniversidaddeAntioquia,1982
Popper,Karl.LaLgicadelaInvestigacinCientfica.Tecnos,Madrid,1962
___________.LaMiseriadelHistoricismo.Tecnos,Madrid,1975.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
94
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.16Silogismoscategricos
1.4.1.Silogismoscategricos
Unsilogismoesunargumentodeductivoenelqueseinfiereunaconclusinapartirdedospremisas.Un
silogismocategricoesunargumentodeductivoconsistenteentresproposicionescategricasquecontienen
exactamente tres trminos, cada uno de los cuales slo aparece en dos de las proposiciones que lo
constituyen.Dosdelasproposicionesrecibenelnombredepremisasylaotrasellamaconclusin.
Formaestndardeunsilogismocategrico
Sedicequeunsilogismocategricoestenformaestndarcuandosatisfacelassiguientescondiciones:
1. Laspremisasyconclusinsonproposicionescategricasqueconservanelsiguienteorden:
1. lapremisamayorseenunciaprimero,luego
2. lapremisamenory
3. alfinallaconclusin.
2. Laconclusindeunsilogismodeformaestndaresunaproposicindeformaestndarquecontiene
dosdelostrestrminosdelsilogismo.
3. Lapremisamayoresaquellaquecontieneeltrminomayoryesteeselqueaparececomopredicado
delaconclusin.
4. Lapremisamenoresaquellaquecontieneeltrminomenor,queeselcorrespondientealsujetodela
conclusin.
5. Lostrminosmayorymenoraparecen,cadauno,enunapremisadiferente.
95
Ejemplo1
Dadaslaspremisas:
Ningnhroeescobarde
Algunossoldadossoncobardes
Ylaconclusin:porlotanto,algunossoldadosnosonhroes
Sepuedeobservarclaramentequeelargumentodeductivoesunsilogismocategricoporqueconsisteentres
proposicionescategricas(dospremisasyunaconclusin)quecontienenexactamentetrestrminos(hroe,
cobardeysoldado).
Parasabersielsilogismocategricoestenformaestndar,esnecesarioidentificareltrminomayor,el
trminomenor,premisamayor,premisamenoryanalizarlaconclusin.
Enestecasoelpredicadodelaconclusineshroe,queconstituyeeltrminomayor,yporconsiguientela
premisamayores:ningnhroeescobarde;elsujetodelaconclusinessoldadoqueeseltrmino
menor,porlotantolapremisamenores: algunossoldadossoncobardes,adems,laconclusin
tienedosdelostrestrminosdelsilogismo:soldadosyhroes,lostrminosmayorymenoraparecen,
cada uno, en una premisa diferente, por consiguiente se puede establecer que este es un ejemplo de
silogismocategricoenformaestndar,tambinapareceeltrminocobardeselcualsedenominatrmino
medio.
Ejemplo2
Teniendoencuentaelsiguienteargumentodeductivo,identificarlaconclusin,establecerlanaturalezadel
silogismoyverificarsestaenformaestndar.
Ningnsubmarinonuclearesunnavocomercial,as,ningnbarcodeguerra
esunnavocomercial,puestoquetodoslossubmarinosnuclearessonbarcos
deguerra.
Comoelargumentodeductivoestformadoportresproposicionescategricasquecontienenexactamentelos
trestrminos:submarinonuclear,navocomercialybarcosdeguerra,sepuedeafirmarquesetratadeun
silogismocategrico.
Laconclusinseidentificacomolaproposicin:
ningnbarcodeguerraesunnavocomercial.
Ylaspremisascomolasproposiciones:
ningnsubmarinonuclearesunnavocomercialy
todoslossubmarinosnuclearessonbarcosdeguerra.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
96
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Elpredicadodelaconclusineseltrminonavocomercial,elcualseconstituyeeneltrminomayory
porconsiguientelapremisamayores,ningnsubmarinonuclearesunnavocomercial.
Elsujetodelaconclusinesbarcodeguerra,elcualseconstituyeeneltrminomenoryporconsiguiente
lapremisamenores,todoslossubmarinosnuclearessonbarcosdeguerra.
Elanlisisanteriorpermiteafirmarqueesunsilogismocategricoenformaestndarelcualsepuedeescribir
as:
Premisamayor: ningnsubmarinonuclearesunnavocomercial
Premisamenor: todoslossubmarinosnuclearessonbarcosdeguerra
Conclusin:
Porlotantoningnbarcodeguerraesunnavocomercial
Ejemplo3
Teniendoencuentaelsiguienteargumentodeductivo,identificarlaconclusin,establecerlanaturalezadel
silogismoyverificarsiestenformaestndar.
Todoslossatlitesartificialessondescubrimientoscientficosimportantes;por
lo tanto, algunos descubrimientos cientficos importantes no son inventos
norteamericanos puesto que algunos satlites artificiales no son
norteamericanos.
Elargumentodeductivoestformadoportresproposicionescategricasquecontienenlostrminos:satlites
artificiales,descubrimientoscientficos,inventosnorteamericanos,porlotantosepuedeafirmarquesetratade
unsilogismocategrico.
Laspremisasson:
Todoslossatlitesartificialessondescubrimientoscientficosimportantes,algunossatlitesartificialesnoson
norteamericanos.
Laconclusines:
Algunosdescubrimientoscientficosimportantesnosoninventosnorteamericanos.
Elpredicadodelaconclusineseltrminoinventonorteamericano,elcualseconstituyeeneltrmino
mayoryporconsiguiente,lapremisamayores,algunossatlitesartificialesnosonnorteamericanos.
Elsujetodelaconclusinesdescubrimientoscientficos,elcualseconstituyeeneltrminomenorypor
consiguientelapremisamenores,todoslossatlitesartificialessondescubrimientoscientficos.
97
Teniendoencuentaelanlisisanterior,sepuedeafirmarqueesunsilogismocategricoenformaestndar,el
cualsepuedeescribiras.
Premisamayor:algunossatlitesartificialesnosonnorteamericanos
Premisamenor:todoslossatlitesartificialessondescubrimientoscientficos
Conclusin:algunosdescubrimientoscientficosimportantesnosoninventosnorteamericanos.
Nemotecnia
FormaEstndardeunsilogismocategrico
Sigueelsiguienteprotocoloylograrselobjetivo....noolvidesdivertirte:
1.
2.
3.
4.
5.
Identificalostrestrminos
Separalaspremisasdelaconclusin
AnalizalaconclusinobteniendodeestaelSujetoyelPredicado
IdentificalapremisaMayor,ylapremisamenor
Identificaeltrminomedio.
Laspremisas
Primerapremisa:Soloestapremisacontieneeltrminomayor
Segundapremisa:Soloestapremisacontieneeltrminomenor
Existeuntrminomedioqueapareceenlasdospremisas
Laconclusin:Contiene2delos3trminosdelasiguientemanera:
Para identificar cual es la premisa mayor busca el predicado de la
conclusinyobservaencualdelasdospremisasapareceeste.
TrminoMayor
Predicadodelaconclusin
Trminomenor
Sujetodelaconclusin
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
98
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.17Validezdeunargumento
1.4.2.Validezdeunargumento
1.4.2.1.Argumentodeductivo
Unargumentoenelcuallaspremisasinvolucradasproporcionanbasesconcluyentesparalaverdaddela
conclusin,sellamaargumentodeductivo.
Consisteendeducirsuconclusinapartirdesuspremisas,medianteunaseriedeargumentoselementales,
cadaunodeloscualesseconoceyaceptacomovlido
1.4.2.2.ArgumentoVlido
Unargumentoquesigueunareglabienestablecidasedicequeesvlido;losargumentossejuzgancomo
aceptablesoinaceptablesenlamedidaenqueseanvlidos.
Validezoinvalidezdeunargumento
Paraprobarlavalidezoinvalidezdeunargumento,seutilizaunmtodobasadoenelhechodequestasson
caractersticaspuramenteformalesdelosargumentos,esdecir,quedosargumentosquetienenexactamente
lamismaforma;sonvlidosoinvlidos,independientementedelasdiferenciasdeltemaquetraten.
Especficamente,paraprobarlainvalidezdeunargumento,bastaconformularotroargumentoquetenga
exactamentelamismaformaytengapremisasverdaderasyconclusinfalsa
Enteora,lastablasdeverdadsonapropiadasparaprobarlavalidezdeunargumentodetipogeneral,peroen
la prctica son cada vez ms difciles de manejar a medida que aumenta el nmero de enunciados o
proposiciones que conforman dicho argumento. Un mtodo ms eficiente para probar la validez de un
argumento extenso consiste en deducir su conclusin a partir de sus premisas, mediante una serie de
argumentoselementales,cadaunodeloscualesseconoceyaceptacomovlido,esteprocesoeselquese
denominamtododeductivo.
1.4.2.3.Pruebaformaldevalidez
Se define una prueba formal que un argumento determinado es vlido, como una sucesin de
enunciados,cadaunodeloscuales,oesunapremisadelrazonamientodado,o,sededucedelosenunciados
precedentesmedianteunargumentovlidoelemental,detalformaqueelltimoenunciadooproposicin
constituyelaconclusindelargumentocuyavalidezsequieredemostrar.
Sedefineun argumentovlidoelemental,comounargumentoquesepuedeinterpretarcomoel
procesodesustituirenunciadosoproposicionesenlugardevariablesenunciativas.
99
1.4.3.Pruebadeinvalidez
Esobvioque,paraunargumentoinvlidonoexisteunapruebaformaldevalidez.Pero,sinosepuedehallar
unapruebadevalidezparaunargumento,esonoquieredecirqueseainvlidoyquenosepuedaconstruir
dichaprueba.
Acontinuacinsedescribeunmtodoqueestmuyrelacionadoconeldelastablasdeverdad,peroquees
muchomsbreve,enelcualsepruebalainvalidezdeunargumentohallandounnicocasoenelquese
asignanvaloresdeverdadalasvariablesdelenunciadodetalformaquelaspremisasseanverdaderasyla
conclusinfalsa,loquellevaaconcluirquelaformaargumentalesinvlida.
Ejemplo1
Probarlainvalidezdelsiguienteargumentoporelmtododeasignarvaloresdeverdad.
fr
pr
fp
1.
2.
3.
Paraprobarqueesteargumentoesinvlidosintenerqueconstruirunatabladeverdadcompleta,esnecesario
tenerclaroqueuncondicionalesfalsosolamentesisuantecedenteesverdaderoysuconsecuentefalso,
utilizandoestehechoseprocedeaasignarvaloresdeverdadalasproposicionesdelaconclusin,esdecir,si
F esverdaderoy P esfalso,entonces,laconclusinesfalsa.Sialaproposicin R seleasignaelvalor
verdadero,ambaspremisasseconviertenenverdaderas,porqueuncondicionalesverdaderosiemprequesu
consecuenteseaverdadero.Loanteriorpermiteafirmarquesialasproposiciones F y R selesasignaun
valorverdaderoyalaproposicinPunvalorfalso,entonceselargumentotendrpremisasverdaderasyuna
conclusinfalsa,conlocualquedaprobadoqueelargumentoesinvlido.
Conestemtodoloquerealmentesehaceesconstruirunrenglndelatabladeverdaddelargumento
indicado, la relacin se puede observar ms claramente cuando los valores de verdad se escriben
horizontalmente,delasiguienteforma:
Nemotecnia
PREMISASVERDADERAS
f
verdadero
verdadero
CONCLUSIN
FALSA
fr
falso verdadero
pr
verdadero
fp
falso
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
100
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.4.3.1.ArgumentoInvalido
Unargumentosepruebainvlidomostrandoqueporlomenosenunrenglndesutabladeverdadtodaslas
premisassonverdaderasperosuconclusinesfalsa.
Ejemplo2.
SiSandraesinteligenteyestudiamucho,sacarbuenascalificacionesyaprobarelcurso.SiSandraestudia
muchoperonoesinteligente,susesfuerzossernapreciadosysisusesfuerzossonapreciados,aprobarel
curso.SiSandraesinteligente,entoncesestudiamucho.Luego,Sandraaprobarelcurso.
Tomandoelsiguientelenguajesimblico
I:Sandraesinteligente
S:Sandraestudiamucho
G:Sandrasacarbuenascalificaciones
P:Sandraaprobarelcurso
A:losesfuerzosdeSandrasernapreciados
Sepuedenestablecerlassiguientespremisas:
1.
2.
3.
4.
(is)(gp)
[(s i)t][tp]
is
p
Esteargumentoesinvlidoporqueconcualquieradelassiguientesasignacionesdevaloresdeverdadla
conclusinPesfalsa.
i
s
g
t
p
i
s
g
________________________
_______________________
F
F
V
F
F
F
F
F
101
Ejemplo3
Silainflacincontinua,entonceslastasasdeinterspermanecernaltas.Silainflacincontina,entoncessi
lastasasdeinterspermanecenaltas,descenderlaactividadcomercial.Silastasasdeinterspermanecen
altas,entoncessila actividad comercial decrece,el desempleoaumenta.As,sieldesempleoaumenta,
continuarlainflacin.
Tomandoelsiguientelenguajesimblico:
P:lainflacincontina
Q:lastasasdeinterspermanecenaltas
R:descenderlaactividadcomercial
S:eldesempleoaumenta
Sepuedenestablecerlassiguientespremisas:
1.pq
2.p(qr)
3.q(rs)
/sp
Esteargumentoesinvlidoporquelasiguienteasignacindevaloresdeverdadhacelaspremisasverdaderas
perolaconclusinfalsa:
p q r s pq
F F F V
p(qr)
q(rs)
sp
Inconsistencia
En algunos casos no se puede dar ninguna asignacin de valores de verdad a los enunciados de un
argumentoquehaganverdaderassuspremisasyfalsasuconclusin,entonces,enestecasoelargumento
debeservlido.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
102
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.18InferenciasLgicas
1.4.3.1.InferenciasLgicas
Para definir las inferencias lgicas es necesario precisar algunos conceptos tales como razonamiento y
demostracin.
Razonamientoeselprocesoqueserealizaparaobtenerunademostracin.
Demostracin eselencadenamientodeproposicionesquepermitenobtenerotraproposicin,llamada
conclusin,apartirdeciertasproposicionesinicialessupuestascomoverdaderas,querecibenelnombrede
premisas.Enlaseccin
seharunanlisismsdetalladodelademostracin.
Las inferencias lgicas: son las conclusiones que se pueden obtener despus de realizar un
razonamiento,esterazonamientosolamenteesverdaderosisecumplenlassiguientescondiciones:
1. Laspremisasdebenserverdaderas.
2. Duranteelprocesodededuccinlaspremisasdebenrelacionarsesujetasalasleyesdelalgica.
As,elconocimientoobtenidodeproposicionesverdaderaspreestablecidas(premisas),yaplicandolas
leyesdelalgicaaesaspremisas,sedenominaconclusin.
Acontinuacinseplanteanalgunasreglasdeinferencia,seproponealestudiante,comoejercicio,probarsu
validezutilizandolastablasdeverdad:
Laclave
PONENS=PONER
TOLLENS=SACAR=NEGAR
103
Reglasdeinferencia:
Amedidaquevallasestudiandolasreglasdeinferenciasencontrsquestassonusadascontinuamenteenel
lenguajenatural.Lasusamosparaobtenerconclusionesqueconsideramosnormalmentevlidas.Loque
haremosahora,esdetenernosaanalizarporquconsideramosaestasinferenciasvlidas,aprenderemosque
alconstruirlatabladeverdaddelainferencialgicasepuededeterminarlavalidezdelamisma,alavezque
aprendesaidentificarlasdiferentesinferenciaslgicasenlosrazonamientosquehacemoscontinuamente.
Poderidentificarunainferencialgicaypoderclasificarlacomovlidaonomediantelaconstruccindelatabla
deverdadtedarlasbasesparaelaborarargumentosslidos,presentesentodaslasactividadesacadmicas
yaseaenlaelaboracindeensayosodebates,comoenlasactividadescotidianas.
Veamoslaprimeraregla,denominadaModusPonendoPonensMPP,tambinllamadasimplementeMP
ModusPonens,nombrequepuedesleercomoModoAfirmando_Afirmando,veamos:
1.4.3.1.1.ModusPonens(M.P)
[(p q) p] q
Cmointerpretarestaley?,observaelsiguienteejemplo:
DanielescuchalasiguienteafirmacinSilluevehacefro
Enlasiguienteescena,Danielobservallover,esdecirllueve
QupuedeconcluirDaniel?Queharfro,esdecirhacefro
Paraobtenertanobviaconclusin,Danielhautilizadolamscomndelasinferenciaslgicas,la
cualdenominaremosMPPModusPonendoPonens.
Enesteejemplo,lasproposicionessimplesson:
p=llueve
q=hacefro
Ejemplo:
ModusPonens(M.P)
1Silluevehacefro
2llueve
3luegoHacefro
Lasproposicionesasdeclaradas,nospermitenexpresarenlenguajenaturalloexpresadoenlenguaje
simblicoas:
p q=Silluevehacefro
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
104
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Asquenuestroejemplopuedeserrepresentadoenellenguajesimblicodelasiguientemanera:
pq
p
q
Selee:sipentoncesq
Selee:ocurrep
Selee:dedondeq
Elsmbolo(dedonde)representalaconclusindelaspremisasdadas;esdecirquelaconclusin,
enestecaso,eslaproposicinq
Ahorayaestamoslistosparainterpretarlaregladeinferenciatalycomonosfuepresentadaenuncomienzo,
estoes:
[(p q) p] q
Cmoleerlaregladeinferencia?
p q
p
Sipentoncesq
yp(ysedap,yocurrep)
Entoncesq(enconclusinq)
Esdecirque[(p q) p] qpuedeserledocomoSipentoncesqyseocurrep,luego
ocurreq
Lamagiadelasuntoradicaenquemediantelaaplicacindeloqueyahasaprendidoenelcaptulode
conectivos lgicos podemos determinar la validez de la inferencia lgica Modus Ponen mediante la
construccindelatabladeverdad,delacualesperamosobtenerunatautologa.
Cmopuededecirnoslalgicaqueestamosargumentandobien?Cmopuedelalgicamedianteunatabla
deverdaddemostrarnosqueestamosusandounainferencialgicacorrectaoincorrecta?
TabladeverdadparalainferencialgicaMPP:
p
F
F
V
V
F
V
F
V
p q
V
V
F
V
(p q) p
F
F
F
V
[(p q) p] q
V
V
V
V
105
Observa que efectivamente hemos obtenido una tautologa, es decir, la inferencia lgica que estamos
utilizandoescorrecta.
Acontinuacinsepresentannuevereglasdeinferencia.Enelladoizquierdoseenuncialaregladeinferencia
yenelladoderechoseproponeunaaplicacindelaleydeinferenciaenellenguajenatural:
1.4.3.1.2.ModusTollens(M.T)
pq
q
p
Selee:sipentoncesq
Selee:ocurre~q
Selee:dedonde~p
Ejemplo:
ModusTollens(M.T)
Silluevehacefro
nohacefro
luegonollovi
1.4.3.1.3.SilogismoHipottico(S:H)
pq
qr
pr
Selee:sipentoncesq
Selee:siqentoncesr
Selee:dedonde
sipentoncesr
SilogismoHipottico(S:H)
Silluevehacefro
Sihacefrollevounabrigo
luegosilluevellevounabrigo
Ejemplo:
1.4.3.1.4.Silogismodisyuntivo(S.D)
Pvq
p
q
Silogismodisyuntivo(S.D)
CaeCaraoSello
Nocaysello
luegocaycara.
Ejemplo:
1.4.3.1.5.Dilemaconstructivo(D.C)
Dilemaconstructivo(D.C)
Siestudioaprendoysiduermo
(pq)(rs)
descanso.
pvr
Estudiodorm.
qvs
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
106
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.4.3.1.6.Absorcin(Abs)
pq
p(qp)
Absorcin(Abs.)
Siestudioaprendo
Estudio,luegoaprendoyestudio
1.4.3.1.7.Simplificacin(Simp.)
Simplificacin(Simp.)
Estudioyaprendo
Luego,estudio
pq
p
1.4.3.1.8.Conjuncin(Conj)
Conjuncin(Conj.)
Estudio
Trabajo
Luego,etudioytrabajo
p
q
pq
1.4.3.1.9.Adicin(Ad.)
p
pvq
Adicin(Ad.)
Estudio
Luego,etudiotrabajo
107
Acontinuacinseestudianmsafondolascuatroreglasdeinferenciamscomunes,lascualescorresponden
alosargumentoselementalesycuyavalidezsepuedeestablecerpormediodelastablasdeverdad:
ModusPonendoPonens(MPP)
[(pq) p]q
ModusTollendoTollens(MTT)
[(pq) ~q]~p
ModusTollendoPonens(MTP)
[(pvq) ~p]qo
[(pvq) ~q]p
SilogismoHipottico(SH)
[(pq) (qr)](pr)
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
108
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
ModusPonendoPonens(MPP)
Estemtododeinferenciaestablecequesiunaimplicacinesciertayademstambinloessuantecedente,
entoncessuconsecuenteesnecesariamenteverdadero;deformasimblicaestoseexpresaas:
[(p q) p] q
Ejemplo1.
Premisa1: SiJulinestudiaIngenieradesistemasadistancia,entonceslestudiaenlaUNAD.
Premisa2: JulinestudiaIngenieradesistemasadistancia.
Conclusin: JulinestudiaenlaUNAD.
Simblicamente,elejemplo1seexpresaas:
Si
p:JulinestudiaIngenieradeSistemasaDistancia
q:lestudiaenlaUNAD.
Procedemosahoraautilizarellenguajesimblicodefinido,as:
Premisa1:p q
Premisa2:p
Conclusin:q
Ejemplo2.
Premisa1: Six+y=z,entonces,y+x=z.
Premisa2: x+y=z
Conclusin: y+x=z
Simblicamente,sip:x+y=z
q:y+x=z
Entonces:
Premisa1:pq
Premisa2:p
Conclusin:q
Ejemplo3.
Premisa1: ~ps
Premisa2: ~p
Conclusin: s
Ejemplo4.
Premisa1: ~r~t s
Premisa2: ~r
Conclusin: ~t s
109
ModusTollendoTollens(MTT)
Estaregladeinferenciadicequesiunaimplicacinesverdaderaysuconsecuenteesfalso,entoncessu
antecedentesernecesariamentefalso;simblicamenteseexpresaas:
[(p q) ~q] ~p
Ejemplo1
Premisa1: Siunngulodeuntringuloesmayorde90,entonceslasumadelosotrosdosnguloses
menorde90.
Premisa2: Lasumadelosotrosdosngulosnoesmenorde90.
Conclusin: Unngulodeuntringulonoesmayorde90.
Simblicamente:
p:
q:
Unngulodeuntringuloesmayorde90.
Lasumadelosotrosdosngulosesmenorde90.
Premisa1:
pq
Premisa2:
~q
Conclusin:~p
Ejemplo2
Deducirunaconclusindelsiguienteconjuntodepremisas.
Premisa1: q~r
Premisa2: ~(~r)
Conclusin: ~q.
Ejemplo3.
Premisa1: pvqr
Premisa2: ~r
Conclusin: ~(pvq) ~p~q DMorgan.
Ejemplo4.
Demostrarquelaconclusinesconsecuenciadelaspremisasdadas.
Premisa1: ~b
Premisa2: ab
Premisa3: ~ac.Demostrarc.
Premisa4:
Delapremisa2ydelapremisa1,[(ab)~b]sepuedeconcluir~apor
elMTT.
Premisa5.
Delaspremisas3y4,[(~ac) ~a]sepuedeconcluirlaproposicinc
porelMPP.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
110
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
ModusTollendoPonens(MTP)
Estaleyseenunciaas:
Siunadisyuncinesverdaderayunadesusproposicionessimplesesfalsa,entoncesnecesariamentelaotra
proposicinserverdadera.Simblicamenteseescribeas:
[(pvq) ~p] qo[(pvq) ~q] p
Ejemplo1
Premisa1: Olaenergainternadeuntomopuedecambiarconcontinuidadocambiasloasaltos.
Premisa2: Laenergainternadeuntomonopuedecambiarconcontinuidad
Conclusin: Laenergainternadeuntomocambiasloasaltos.
Simblicamente
p:
Laenergadeuntomopuedecambiarconcontinuidad
q:
Laenergadeuntomoslocambiaasaltos
Premisa1:
pvq
Premisa2:
~p
Conclusin:
Q.
Ejemplo2
Premisa1: ~qvr
Premisa2: ~r
Conclusin: ~q
Ejemplo3
Premisa1: (s t)vr
Premisa2: ~(s t)
Conclusin: r
Ejemplo4.
Demostrarquelaconclusinesconsecuenciadelaspremisasdadas.
Premisa1: ~qvs
Premisa2: ~s
Premisa3. ~(r s)q.
Demostrar:r s
Premisa4: Delaspremisas1y2sepuedeconcluir~qporMTP
Premisa5: Delaspremisas3y4sepuedeconcluir~(~(r s))porMTT,queesequivalentear
sporlaleydeladoblenegacin.
111
SilogismoHipottico(SH)
Esunargumentoqueseexpresasimblicamenteas:
[(p q) (q r)] (p r)
Ejemplo1.
Premisa1. Sielaguasehiela,entoncessusmolculasformancristales.
Premisa2. Silasmolculasformancristales,entonceselaguaaumentadevolumen.
Conclusin. Sielaguasehiela,entonceselaguaaumentadevolumen.
Simblicamente
Seanlasproposiciones p:Elaguasehiela
q:Susmolculasformancristales
r:Elaguaaumentadevolumen
Premisa1.
pq
Premisa2.
qr
Conclusin.pr
Ejemplo2
Premisa1.
q~p
Premisa2.
~pr
Conclusin.
qr
Ejemplo3
Premisa1.
svtrvq
Premisa2.
rvq~p
Conclusin.
svt~p
Ejemplo4.
Apartirdelaspremisasdadasindicarlademostracindelaconclusin.
Premisa1: ~r
Premisa2: ~pq
Premisa3: qr
Demostrarp
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
112
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplosdeaplicacindelasleyesdeinferencia:
Ejemplo1
Enelsiguienteejercicioseproponeunejemplodeconstruccindeunapruebadevalidez:
SiganaGloriaoHctor,entoncespierdentantoJorgecomoKelly.Gloriagana.Porlotanto,
pierdeJorge.
Para analizar y construir la prueba de validez, es necesario utilizar un lenguaje simblico que permita
simplificarlosenunciados,as:
Identificacindelaspremisas:
G
H
J
K
=Gloriagana
=Hctorgana
=Jorgepierde
=Kellypierde
Porlotantolapruebadevalidezser:
1. (GvH)(J K)
2. G
J (Se lee: de donde J, J es la premisa que
esperamosdemostrar).
3. GvH 2,Ad.(porAdicinen2)
NecesitamosllegaraJdesdelaG,observamosqueparallegara
laJserequiereGvH,comoslotengolaG,adicionoH.Porlo
tantoaplicolaleydeAdicinenlapremisa2,loqueseescribe2,
Ad.(Adindicaqueapliqulaleydeadicin)
4. JK
1,3M.P
J K es la consecuencia de G v H aplicando la ley de
inferenciaMP(ModusPonendoPonens)conlaspremisas1y3.
5. J
4,Simp.TenemosJK,perosolonosinterezalaJ,porlo
tanto simplificamos.Aplicandolaleydeinferenciade
simplificacinenlapremisa4.
113
Ejemplo2
Sisiguelloviendo,entonceselrocrecer.Sisiguelloviendo.Sisiguelloviendoyelrocrece,entoncesel
puenteserarrastradoporlasaguas.Silacontinuacindelalluviahacequeelpuenteseaarrastradoporlas
aguas,entoncesnosersuficienteunsolocaminoparatodalaciudad.Obienunsolocaminoessuficiente
paratodalaciudadobienlosingenieroshancometidounerror.Portanto,losingenieroshancometidoun
error.
Utilizandoelsiguientelenguajesimblico:
C:continalloviendo
R:elrocrece
P:elpuenteesarrastradoporlasaguas
S:unsolocaminoessuficienteparatodalaciudad
E:losingenieroshancometidounerror
Lapruebaformaldevalidezes:
1.
2.
3.
4.
CR
(CR)P
(CP) S
SvE
/E
__________________________________
5.
C(CR) 1,Abs.
6.
7.
8.
CP
S
E
5,2,S.H.
3,6,M.P.
4,7,D.C.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
114
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo3
Siunhombreseorientasiempreporsusentidodeldeber,tienequerenunciaralgocedemuchosplaceres,y
siseguasiempreporsudeseodeplacer,amenudoolvidarsudeber.Obienunhombreseguasiemprepor
susentidodeldeber,obiensiempreseorientaporsudeseodeplacer.Siunhombreseguasiempreporsu
sentidodeldeber,nodescuidaramenudosudeber,ysisiempreseguaporsudeseodeplacer,no
renunciaralgocedemuchosplaceres.Luego,unhombredeberenunciaralgocedemuchosplaceressiy
slosinodescuidaamenudosudeber.
Tomandoelsiguientelenguajeformal:
P:seorientaporsusentidodeldeber
Q:renunciaalgocedeplaceres
R:seguaporsudeseodeplacer
S:olvidarsudeber
Laspremisasquedanas:
1.PQ
2.RS
3.PvR
4.P S
5.R Q/Q S
115
Ejemplo4
Sinoocurre,quesiunobjetoflotaenelaguaentoncesesmenosdensoqueelagua,entoncessepuede
caminarsobreelagua.Peronosepuedecaminarsobreelagua.
Siunobjetoesmenosdensoqueelagua,entoncespuededesplazarunacantidaddeaguaigualasupropio
peso.
Sipuededesplazarunacantidaddeaguaigualasupropiopeso,entonceselobjetoflotarenelagua.
Portanto,unobjetoflotarenelaguasiyslosiesmenosdensoqueelagua.
Utilizandoelsiguientelenguajeformal:
P:unobjetoflotaenelagua
Q:esmenosdensoqueelagua
R:sepuedecaminarsobreelagua
S:puededesplazarunacantidaddeaguaigualasupropiopeso.
Laspremisasenformasimblicason:
1.
2.
3.
4.
(PQ)R
R
QS
SP/PQ
DemostrarPQequivaleademostrarquePQQP.
____________________________________________
5.
PQPorMPPentre1y2
6.
QPPorS.Hentre3y4
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
116
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.19Demostracindirectaeindirecta
1.4.1.Lademostracin
Lademostracinesunrazonamientoquepruebalavalidezdeunnuevoconocimiento;eselenlaceentrelos
conocimientosrecinadquiridosylosconocimientosanteriores.Losprocedimientosdedemostracinpermiten
establecer la conexin lgica entre las proposiciones fundamentales de la teora, sus consecuencias
sucesivas,hastadeducirlaconclusinotesisqueassedemuestra.
Losprincipalestiposdedemostracinson:
1.4.1.1.Lademostracindirecta
Lademostracindirectadeunaproposicint(teorema)esunconjuntodeproposicionesopremisasqueson
postuladosoproposicionesdevalidezaceptadaydelascualesseinfieretcomoconsecuenciainmediata.
Ejemplo1.
Dadaslaspremisas: 1.p q
2.rq
Concluir:
t.p r
Demostracin:
Ejemplo2
Demostrarquesixesimpar,entoncesquex2esimpar.Elenunciadogeneralassiguientespremisas:
1.
2.
xesimpar
x=2n+1,dondenesunentero
Hayquedemostrarquex2=(2n+1)2esimpar.
Demostracin:
Sixesimpar,entonces x=2n+1,entoncesx2 =(2n+1)2=4n2 +4n+1,estaexpresinse
puedeescribirdelaforma2(2n2+2n)+1,tomandoeltrmino2n2+2ncomoelenterom,setiene
que:
x2=(2n+1)2=2m+1,esdecir,x2esunnmeroimpar.
117
1.4.1.1.Lademostracinindirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando que las
consecuenciasdesucontrariasonfalsas.
Ejemplo1.
Construirlademostracinindirectade:
Six2espar,entoncesxespar,(conxentero)
Supongaqueexistealmenosunenteroxtalquex2 esparyxesimpar.Porelejemplo2analizadoenla
demostracindirecta,sesabequesixesimpar,entoncesx2esimpar,luegoesimposiblequexseaimpary
quex2seapar.Estaeslacontradiccinbuscada.
1.4.1.2.Lademostracinporrecursin
Cuandolatesissepruebapormediodeinduccinmatemtica.
Ejemplo2.
Estetipodedemostracionesseutilizancuandolosenunciadostienenunaproposicinabiertaenunavariable
n,yesnecesariodemostrarquetalproposicinseverificaparatodosloselementosnquepertenecenaun
subconjuntoinfinitodadosobrelosnmerosenteros,elaxiomadelainduccinmatemticaeselsiguiente:
Dadounconjuntodenmerosenteros A={n/n a} yunaproposicindelaforma P(n), sepuede
demostrarlaverdaddeestaproposicinestableciendolossiguientespasos:
I.
II.
III.
P(a)esverdaderacuandosesustituyenporaenP(n)
Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P(k) es
verdadera,aestaproposicin,selellamaHiptesisdeInduccin.
Sedemuestraqueparaelsiguientetrminoalksimo,oseak+1,P(k+1)esverdadera.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
118
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo3.
Demostrarqueparatodoentero 1,severificaque:P(n):1+2++n=n(n+1)/2
I.
II.
III.
P(1)esverdaderaporque:1=1(1+1)/2
HiptesisdeInduccin:P(k):1+2++k=k(k+1)/2paratodok 1
Demostrarparaeltrminok+1,esdecir,probarqueseverifica:
1+2++k+k+1=(k+1)(k+2)/2.
Porhiptesisdeinduccin:
1+2++k=k(k+1)/2paratodok 1,sumandok+1acadamiembrodeesta
igualdadseobtiene:
1+2++k+k+1=k(k+1)+k+1
2
2
=k +k+2k+2
2
=k2+3k+2
2
=(k+1)(k+2)/2
resolviendolasuma
sumandotrminossemejantes
factorizando
loquesequerademostrar.
119
1.4.1.3.Lademostracinporrefutacin
Eselrazonamientoquepruebalafalsedaddeunahiptesisolainconsecuenciadesusupuestademostracin;
losmtodosderefutacinsonlarefutacinporcontradiccinylarefutacinporcontraejemplo.
1.4.1.3.1.Larefutacinporcontradiccin
Refutarlaproposicinelcuadradodetodonmeroimparesunnmeropar:
Comotodonmeroimparsepuedeescribirdelaforma2n+1,dondenesunentero,ypuestoquetodo
nmeroparsepuedeescribirenlaforma2m,conmunentero,laproposicindadaimplicaque:
(2n+1)2=2m
o,4n2+4n+1=2m
paraalgnnyalgnm
Sesuponequeambosmiembrosdebenrepresentarelmismoentero,peroelmiembrodelaizquierdanoes
divisiblepor2,mientrasqueeldeladerechasiesdivisiblepor2.Estoesunacontradiccinevidentey,porlo
tanto,laproposicindadaesfalsa.
1.4.1.3.2.Larefutacinporcontraejemplo
Refutarlaproposicinelcuadradodetodonmeroimparespar:
Sedebeencontrarunnmeroimparcuyocuadradoseaimpar,como52=25,quedarefutadalaproposicin.
Sedejacomoejerciciodeconsultainvestigarotrosejemplosdelostiposdedemostracinydelosmtodosde
refutacin.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
120
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Captulo5
Induccin
ObservacinExperienciaProbabilidad
121
1.5.Captulo5:Lainduccin
ObjetivoGeneral
Utilizarelmtodoinductivoparaestablecersilaspremisasqueconformanunargumentosonverdaderas,sin
tenerquedemostrarlaverdaddelaconclusin.
Objetivosespecficos
1.
Identificarlosargumentosanalgicosyclasificarloscomoprobablesonoprobables.
2.
Evaluarargumentosanalgicos.
3.
Refutarunargumentopormediodeunaanaloga.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
122
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Introduccin
Existenvariasclasesdeargumentos,unospermitendemostrarlasconclusionesapartirdelavalidezdesus
premisas(mtododeductivo),mientrasqueotrosslobuscanestablecersilaspremisassonprobableso
probablemente verdaderas, sin pretender demostrar la verdad de sus conclusiones como consecuencia
necesariadelaspremisas,estetipodeargumentosrecibeelnombredeArgumentosInductivos.
observacinyexperiencialasbasesdelainduccin
Elmtodoinductivoesuntipoderazonamientoquesederivadelaobservacinydelaexperiencia,locuallo
hacetotalmentediferentealmtododeductivo(estudiadoenelcaptuloanterior)ysebasafundamentalmente
endosaspectos:
1. Enlasemejanzaquehayentrelosobjetos.OBSERVACIN
2. Ensuponerqueunsucesopuedevolveraocurrirteniendoencuentaqueencondicionessimilaresha
sucedido.EXPERIENCIA
Elprimeraspectohacereferenciaalaobservacinyelsegundoenlaexperiencia.
laobservacinylaexperiencianosinducenaunaconclusin
Laaplicacinoelanlisisdeestosdosaspectospermiteninferiropronosticarlosefectosqueproducir
la ocurrencia del suceso, tomando como referencia lo ocurrido con eventosanterioresde caractersticas
similares.
123
LeccinNo.20Argumentosinductivos
1.5.1.Argumentosinductivos
Elproblemadelainduccin:
Una induccintpica,analizada sobreelmodelodeladeduccin,tienecomopremisas
formulacionesparticulares,porejemplo:eleventoadeltipoX,esseguidodeleventob,deltipoY,elevento
cdeltipoXesseguidodeleventoddeltipoY,yassucesivamente;tieneporconclusinunaformulacin
general,Sinrestricciones:eventosdeltipoXsonseguidosporeventosdeltipoY.
Enestecasosurgeunproblemalgicoporquesegnelmtododeductivo,losargumentosdeesaformano
sonvlidos,demaneraquenosepuedeinferiresaconclusin,nisabersiesverdaderabasadaenlaverdad
delaspremisas.
Elproblemalgicodecmojustificaresetipoderazonamientossellamatradicionalmenteelproblemadela
induccinlasrazonesdeesteproblemason:
1. Como la conclusin es general, tendr una aplicacin ms amplia de la que
cualquierconjuntodepremisaspuedagarantizar.LACLAVE(Laconclusines
msgeneralquelaspremisas)
2.Laverdaddelaconclusinnopuedenuncasergarantizadaporlaverdaddelas
premisasporquesiemprepuedepresentarseunnuevocasoqueconviertaenfalsala
conclusin. LA CLAVE(En algn momento se puede llegar a dar una
premisafalsa).
Lo anterior permite afirmar que la induccin esdeficiente con respecto al modelo deductivo,visto como
procedimientodedescubrimientoycomoprocedimientodeconfirmacin.
Delosargumentosinductivoselqueseusaconmayorfrecuenciaeselanalgico.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
124
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.5.2.Argumentoinductivoporanaloga
Laanalogaeslabasedelamayoradelosrazonamientosquevandelaexperienciapasadaaloque
sucederenelfuturo.
Lamayoradelasinferenciascotidianasprocedenporanaloga.
Ningnargumentoporanalogapretendesermatemticamentecierto.
Losargumentosanalgicosnoseclasificancomovlidosoinvlidos,lonicoquesepuede
afirmardeellosesquesonprobablesonoprobables.
Laanalogatambinseusaenlaexplicacin,dondealgonofamiliarsehaceinteligiblepormediodeuna
comparacinconalgunaotracosa,presumiblementemsfamiliar,conlacualtieneciertassimilitudes.
Elusodeanalogasenladescripcinylaexplicacinnoesigualquesuusoenlaargumentacin,aunqueen
algunoscasospuedenoresultarfcildecidirculusosepretendehacer.
Hacerunaanalogaentredosomsentidadesesindicarunoomsaspectosenlosquesonsimilares,
mientras que caracterizar un argumento por analoga es en trminos generales, describir el
argumentodadodiciendoquecontienepremisasqueafirman,primero,quedoscosassonsimilaresendos
aspectosy, segundo, que una de esas cosastiene una caracterstica adicional, de lo cual se extrae la
conclusindequelasegundacosatienetambinesaotracaracterstica.
125
Ejemplo1.
Identifiqueenelsiguienteprrafoelargumentoanalgico
LosescritoresJHONDOLLARDyNEALE.MILLER,ensulibroPersonalidadypsicoterapia
afirman:
Hemosdichoquelaspersonasnormalestienenpocamotivacinparadedicarun
esfuerzoespecialalestudiodesmismas.Lomismoesciertodelaaritmtica.Sila
presindelospadresydelaescuelanoproporcionaraunamotivacin,habraun
aprendizajeescasodelasmatemticas. Poranaloga,pareceposiblequepueda
motivarseyprepararsealosniosparausarsushabilidadesmentalesconelfinde
resolver problemas emocionales. En la actualidad, no reciben casi ninguna
preparacinparaeldesarrollodeestaimportantecapacidad.
Enesteprrafo,elargumentoanalgicoes:Silapresindelospadresydelaescuelanoproporcionarauna
motivacin, habra un aprendizaje escaso de las matemticas. La analoga se basa en la semejanza.
OBSERVACIN
Ejemplo2
Sialguiendicequelehanextradounamuelasinanestesiayotroleexpresasuconsideracin,entoncessurge
lapregunta:Cmosabequeledoli?Unarespuestapodraser:Yoheidoalodontlogoyscuantoduele
unasimplecuracinsinanestesia,cmoserunaextraccin?,ltieneelmismotipodesistemanerviosoque
yo,porlotantopuedoinferirqueenesascondiciones,sintiunterribledolor
Enestecasoelargumentoanalgicosefundamentaenla EXPERIENCIA, tendiendoencuentaqueen
condicionessimilaresyasucedi.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
126
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
1.5.3.Evaluacindelosargumentosanalgicos
Ningn argumento por analoga es deductivamente vlido, en el sentido de que la conclusin no es
consecuencianecesariadelaspremisas,loquesepuedeestableceressisusconclusiones sonmso
menosprobables.Paralograrestepropsitoesindispensablefijaralgunoscriteriosquepermitanllevara
cabolaevaluacindeargumentosanalgicos,estosson:
Criteriosdeevaluacin:
1.5.3.1.Nmero de entidades entre las que se establece la analoga
(AnalogaporEXPERIENCIA)
Significaqueesimportantetenerencuentaelnmerodeveces
que ha ocurrido el suceso, esto da ms consistencia a la
conclusinyunamayorprobabilidaddequeserepitaelsuceso.
Ejemplo:
Siunelectrodomsticoquesecomproenundeterminadoalmacnsalidefectuoso,
unaconclusinapresuradaseraafirmarqueloselectrodomsticosquesecompran
enesealmacnsalendefectuosos;perosiesamismaconclusinsehacesobrela
base de que 10 electrodomsticos comprados all han resultado defectuosos, la
conclusincobramayorvalidezylaprobabilidaddequesigaocurriendolomismo
crece.
1.5.3.2.Nmerodeaspectosenloscualeslascosasinvolucradassedice
quesonanlogasOBSERVACICN
Este criterio hace referencia a todos los aspectos en que los
sucesossonanlogos,ycuandoseencuentraunmayornmero
de circunstancias o caractersticas de semejanza entre los
sucesos,mayorserlavalidezdelaconclusin.
Ejemplo:
Elhechodequeunpardezapatosnuevo,hasidocompradoenel
mismoalmacnqueelparviejo,elcualfuemuyresistente,es
unapremisadelaquesesiguequeprobablementeelnuevopar
127
sertambinresistente.Perolamismaconclusinsesiguecon
mayor probabilidad si la premisa afirma no solamente que los
zapatosfueroncompradosenlamismatienda,sinoquesondela
mismamarca,queeranlosmscarosdelalmacnyquetienenel
mismoestilo.
1.5.3.3.Lafuerzadelasconclusionesconrespectoasuspremisas
Lafuerzadelasconclusionesconrespectoasuspremisas.
En este caso el criterio afirma que con premisas iguales se pueden generar
conclusionesdiferentesyquesuvalideznodependedelaspremisassinodelafuerza
delaconclusin.
Ejemplo:
Unapersonaadquiriuncarronuevoylahadadounrendimientode10Km/litrode
gasolina,otrapersonapuedeinferirquesucarronuevo,delamismamarcaymodelo
ledarunrendimientoigual(locualesprobable);perosilainferenciaesquesucarro
ledarunrendimientosuperiora10Km/litro,entoncesestaconclusinsermenos
probableylaconclusinsermuchomsdbilsiseafirmaqueelautomvilrendir
exactamente10Km/litro.
1.5.4.Refutacinpormediodeunaanalogalgica
Unmtodobsico,paraevaluarcomovlidounargumentodesdeelpuntodevistalgico,eselquerecurrea
laanalogaparademostrarqueotroargumentoestequivocadooesincorrecto.
Estemtodoconsisteenrefutarunargumento,mostrandoquesuspremisasnoapoyanlaconclusinquese
pretende sostener,sin necesidad de demostrar que por lo menosuna de suspremisas esfalsa o est
equivocada.
Siunargumentotienepremisasverdaderasperoconclusinfalsa,estoesbasesuficienteparaclasificarlo
comoinvlido;pero,sinosesabesilaspremisassonverdaderasofalsas,sepuedeprobarsuinvalidez
construyendounaanalogarefutadora
Sedefineunaanalogarefutadoradeunargumentodadocomounargumentodeexactamentelamismaforma
oestructuradelargumentodado,perocuyaspremisasseconocencomoverdaderasysuconclusincomo
falsa,aslaanalogarefutadoraresultainvlidaycomoelargumentooriginaltienelamismaformatambinse
considerainvlido.
Ejemplo6
Elsiguientetextomuestraunaanalogarefutadora.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
128
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
ElseorCliffordA.WrigthafirmaqueIsraelnoesunademocraciaporqueotorgaal
judasmo una posicin especial dentro de la Ley. Realmente es as? La Ley
britnicacontra la blasfemiaprotege solamente a lascreenciasde los cristianos.
Esasleyesnovicianlosreclamosbritnicosqueesunpasdemocrtico,aunquese
puedeargirqueenvirtuddeellossudemocraciaesmenosperfecta. Israeltiene
sufragiouniversal,unsistemamultipartidistayunaprensalibre.Paratodos,menos
paralosciegospartisanos,estosignificaqueesunademocracia.
LACLAVE
Observastecomolainduccinestrelacionadaconlaprobabilidad?
129
Unidad2
lgebraBooleanay
circuitoslgicos
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
130
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
2.Unidad2
OBJETIVOGENERAL
Teniendoencuentaqueloscircuitosdigitalesolgicosoperandeformabinaria,emplearellgebrabooleana
comofundamentotericoparaelanlisis,diseoydescripcindelfuncionamientodelascompuertaslgicas
quesonloscircuitoslgicosfundamentales.
OBJETIVOSESPECFICOS
1.
2.
3.
4.
Describirlaoperacindelascompuertaslgicas,mediantesustablasdeverdad.
SimplificarcircuitoslgicoscomplejosmediantelaaplicacindelasleyesdellgebradeBoole
SimplificarexpresionesbooleanasmedianteelusodelosmapasdeKarnaugh
Emplearcompuertasparaimplementarelcircuitorepresentadoporunaexpresinbooleana
131
Captulo1
Axiomasdellgebra
booleana
+Uv
*
==
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
132
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
2.1.Captulo1:AlgebraBooleanayCircuitosLgicos
INTRODUCCIN
133
LeccinNo.21VariablesyconstantesBooleanas
2.1.1.Variablesyconstantesbooleanas
Lasvariablesyconstantesdellgebrabooleanaslopuedentenerdosvalores:elcero(0)oeluno(1).Una
variable booleana, denominada tambin variable lgica, se emplea para representar el nivel de voltaje
presenteenlosterminalesdeentradaysalidadeuncircuito.Enalgunoscasosesteniveldevoltajerecibeel
nombredenivellgicodelavariable.Cuandoelniveldelvoltajeesbajo(entre0y0.8voltios)seemplean
trminoscomofalso,desactivado,no,interruptorabierto(0).Cuandoelnivellgicoesalto(por
ejemplo entre 4 y 5 voltios), se emplean trminos como verdadero, activado, si, interruptor
cerrado(1).
Ellgebrabooleanaseutilizaparadescribirlosefectosqueproducenlasentradaslgicassobrelosdiversos
circuitosdigitales(circuitoslgicos).
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
134
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.22AxiomasdellgebraBooleana
2.1.2.AxiomasdelAlgebraBooleana
Laspropiedadesdelsistemamatemticodelalgicasimblicasepuedenaplicarallgebradeconjuntos;para
talfin,seformaunsistemamatemticoabstractollamado lgebraBooleana, enelcuallossmbolos
carecendesignificado,detalmaneraqueestalgebrapuedeaplicarseaotrasreas.
Paradefinirestesistemaabstractoesconvenienterecordarqueunaoperacinbinariaesunafuncinque
asignaacadaparejaordenadaunsoloelemento.
UnlgebrabooleanaesunsistemaalgebraicoconstituidoporunconjuntoAformadoporelementosa,b,c,
z, dos operaciones binarias simbolizadas por # y * definidas sobre el conjunto A y una relacin de
equivalencia simbolizada por =, tales que, para cualesquiera elementos a, b y c de A, se verifican las
siguientespropiedadesoaxiomas:
1. Cerraduraoclausurativa:
(a#b)y(a*b)tambinsonelementosdelconjuntoA
2.Conmutativa:
(a#b)=(b#a)y(a*b)=(b*a)
3.Asociativa:
(a#b)#c=a#(b#c)y(a*b)*c=a*(b*c)
4.Distributiva:
a#(b*c)=(a#b)*(a#c)ya*(b#c)=(a*b)#(a*c).
5.Identidad:
a#0=aya*e=a
Loselementos0yerecibenelnombredeelementosneutrosparalasoperaciones# y*
respectivamente.
6.Complementacin:
ParacadaelementoaquepertenecealconjuntoAexisteunelementoaenAtalque: a#
a=0ya*a=e.
Elelementoasellamaelementoinversoparalasoperaciones#y*
135
LeccinNo.23lgebraBooleanaensistemasnumricos
2.1.3.AlgebraBooleanaensistemasnumricos
Paraestesistemasepuedeadaptarlasiguientesimbologa:
A:Elconjuntodelosenteros(Z)
Operacionesbinarias:+
*
Relacindeequivalencia:=
adicin
producto
igualdad
Acontinuacinserealizalaverificacindequeelconjuntodenmerosenteros(Z)esunlgebrabooleana,
esdecir,quesatisfacedadaunadelassiguientespropiedadesparacualesquieraa,b,cydelementosdel
conjuntoZ.
1.Cerradura:a+b=cya*b=d
2.Conmutativa:a+b=b+aya*b=b*a
3.Asociativa:a+(b+c)=(a+b)+c=(a+c)+b
a*(b*c)=(a*b)*c=(a*c)*b
4.Distributiva:a+(b*c)=(a+b)*(a+c)
a*(b+c)=(a*b)+(a*c)
5.Identidad:ExistenenZelementos0y1talesque:
a+0=aya*1=a
El0yel1recibenelnombredeelementosneutrosparalaadicinylamultiplicacinrespectivamente.
6.Complementacin:Paracadaelementoaquepertenecealconjuntoz,existeunelemento(a)que
tambinpertenecealconjuntodeenterostalque:
a+(a)=0,(a)recibeelnombredeinversoaditivodelelementoa.
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.24lgebraBooleanadelosConjuntos
2.1.4.AlgebraBooleanadelosConjuntos
Paraestesistemaseinterpretalasimbologadellgebrabooleanaas:
A:
TodoslossubconjuntosdelconjuntouniversalU
Operacionesbinarias:
Relacindeequivalencia:
UUnin
Interseccin
=Igualdad
Acontinuacinsedemuestraqueellgebradeconjuntossatisfacelaspropiedadesdeunlgebrabooleana.
SeanB,CyDsubconjuntosdelconjuntoA
1.Cerradura:
BUCesunsubconjuntodeAy
BCesunsubconjuntodeA
2.Conmutativa:
BUC=CUByBC=CB
3.Asociativa:
(BUC)UD=BU(CUD)
(BC)D=B(CD).
4.Distributiva:
BU(CD)=(BUC)(BUD)y
B(CUD)=(BC)U(BD).
5.Identidad:EnelconjuntouniversalUexistendosconjuntos,elvacoyelconjuntoA,talesque:
BUA=AyB=.
Los conjuntos y A se denominan elementos neutros para la interseccin y para la unin
respectivamente.
6.Complementacin:ParacadasubconjuntoBdelconjuntoA,existeunsubconjuntoBquetambin
pertenecealconjuntoAtalque:
BUB=AyBB=.BsedenominacomplementodeB.
137
LeccinNo.25lgebraBooleanadelaLgica
2.1.5.AlgebraBooleanadelaLgica
Paraestesistemamatemticolasimbologacorrespondientees:
A:
Operacionesbinarias:
Relacindeequivalencia:
Elconjuntodetodaslasproposiciones
vDisyuncin
Conjuncin
Elementoneutro:Lacontradiccin(0)paraladisyuncin
Latautologa(1)paralaconjuncin
Elementoinverso(a):Lanegacindeunaproposicin
Lademostracindequelalgicasimblicaesunlgebrabooleanacorrespondealaverificacindelas
siguientespropiedades:
Seanp,qyrproposicionesdelconjuntoA.
1.Cerradura:
pvqesunaproposicindelconjuntoA
pqesunaproposicindelconjuntoA
2.Conmutativa:
pvqqvp
pqqp
3.Asociativa:
(pvq)vrpv(qvr)
(pq)rp(qr).
4.Distributiva:
pv(qr)(pvq)(pvr)
p(qvr)(pq)v(pr).
5.Identidad: Enelconjunto A existeunaproposicinquesiempreesverdadera,llamadatautologay
simbolizadapor1,yotraquesiempreesnegativa,llamadacontradiccinysimbolizadapor0,talesque:
pv0pyp1p.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
138
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Latautologaylacontradiccincorrespondenaloselementosneutrosdeladisyuncinydelaconjuncin
respectivamente.
5.
Esprecisorecordarquelastablasdeverdadsonunaherramientaparademostrarestaspropiedades,su
elaboracinsedejacomoejercicio.
Ejercicio
UsandolaspropiedadesdellgebraBooleanademostrarque:
a+(b*c)=(a+b)*(a+c)
Sugerencia:Iniciadesdedoblenegacinaambosladosdelaigualdad.
139
Captulo2
ExpresionesBooleanas
f(x,y)=xy+xy+xy+xy
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
140
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.26ExpresionesBooleanasysuspropiedades
2.2.Captulo2:ExpresionesBooleanas
2.2.1.ExpresionesBooleanasysuspropiedades
Unaexpresinbooleana(tambinllamadafuncinbooleanaofuncinlgica)esunconjuntofinitodesmbolos
(cadaunorepresentaunaconstanteounavariable)combinadosmediantelaoperacinsuma,productoo
complementacin.
Sineselnmerodevariableslgicas,entonceselnmerototaldefuncioneslgicasdistintasquesepueden
escribirconnvariableses22,porejemploparan=3(tresvariableslgicas:x,y,z),elnmerodefunciones
lgicasdistintasesde256.
ParaescribirlasfuncioneslgicasseutilizaelsmboloFi,dondeivarasegnelnmerodefuncioneslgicas
apartirde0,asporejemplo,paran=2(dosvariableslgicas:x,y),las16funcioneslgicassedenominan
Fi,coni=0,1,2,315.
Otraspropiedadesoleyesdellgebrabooleanaempleadasenlosprocesosdesimplificacindeexpresiones
booleanasoenlademostracindeteoremas,son:
Leydeidempotencia: x+x=x
x.x=x
Leydeacotacin: x+1=1
x.0=0
Leydeabsorcin:
x+xy=x x(x+y)=x
Leydeinvolucin (x)=x
LeyDMorgan
(0)=0
(1)=1
(x+y)=xy(xy)=x+y
Las expresiones booleanas pueden adoptar dos formas tiles para las aplicaciones tecnolgicas; tales
expresionesestnconformadasporunasumadeproductosoporunproductodesumas,denominadasla
formanormaldisyuntivaylaformanormalconjuntiva,respectivamente.
141
LeccinNo.27Formanormaldisyuntiva
2.2.2.FormaNormalDisyuntiva
Lafuncinbooleanaadoptaunaformanormaldisyuntivasiestescritacomounasumadetrminos,enlacual
cadatrminoesunproductoqueinvolucratodaslasnvariables,connegacinosinella.Cadatrminose
llamatrminominimalylafuncinsedenominafuncinpolinomialdetrminosminimales.
Ejemplos:
x+xenunavariable
x.yendosvariables
x.y.z+x.y.z+x.y.zentresvariables.
Elprocesoparallegaralaformanormaldisyuntivadeunafuncinbooleanaconsisteen:
1. aplicarlasleyesDMorgan,hastaqueloscomplementosaparezcanaplicadossolamenteavariables
individuales;
2. despusporlaaplicacindelapropiedaddistributivadelproductorespectoalasuma,lafuncin
puedeserreducidaaunpolinomio.
3. Sienalgntrminofaltaunavariable,porejemplow,entoncesestetrminopuedesermultiplicado
porlaexpresinw+wsincambiarlafuncin.
Ejemplo1.
Escribirlafuncinf(x,y,z)=(xy+yz)+yenlaformanormaldisyuntiva
(xy+yz)+y=(xy)(yz)+y
PorLeyDMorgan
=(x+y)(y+z)+y
PorDMorgane
Involucin
=(y+x)(y+z)+y
Porconmutativa
=y(y+z)+x(y+z)+y Pordistributiva
=y+x(y+z)+y
Porabsorcin
=y+xy+xz+y
Pordistributiva
=y+yx+xz+y
Porconmutativa
=y+xz+y
Porabsorcin
=y+y+xz
Porasociativa
=y+xz
Poridempotencia
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
142
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Laexpresinsehareducidoadostrminos;enelprimero(y)faltanlasvariablesxz,enelsegundo(xz)
faltalavariabley,entonces,comoelprocesoparallegaralaformanormaldisyuntivapermitemultiplicarel
primertrminoporlaexpresin(x+x)(z+z)yelsegundopor(y+y)laexpresinquedaconvertida
en:
=y(x+x)(z+z)+xz(y+y)
Pordistributiva
=y(xz+xz+xz+xz)+xzy+xzydistributiva
=xyz+xyz+xyz+xyz+xyz+xyzasociativa
=xyz+xyz+xyz+xyz+xyz
Unafuncinbooleanapuedeserexpresadaenformanormaldisyuntivaenmsdeunamanera,medianteel
cambiodelnmerodevariables;sinembargo,paraunnmerodadodevariableslaformanormalesnica.
Ejemplo2.
Sif(x,y)=xyestaenformanormaldisyuntivaenxyeny,perosix.yesmultiplicada
porz+z,entoncessetieneque:
f(x,y,z)=xy(z+z)
f(x,y,z)=xyz+xyztambinestaenformanormalenlasvariablesx,y,z.
Ejemplo3.
g(x,y,z)=xyz+xyz+xyz+xyz estenformanormaldisyuntivaenx,y,z,pero
aplicandolasleyesdellgebrabooleanasetieneque:
g(x,y,z)
=xyz+xyz+xyz+xyz
=yz(x+x)+yz(x+x)
=yz(1)+yz(1)
=yz+yz
=y(z+z)
=y(1)
porlotantog(x,y,z)=yqueeslaformanormaleny.
La forma normal disyuntiva en nvariables que tiene 2n trminos se llama forma normal disyuntiva
completaennvariablesyesidnticamenteigualalaunidad.
143
Ejemplo4.
Paraelcasodedosvariables(n=2)laformanormaldisyuntivasepuedeobtenerdelasiguientetabla:
x
1
1
0
0
y
1
0
1
0
f(x,y)
xy
xy
xy
xy
Dondelasumadelosproductoses1,esdecir,
xy+xy+xy+xy=1.
Lademostracineslasiguiente:
xy+xy+xy+xy=x(y+y)+x(y+y)
=x(1)+x(1)
=x+x
=1.
Unafuncinbooleanafestcompletamentedeterminadaporlosvaloresqueellaasumaparacadaunade
lascombinacionesdelosvaloresasignados,01,alasrespectivasvariables,esdecir,unafuncinbooleana
puedeserdeterminadamedianteunatablaquerepresentelascondicionesdeseadas,estehechoseaplica
especialmenteeneldiseodecircuitos.
Ejemplo5.
Encontrarysimplificarlafuncinbooleanadescritaenlasiguientetabla:
Fila
0
1
2
3
4
5
6
7
x
1
1
1
1
0
0
0
0
y
1
1
0
0
1
1
0
0
z
1
0
1
0
1
0
1
0
f(x,y,z)
0
1
1
0
0
0
1
0
Enestecasolatablamuestraelvalordelafuncinlgicaparalas23 =8posiblescombinacionesde0y1
paralasvariablesx,y,z.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
144
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Lascombinacionesenlasfilas1,2y6tienenvalor1,porlotantolaformanormaldisyuntivacontendrtres
trminosas:
f(x,y,z)=xyz+xyz+xyz
=xyz+yz(x+x)
=xyz+yz(1)
=xyz+yz.
Enestoscasos,serecomiendausarlaformanormaldisyuntivacuandoelnmerodeunos(1)esmenorqueel
nmerodeceros(0)enlacolumnaf(x,y,z).
Elcomplementodeunafuncinenformanormaldisyuntivacontendrexactamenteaquellostrminosdela
formanormaldisyuntivaquenoaparecenenlafuncindada.
Ejemplo6:
Escribirelcomplementodecadaunadelassiguientesfunciones:
1.
2.
xy+xy
xyz+xyz+xyz+xyz+xyz
Comoelcomplementodeunaformanormaldisyuntivasonlostrminosquenoaparecenenlafuncin,
entonceselcomplementodecadafuncines:
1.
2.
xy+xy
xyz+xyz+xyz.
145
LeccinNo.28FormaNormalConjuntiva
2.2.3.FormaNormalConjuntiva
Sedicequeunafuncinbooleanaestenformanormalconjuntivasiestescritacomounproductode
trminos,enelcualcadaunoesunasumaqueinvolucratodaslasnvariables,concomplementacinosin
ella.
Cadatrminosedenominatrminomaximal.
Elprocesoparaobtenerlaformanormalconjuntivadeunafuncinbooleanaconsisteen
1. aplicarlasleyesDMorganparaeliminarloscomplementosdelosparntesis,
2. despuslafuncinesfactorizaday
3. luegoseintroducenlasvariablesquefaltanencadafactor,porejemplow,sumandountrminodela
formaww,quenocambialafuncin.
4. Elltimopasoesexpresarlaenfactoresyreduciraquellosqueseansemejantes.
Ejemplo1.
Escribirlafuncinf(x,y,z)=(xy+yz)+yenlaformanormalconjuntiva.
f(x,y,z)=(xy+yz)+y
=(xy)(yz)+y
=(x+y)(y+z)+y
=(y+x)(y+z)+y
=y+(y+x)(y+z)
=(y+y+x)(y+y+z)
=(y+x)(y+z)
=(y+x+zz)(xx+y+z)
=(y+x+z)(y+x+z)(x+y+z)(x+y+z)
=(x+y+z)(x+y+z)(x+y+z)(x+y+z)
=(x+y+z)(x+y+z)(x+y+z)(x+y+z)
=(x+y+z)(x+y+z)(x+y+z)
Unafuncinbooleanapuedeserexpresadaenformanormalconjuntivaenmsdeunamanera,medianteel
cambio del nmero de variables; sin embargo, para un nmero especfico de variables la forma normal
conjuntivaesnica.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
146
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo2.
Lafuncinf(x,y)=x+yestaenformanormalconjuntivaenlasvariablesx,y,escribirlafuncinf(x,y)
enlaformanormalconjuntivaperoenlasvariablesx,y,z.
f(x,y)=x+y
=x+y+zz
=(x+y+z)(x+y+z)
Asf(x,y)quedexpresadaenformanormalconjuntivaenvariablesx,y,z.
Laformanormalconjuntivaennvariablesquetiene2ntrminossellamaformanormalconjuntiva
completaennvariablesysuproductoesigualacero.
Por ejemplo, para n = 2 la forma normal conjuntiva completa se obtiene tomando las variables
complementadas.
x=0x=1y=1y=0
ysudefinicinsepuedeobtenerenlasiguientetabla:
x
1
1
0
0
y
1
0
1
0
f(x,y)
x+y
x+y
x+y
x+y
Comoelproductodelasumaes0,setieneque:
(x+y)(x+y)(x+y)(x+y)=0.
Lademostracineslasiguiente:
(x+y)(x+y)(x+y)(x+y)=(x+yy)(x+yy)
=(x+0)(x+0)
=xx
=0
147
Ejemplo3.
Encontrarysimplificarlafuncinbooleanaf(x,y,z)delatabla.
Fila
0
1
2
3
4
5
6
7
x
1
1
1
1
0
0
0
0
Y
1
1
0
0
1
1
0
0
z
1
0
1
0
1
0
1
0
f(x,y,z)
1
1
0
1
1
1
0
1
Comoslodosfilasdelatabla,la2yla6,tienenelvalorcero,esmsfcilescribirlafuncinenformanormal
conjuntiva,as:
f(x,y,z)=(x+y+z)(x+y+z)
=(y+z+x)(y+z+x)
=(y+z+xx)
=(y+z+0)
=y+z
Laformanormalconjuntiva seusasielnmerodeceros(0)esmenorqueelnmerodeunos(1)enla
columnaf.
El complemento de una funcin escrita en forma normal conjuntiva es una funcin cuyos factores son
exactamenteaquellosdelaformanormalconjuntiva,quenoaparecenenlafuncindada,porejemplo,el
complementode(x+y)(x+y)es(x+y)(x+y).Elcomplementosepuedeutilizarparaencontrar
laformanormaldisyuntiva,paracambiarunafuncindeunaformanormalalaotraseutilizaelcomplemento
delcomplementodelafuncin,esdecir,(f')=f.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
148
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo4.
Encontrarlaformanormalconjuntivaparalafuncin
f(x,y,z)=xyz+xyz+xyz+xyz
Aplicandoelcomplementodelcomplementosetiene:
[f(x,y,z)]=[(xyz+xyz+xyz+xyz)]
=[(xyz)(xyz)(xyz)(xyz)]
=[(x+y+z)(x+y+z)(x+y+z)(x+y+z)]
Lostrminosquenoaparecenenlafuncinson:
=(x+y+z)(x+y+z)(x+y+z)(x+y+z)
Ejemplo5.
Cambiarlasiguienteexpresindelaformanormaldisyuntivaalaformanormalconjuntiva.
f(x,y,z)=xyz+xyz+xyz+xyz+xyz
Aplicandoelcomplementosetieneque:
[f(x,y,z)]=[(xyz+xyz+xyz+xyz+xyz)]
Aplicandoelcomplementodelparntesisinterno,(lostrminosquenoaparecen),setiene:
=[xyz+xyz+xyz]yporelcomplementoexterno
=(xyz)(xyz)(xyz)
=(x+y+z)(x+y+z)(x+y+z)
Ejemplo6.
Cambiarlasiguienteexpresindelaformanormalconjuntivaalaformanormaldisyuntiva.
f(x,y,z)=[(y+z)(y+z)(y+z)]
Aplicandoelcomplementosetieneque:
[f(x,y,z)]={[(y+z)(y+z)(y+z)]}
={(y+z)+(y+z)+(y+z)}
={(yz)+(yz)+(yz)}
={yz+yz+yz}
=yz
149
Ejemplo7
Escribirlasfuncionesdescritasenlasiguientetablaysimplificarlautilizandolaformamsconveniente:
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
F1
1
0
1
1
1
1
0
1
F2
0
1
0
0
0
0
1
0
F3
0
0
1
1
1
0
1
0
F4
0
1
1
1
0
1
1
1
ParaF1seusalaformanormalconjuntivaporqueslohaydosceros,porlotantolaexpresinbooleanaes:
F1(x,y,z)=(x+y+z)(x+y+z).Yaestasimplificada
EnF2seutilizalaformanormaldisyuntivaporqueslohaydosunos,laexpresinbooleanaes:
F2(x,y,z)=xyz+xyz.Yaestasimplificada.
EnF3sepuedeutilizarcualquieradelasdosformas,debidoaqueelnmerodecerosydeunosesigual,la
formanormaldisyuntivaes:
F3(x,y,z)=xyz+xyz+xyz+xyz.
=xy(z+z)+xz(y+y)
=xy(1)+xz(1)
=xy+xz
LaformamsconvenienteparaF4eslaformanormaconjuntiva
F4(x,y,z)
=(x+y+z)(x+y+z)
=y+z+xx
=y+z+0
=y+z
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
150
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Captulo3
Simplificacinde
expresionesBooleanas
XY
00
XY
01
XY
11
XY
10
Z=0
Z=1
151
LeccinNo.28Otrastcnicasdesimplificacin
2.3.Captulo3:SimplificacindeExpresionesBooleanas
2.3.1.Mapasdekarnaughdedosvariables
SimplificacindeexpresionesbooleanasmediantemapasdeKarnaugh
Parasimplificarenunciadosbooleanosseutiliza,ademsdelasleyesdelalgica,losllamadosmapasde
KarnaughomapasK.
UndiagramadeKarnaughsepuededefinircomoundiagramarectangular,conregionesocasillasarregladas
comocuadradosdentrodelrectngulo.LosmapasKtienen2n casillas,dondeneselnmerodevariables
lgicasdelaexpresinbooleana,porejemplo,paraunafuncindedosvariables(AyB),nesiguala2,luego
elmapadekarnaughesunrectnguloconcuatrocasillas(dosfilasydoscolumnas)ycadacasillacontieneel
valordelafuncinparacadacombinacindelosvaloresdeverdaddelasvariablesas:
A
0
0
1
1
B Funcin
0
1
1
0
0
1
1
1
Lafuncinlgicaanteriorsepuedeescribirdelasiguientemanera:
A B Funcin
~A ~B
1
=~A~B
~A B
0
=~AB
A ~B
1
=A~B
A B
1
=AB
ElmapadeKarnaguhcorrespondienteser:
~BB
~A~B
~AB
A~B
AB
Mapadekarnaugh
ElmapadeKarnaguhconlos1sy0sdelafuncinquedancomosigue:
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
152
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
~BB
~A
Paramsde6variableslosmapasdeKarnaughsehacendemasiadocomplicadosypierdensuutilidad.
LaconstruccindeunmapadeKsehaceconbasealatabladeverdadasociadaconlafuncinbooleana
quesequiererepresentar,yaseaenformadisyuntivaoconjuntiva.
LascaractersticasfundamentalesdelosmapasdeK,sepuedenresumirdelasiguienteforma:
1. Cadacasillaseasociaconunafiladelatabladeverdad
2. elnmerobinario(10)queidentificacadafiladelatabladeverdadsehacecorresponderconlas
coordenadas binarias que identifican cada casilla del mapa K. El diagrama se presenta a
continuacin:
x
x'
x'
x
x
y'
y
y'
y
Funci
n
0
1
1
1
YY
X
Adyacencia
y horizontal
Adyacencia
Vertical
153
Ejemplo1.
EscribaenformanormaldisyuntivalafuncinbooleanadescritaenelmapadeKarnaughyluegosimplifquela.
RecordemosqueelmapadeK
representadoesequivalenteal
mapa:
y
y
x
1
0
x
1
0
y
y
x
xy
xy
x
xy
xy
Lafuncincoincideconlos1s,esdecirconlascasillasxyyxy:
f(x,y,z)=xy+xy
Simplificandodemaneraanalticalafuncinseobtiene:
=y(x+x)
=y.1
=y
MedianteelmapadeK,nohayquesimplificaranalticamente,lasimplificacinesun
procesogrfico:
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
154
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
comoseusaelmapadekarnaughparasimplificarfuncioneslgicas?
1)Partimosdelatabladeverdad
Enlatabladeverdaddelafuncinlgica,nosinteresaidentificarparaquevaloresdelafuncin,estaes1,
valores que resaltamos a continuacin con crculos, las flechas estn indicando la funcin lgica
correspondiente:
x
1
1
0
0
y
1
0
1
0
f(x,y)
0
1
0
1
xy
x'y
2)Delatabladeverdadpasamosaobtenerlafuncinlgica:
Lafuncinlgicadeestatabladeverdades:
f(x,y)=xy+xy
3)DelatabladeverdadpasamosaobtenerelmapadeKarnaugh:
Enlosrecuadrosdelmapadekubicamoslos1sy0sdelafuncin
lgicaf(x,y):
Y=0
Y=1
y
y
X=0
x
1
0
X=1
x
1
0
Nota:
AlsimplificarusandolosmapasdeK,debemosobtenerlasiguientesimplificacin,deducidamediantelas
propiedadesdellgebrabooleana:
f(x,y)=xy+xy
=y(x+x)
=y.1
=y
155
4)SimplificacinusandolaspropiedadesdelosmapasdeKARNAUGH:
Seprocedeaagruparunos(1s)contiguoshorizontalesoverticalesmasnuncaen
diagonal:
x=0
x=1
y=0
1
1
Y
y=1
Estos dos unos agrupados se pueden representar por y nicamente, as nos que da la siguiente
simplificacin:
f(x,y)=y
Observemosqueparaagruparsebusclavariablequedefina alosdosunosalmismotiempo,lafila
identificadacomoYdefinemuybienestepardeunos,luegolasolucinesy
Observemoscomoestasimplificacinesequivalentealasimplificacinobtenidausandolaspropiedadesdel
lgebrabooleana.
Otroejemplo:
1)SielmapadeKargaughfuera:
y=0
y=1
x=0
1
1
x=1
Quindefinemejorenestecasoalosunos?Culdelassiguientescuatroadyacenciaseslamejor?
x=0
x=1
y=0
y=1
X
X
Siobservaslosunosencerrados,podrsverquexlosdefinecompletamente.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
156
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
DemostrmoslousandoellgebradeBoole:
Lafuncinoriginalsera: f(x,y)=xy+xy
f(x,y)=x(y+y)/FactorcomnX
f(x,y)=x(1) /A+A=1
f(x,y)=x
/A.1=A
Conloquequedademostrado.
LafilaidentificadacomoYdefinimuybienestepardeunos.
1)SielmapadeKargaughfuera:
y=0
y=1
x=0
1
1
x=1
1
Quindefinemejorenestecasoalosunos?
y=0
y=1
x=0
1
1
x=1
1
Siobservaslosunosencerrados, x nodefinencompletamentetodalafuncin,slodefinecompletamente
dosunos.
Paraconsiderarelotrounopodemostomarloslo,delasiguientemanera:
y=0
y=1
x=0
1
1
x=1
1
Lafuncinquedaradefinidapor:f(x,y)=x+xy
Perosienlugardetomarunslounoasociramosdosunosobtendramos:
y=0
y=1
x=0
1
1
x=1
1
157
Lanuevafuncinquedaraas:f(x,y)=x+y
DemostrmoslousandoellgebradeBoole:
Tomo
cualquiera
ylo
duplico
Lafuncinoriginalsera:
f(x,y)=xy+xy+xy
f(x,y)=xy+xy+xy+xy
/A+A=A
f(x,y)=x(y+y)+y(x+x) /FactorcomnX
f(x,y)=x(1)+y(1)
/A+A=1
f(x,y)=x+y
/A.1=A
Conloquequedademostrado.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
158
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.24MapadeKarnaughdetresvariables
2.3.1.Mapasdekarnaughdetresvariables
1)SielmapadeKargaughfuera:
Z=0
Z=1
XY
00
1
1
XY
01
XY
11
1
1
XY
10
1
Estemapadekprovienedeunafuncindetresvariables:
Quindefinemejorenestecasoalosunos?
Nota:Alhacerlosvalosnopodemosdejarespaciossinunos,esdecir,debemosagruparunoscontiguos.
Z=0
Z=1
XY
00
1
1
XY
01
XY
11
1
1
XY
10
1
Lafuncinquedaradefinidapor:f(x,y,z)=xy+xy+xz
ParaagruparlosunosqueseencuentranenloscajonesZXYyenelcajnZXY,buscamoslasletrasque
estosunostienenencomn,lascualessonlaZyX.
159
ObservaqueXyZsonlasvariablesquetieneencomnlosunos
Tomoxyz
yloduplico
DemostrmoslousandoellgebradeBoole:
Lafuncinoriginalsera:
Simplificando
f(x,y,z)=xyz+xyz+xyz+xyz+xyz
f(x,y,z)=xyz+xyz+xyz+xyz+xyz+xyz
f(x,y,z)=xy(z+z)+xy(z+z)+xz(y+y)
f(x,y,z)=xy(1)+xy(1)+xz(1)
f(x,y,z)=xy+xy+xz
QueesigualaloquenosofrecaelmapadeKARNAUGH
Conloquequedademostrado.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
160
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo2.
RepresentarenunmapadeKarnaughlafuncinBooleanadescritaenlasiguientetablayluegosimplificarla:
x
0
0
1
1
y
0
1
0
1
f
0
1
1
1
Elmapacorrespondientees:
x=0
y=0
y=1
x=1
1
1
Lafuncinbooleanaes:
f(x,y,z)=xy+xy+xy
=xy+x(y+y)
=xy+x.1
=xy+x
Ejemplo3.
ObtenerlasexpresionesbooleanasreducidasparalossiguientesmapasdeKarnaugh:
x=0
y=0
y=1
x=1
1
1
f(x,y,z)=xy+xy
=x(y+y)
=x
161
Mapasdekarnaughparatresvariables:
ElmapaKparatresvariablesesundiagramaformadopordosfilasycuatrocolumnas,as:
XY
00
XY
01
XY
11
XY
10
Z=0
Z=1
Enestecasopuedenocurriradyacenciasdedos,cuatrouochounos(1).
Ejemplo1.
Encontrarlaexpresinbooleanasimplificadacuyomapakes:
XY
00
Z=0
Z=1
XY
01
1
1
XY
11
1
1
XY
10
Lafuncines:f(x,y,z)=xyz+xyz+xyz+xyz
=xy(z+z)+xy(z+z)
=xy.1+xy.1
=xy+xy
=y(x+x)
=y.1
=y
Ejemplo2.
ObtenerlasexpresionesbooleanasreducidasparaelsiguientemapadeKarnaugh:
XY
XY
XY
XY
00
01
11
10
Z=0
1
Z=1
1
1
Lafuncinbooleanaes:f(x,y,z)=xyz+xyz+xyzsimplificandosetiene:
=xy(z+z)+xyz
=xy+xyz.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
162
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.25MapadeKarnaughdecuatrovariables
2.3.2.MapasdeKarnaughdecuatrovariables
ElmapaKparafuncionesbooleanasdecuatrovariablesesundiagramadecuatrofilasporcuatrocolumnas,
diseadadelasiguienteforma:
XY
00
XY
01
XY
11
XY
10
ZW=00
ZW=01
ZW=11
ZW=10
Enestecasopuedenocurriradyacenciasdedos,cuatro,ochoodiecisisunos(1).
Ejemplo1.
SimplificarlafuncinbooleanacuyomapaKasociadoes:
ZW=00
ZW=01
ZW=11
ZW=10
XY
00
1
XY
01
XY
11
1
1
1
1
XY
10
1
Lafuncines:
f(x,y,z,w)=xyzw+xyzw+xyzw+xyzw+xyzw+xyzw+xyzw+xyzw
=yzw(x+x)+yzw(x+x)+yzw(x+x)+yzw(x+x)
=yzw+yzw+yzw+yzw
=yw(z+z)+yw(z+z)
=yw+yw
163
Ejemplo2.
SimplificarlafuncinbooleanacuyomapaKasociadoes:
ZW=00
ZW=01
ZW=11
ZW=10
XY
00
1
1
1
1
XY
01
XY
11
XY
10
1
1
1
1
f(x,y,z,w)=xyzw+xyzw+xyzw+xyzw+xyzw+xyzw+xyzw+xyzw.Simplificando
=xyz(w+w)+xyz(w+w)+xyz(w+w)+xyz(w+w)
=xyz+xyz+xyz+xyz
=xy(z+z)+xy(z+z)
=xy+xy
=y(x+x)
=y
Ejemplo3.
ObtenerlaexpresinbooleanareducidaparaelsiguientemapaK
XY
00
ZW=00
ZW=01
ZW=11
ZW=10
XY
01
1
XY
11
1
1
1
XY
10
1
1
f(x,y,z,w)=xyzw+xyzw+xyzw+xyzw+xyzw+xyzw+xyzw+xyzw.
=xyw(z+z)+xyw(z+z)+xyw(z+z)+xyw(z+z)
=xyw+xyw+xyw+xyw
=xyw+xyw+xyw+xyw
=yw(x+x)+yw(x+x)
=yw+yw.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
164
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Captulo4
Definiciny
representacindelos
circuitoslgicos.
LMPARA
P
Q
R
BATERA
165
2.4.Captulo4:DefinicinyRepresentacindelosCircuitosLgicos
OBJETIVOGENERAL
Utilizar el lgebra booleana para analizar y describir el funcionamiento de las combinaciones de las
compuertaslgicas,detalmaneraquepuedarelacionarlateoradeconjuntos,ellgebraproposicional,el
lgebrabooleanaylascompuertaslgicas,paradisearcircuitoslgicos
OBJETIVOSESPECFICOS
1.
2.
3.
4.
5.
6.
Describircadacompuertalgica,mediantesutabladeverdad
Simplificarcircuitoslgicosmediantelaaplicacindelasleyesdelgebrabooleana
Emplearcompuertasparaimplementarelcircuitorepresentadoporunaexpresinbooleana
Relacionarlosconjuntos,lalgica,ellgebrabooleanaylascompuertas.
ApartirdelastablasdeverdadelaborarlosmapasKyluegodisearcircuitoslgicos.
MostraralgunasaplicacionesdellgebraBooleanaysuimplementacinmediantecircuitoslgicos
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
166
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.26Representacindeloscircuitoslgicos
2.4.1.RepresentacindeloscircuitosLgicos
Ellgebrabooleanaeselsoportetericoparaellgebradeloscircuitoslgicos,estosignificaqueexceptopor
laterminologaysusignificado,ellgebradeloscircuitosesidnticaallgebradeproposiciones,condos
elementosel0yel1.
Ellgebradecircuitosutilizadispositivosdedosestadoscomoporejemploelinterruptoroswitch(esel
mssencillo),diodosrectificadores,bobinasmagnticas,transistores,entreotros;lanaturalezadelosestados
vara con el dispositivo as: conduccin contra noconduccin, cerrado contra abierto, cargada contra
descargada,magnetizadacontradesmagnetizada,altovoltajecontrabajovoltaje.
Losdispositivosformadosporconmutadoresointerruptoresqueconsideranlasposicionescerradaoabierta,
sellamancircuitosdeconmutacin,laposicincerradasesimbolizaporONylaabiertaporOFF,un
interruptorseencontrarcerradooabiertoynuncaenposicinintermedia.
Lasiguientefiguramuestraunarepresentacingrficadeunconmutador.
ON
OFF
ON
OFF
INTERUPTORCERRADOINTERRUPTORABIERTO
Representacindeuninterruptor
167
Ejemplo1.
Seconectaunalmparaauncircuitoconinterruptor,detalformaquelalmparaseenciendacuandoel
conmutadorestcerradoyseapaguecuandoesteabierto.
Elcircuitosepuederepresentaresquemticamenteas:
LAMPAR
OFF
ON
FUENTE
ELECTRICA
Activacindeunalmpara
Lalmparaseencendersiemprequesecierreelcircuito,esdecir,cuandoPadquieralaposicinONyse
apagarcuandoseabraelcircuito,oseacuandoPtomelaposicinOFF.
EnlassiguientesfigurassemuestranlasposicionesONyOFF.
CONMUTADORCERRADO
(ENCENDIDA)
CONMUTADORABIERTO
(APAGADO)
InterruptorenposicinONyOFFrespectivamente
Elejemploanteriorpermitedemostrarqueuninterruptorslopuedetomarunadelasdosposiciones(cerrada
o abierta) y como una proposicin lgica toma un solo valor de verdad (verdadera o falsa), se puede
establecerunarelacinentreunconmutadoryunaproposicinlgica;paraestoseasignaunaproposicinP
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
168
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
alconmutadordetalmaneraquesiPesverdaderaseasumequeelconmutadorestcerrado(ON)ysiP
esfalsaelinterruptorestarabierto(OFF),aestosconmutadoresselesdenominacircuitoslgicos.
Paradescribirelniveldevoltajeonivellgicodelavariablepresenteenlosterminalesdeentradaysalidade
uncircuitoseempleantrminoscomodesactivado,activado,abierto,cerrado,0,verdadero,1,entreotros.
Cuandoelniveldevoltajeesbajoseempleantrminoscomofalso,desactivado,no,interruptorabiertoyse
utilizaelelementocero(0)ycuandoelnivellgicoesaltoseusanlostrminosverdadero,activado,s,
interruptorcerradoysesimbolizaconeluno(1).
2.4.1.1.CircuitodeConjuncin
EstecircuitotomadosconmutadoresPyQ,yrecordandolatabladeverdaddelaconjuncinestudiadaenel
captulo2sepuedeinferirquelosinterruptoresPyQdebenestarconectadosenseriedetalmaneraquesi
ambosestncerrados(PyQverdaderas)elcircuitoestarcerradoyporconsiguientelalmparaestar
encendida.
Larepresentacindelcircuitodeconjuncinsemuestraenlasiguientefigura:
LMPARA
P
OFF
ON
OFF
ON
BATERA
Circuitodeconjuncin
169
2.4.1.2.CircuitodeDisyuncin
AnalizandolatabladeverdaddeladisyuncinseobservaquesiPyQsondosproposiciones,entoncesla
disyuncinPvQesverdaderasiemprequealgunadelasdosseaverdadera,entrminosdecircuitosesto
significaquePyQdebenestarconectadosenparalelo,detalformaqueelcircuitoestcerradocuandoalgn
interruptorPoQestcerrado,enotraspalabras,lalmparaestarencendidasiemprequealgunodelosdos
conmutadoresPoQestcerrado.
Larepresentacingrficadeestecircuitoeselsiguiente:
OFF
LMPARA
ON
Q
OFF
ON
BATERA
Circuitodedisyuncin
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
170
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
2.4.1.3.CircuitodeNegacin
Larelacinentreelestadodelalmparaconladisposicindelcircuitolgico,sepuedeenunciaras:SiPes
unaproposicinverdaderaelconmutadorestarcerradoylalmparaestarencendida;anlogamentesiP
esfalsaelconmutadorestarabiertoyenconsecuencialalmparaestarapagada.
Enlatabladeverdaddelanegacin(elaboradaenelcaptulo2)seobservaqueelvalordeverdadde Pes
elopuestoalvalordeP,estosignificaquecuandoelinterruptorPestacerrado(Pverdadera)lalmpara
debeestarapagadaysielconmutadorPestaabierto(Pfalso)lalmparadebeestarencendida.
Elcircuitodenegacinpuederepresentarsegrficamenteas:
P OFF
ON
Circuitodenegacin
Ellgebrabooleanaseutilizaparadescribirlosefectosqueproducenlasentradaslgicassobreloscircuitos
lgicosyparamanipularvariableslgicascuandosevaadeterminarelmtododeaplicacindeunafuncin
deuncircuito.
Lasoperacionesdellgebrabooleanasonlaadicinosumalgica,lamultiplicacinoproductolgicoyla
complementacinoinversinlgicay losdispositivoselectrnicosqueejecutancadaoperacinsellaman
compuertaslgicas.
171
LeccinNo.26OperacionesAritmticasconcircuitoslgicos
2.4.2.OperacionesAritmticasconcircuitosLgicos
2.4.2.1.AdicinoSumaLgica
Tambinsellamaoperacin OR osimplemente OR,correspondealadisyuncindeproposicionesyala
unindeconjuntosyeldispositivoqueejecutaestaoperacinsellamacompuerta OR,surepresentacin
grficaes:
P
PvQ
PvQ
CompuertaOR
(Cualquieradelasdosrepresentacionesesvlida)
EstacompuertatienedosentradasquerepresentanlosestadosdelosconmutadoresP,y,QyunasalidaPv
Qquerepresentaelestadodelalmpara.
2.4.2.2.MultiplicacinoProductoLgico
Llamada tambin operacin AND o simplemente AND. Corresponde en lgica a la conjuncin de
proposicionesyalainterseccindeconjuntos.Eldispositivoelectrnicoqueejecutaestaoperacinsellama
compuertaAND,tienedosconmutadoresPyQloscualesserepresentancomodosentradasyunasalida
PQquerepresentaelestadodelalmpara,supresentacingrficaes:
PQ
Q
CompuertaAND
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
172
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
2.4.2.3.ComplementacinoinversinLgica
SedenominatambinoperacinNOTycorrespondealanegacindeunaproposicinoalaoperacinde
complementacinenconjuntos.LacompuertaNOTaceptacomoentradaunvalorPyproducecomosalida
sunegacinP.Porestaraznestacompuertatambinsedenominainversor,surepresentacines:
P
P
CompuertaNOT
compuertaslgicas
Lasiguientetablamuestralascorrespondencias:
LGICA
CONJUNTOS
LGEBRA
BOOLEANA
Disyuncin
Conjuncin
Negacin
PvQ
PQ
Unin
Interseccin
Complemento
AUB
AB
Suma
Producto
Inversor
X+Y
XY
OR
AND
NOT
COMPUERTAS
LGICAS
FiguraNo.10Correspondencias:LgicaConjuntoslgebracompuertas
173
Ejemplo1.
Utilizandocompuertaslgicassimbolizarlaproposicin: (PvQ).
Segn la tabla, las compuertas correspondientes a la disyuncin y a la negacin son: OR y NOT
respectivamente,porlotantolacombinacindeellasdarlacompuertasolicitada,as:
P
Q(PQ)
Ejemplo1.(PQ).
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
174
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Ejemplo2
Utilizandolascompuertaslgicassimbolizarlaproposicin (PQ).
Analizandolatablaelcircuitocorrespondientees:
P(PQ)
Q
Ejemplo2.(PQ).
Ejemplo3
Utilizandolascompuertaslgicassimbolizarlaproposicinp(qvr).
Enestecasointervienentresproposicionesydosconectivos,porlotantoelcircuitoes:
QP(QR)
R
Ejemplo3.P(QR)
175
Ejemplo4.
Disearelcircuitoquedeterminelosvaloresdeverdaddelaproposicin
Pv (QR).Paradisearelcircuitoprimerosesimbolizalaproposicinmedianteelusodecompuertas
lgicas,as:
P
QP(QR)
Ejemplo4.Pv(QR).
Acontinuacinseconectaunalmparaalcircuito,detalformaquecuandolaproposicinesverdadera,la
lmpara debe estar encendida y cuando sea falsa, la lmpara debe estar apagada. Esta conexin se
representaas:
LMPARA
P
Q
R
BATERA
Circuitodelaproposicin.ejemplo4
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
176
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.26CompuertasNOR,NAND,XOR,XNOR
2.4.4.CompuertasNOR,NAND,XORyXNOR:
PvQ
Q
P
PQ
Otrascompuertaslgicas
Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son suficientes para escribir
cualquierfuncinboleanayporlotantodisearuncircuitolgico,sinembargo,seutilizanotrascompuertas
lgicascomoNAND,NOR,XORyXNOR
LacompuertaNANDeslanegacindelacompuertaANDysedefinecomo:
xNANDy=(xy)ysesimbolizaas:
CompuertaNAND
177
LatabladeverdadparalascompuertasANDyNANDes:
0
0
1
1
0
1
0
1
AND
xy
0
0
0
1
NAND
(xy)
1
1
1
0
LacompuertaNOR,eslanegacindelacompuertaOR,sedefineas:
xNORy=(x+y),susmboloes:
PvQ
P
Q
Compu
LatabladeverdadparalascompuertasORyNORes:
0
0
1
1
0
1
0
1
OR
x+y
0
1
1
1
NOR
(x+y)
1
0
0
0
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
178
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LacompuertaXOR correspondealaoperacinlgicadisyuncinexclusiva (x y) yalaoperacin
diferenciasimtricaentreconjuntos.Sedefinecomo
f(x,y,z)=x y=xy+xy.
Elsmboloparaestacompuertaes(Cualquieradelasdosrepresentacionesesvlida):
FiguraNo.18CompuertaXOR
La compuerta XNOR esla negacin dela compuerta XOR,su smbolo sepuede representar dedos
maneras:
FiguraNo.19CompuertaXNOR
Latabladeverdadparaestascompuertases:
XOR
xy
XNOR
(xy)
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
SeobservaquelatabladeverdaddelacompuertaXNOResexactamenteigualalatabladelaequivalencia
(odobleimplicacin),porlocualestacompuertarecibeelnombredecomparador.
179
Ejemplo1
Dibujarelcircuitolgicodelafuncinbooleanaf(x,y,z)=yz+x.
Paradisearuncircuitolgicoseempleaunbusdevariablesdeentradaysusnegaciones.
Lasnegacionesserepresentanporlalneaquesaledelabolitaencadavariabledeentrada,as:
Y
X
Y
Z
YZ
YZ+X
Ejemplo1
Ejemplo2.
Escribirenformanormaldisyuntivalafuncinfespecificadaenlasiguientetabla,simplificarlaydibujarel
circuitolgicocorrespondiente.
X
0
0
0
0
1
1
1
1
Y
0
0
1
1
0
0
1
1
Z
0
1
0
1
0
1
0
1
F
1
0
1
0
0
1
0
1
Recordandolaseccin5.9delcaptuloanterior,paralaformanormalconjuntivaseconsideranlosunos(1),
porlotantolafuncinconsideradaes:
F(x,y,z)=xyz+xyz+xyz+xyz
=xy(y+y)+xz(y+y)
=xz(1)+xz(1)
=xz+xz
yelcircuitocorrespondienteeselsiguiente:
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
180
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
X
Z
X
Z
Ejemplo2
Ejemplo3.
Escribirunaexpresinbooleanaparalasalidaf(x,y,z)delsiguientecircuito.
X
Y
Z
X
Y
Ejemplo3
Lafuncincorrespondientees:f(x,y,z)=(x+y)(yz).
181
Captulo5
Aplicacindelos
circuitoslgicos
A
B
SUMADO
R
S
C
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
182
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.27CircuitoAritmticoDigital
2.5.Captulo5:Aplicacionesdeloscircuitoslgicos
2.5.1.CircuitoAritmticoDigital
Algunasaplicacioneselementalescomoloscircuitosaritmticosdigitalesyloscodificadoresydecodificadores,
entreotros,muestranlagranvariedaddesituacionesenlasquesepuedenutilizarloscircuitoslgicos,sise
tiene en cuenta que el diseo digitalha invadido casi todoel entornodel hombre, empezando por los
electrodomsticosqueseusanenelhogarhastalosmssofisticadoscomputadores,robotsydemsequipos
delaindustria.
Unaunidadaritmticalgicaestfundamentalmenteconstituidaporundispositivocombinacionalquepermite
dosentradas,lascualespuedensernmerosoalgunainformacincodificada,enlacualserealizantodaslas
operacionesmatemticasolgicasquellevaacabouncomputador.Acontinuacinseanalizalaformade
construirunsemisumadoryunsumador.
2.5.1.1.CircuitoSemisumador
Disear un CIRCUITO SEMISUMADOR consiste en construir un circuito lgico que sume dos nmeros
binariosdelasiguientemanera:
0
0
1
1
+ 0
+ 1+ 0+ 1
______ ________________
0
1
1
10
Lasumadedosnmerosbinariospuedeestarconformadapordoscifras,comoenelcasode1+1=10;
por esto en el diseo de un circuito semisumador (ha) se debe tener en cuenta una salida adicional
denominadaelARRASTRE.Latabladeverdadparaestecasoeslasiguiente:
A
0
0
1
1
B
0
1
0
1
S
C
0
0
1
0
1
0
0
1
Suma Arrastre
183
LasalidaSlageneraunacompuertaXOR(oexclusiva),detalmodoque
S=AB;mientrasquelasalidaC(Arrastre)correspondeaunacompuertaANDtalque,C=AB,porlo
tantoelcircuitolgicosedenominaunSEMISUMADOR(HA)yserepresentaas:
B
S
C
Semisumador
Surepresentacinesquemticaes:
Representacinesquemticadeunsumador
Elcircuitosemisumadortambinsepuederealizardelasiguientemanera:
S=AB=AB+AB
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
184
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
Aplicandoladoblenegacinsetiene:
(S)=[(AB+AB)]=[(AB)(AB)]
S=[(A+B)(A+B)]={[(A+B)+(A+B)]}
S={[(A+B)+(A+B)]}
Anlogamente,lasalidaC=ABser:
C=(C)=[(AB)]=(A+B)
Conlocualelcircuitolgicoes:
Circuitolgicosemisumador
185
2.5.1.2.CircuitoSumador
Parasumarnmerosbinariosdenbitsseprocedeas:
Dadoslosnmerosbinarios
A=AnAn1A2A1A0(nbits)
B=BnBn1B2B1B0(nbits).
Lasumaseempiezaporlosbitsmenossignificativos
A,B
A
B
________
CS
DondeS,eslasumageneradaporestosbitsyCeselbitdearrastredelaprimerasuma,elcualpasaaser
sumadoenlasiguientecolumnayassucesivamente,comosemuestraenelsiguienteesquema:
C2
A=A3
B=B3
A+B=C3S3
C1
A2
B2
C2S2
C0
A1
B1
C1S1
A0
B0
C0S0
Elresultadoserentonces:
A+B=C3SnS2S1S0,dondeCeselbitmssignificativo.
CuandosesumantresdgitosA,B,C,segeneraunasumaSyunarrastreCuncircuitoquerealiceesta
operacinrecibeelnombrede sumador.Acontinuacinsemuestran la tabla deverdad,el mapade
Karnaughyelcircuitolgicoasociado.
ENTRADAS
C
A
B
0
0
0
0
0
1
0
1
0
0
1
1
1
0
0
1
0
1
1
1
0
1
1
1
SALIDAS
S
C
0
0
1
0
1
0
0
1
1
0
0
1
0
1
1
1
DondeCeselarrastredeentradayCeselarrastredesalida.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
186
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LosmapasdeKarnaughdebenserparatresvariables,losdossumandosA,ByelarrastredeentradaC.
ElmapaKparalasumaSes:
A
C
C
1
B
A
1
B
A
1
B
A
1
B
Laexpresinbooleanaenformadesumadeproductoses:
S=ABC+ABC+ABC+ABC.
Elcircuitolgicoparalasalidaes:
Circuitolgicosumador
187
edejacomoejercicioconstruirelmapakyelcircuitolgicoparaelarrastredesalida.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
188
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
LeccinNo.26Controldeunaestacindecombustible
2.5.2.Controldeunaestacindecombustible
Una estacin de combustible se surte de tres tanques: x, y, z. Los tanques x, y deben abastecerse
simultneamenteparasostenerelflujo,elcualpuedesermantenidosoloporeltanquez,peroenningncaso
eltanquezdebefuncionarsiloesthaciendolostanquesx,y.Construiruncircuitolgicoquecontroleesta
situacin.
Latabladeverdadasociadaaestasituacineslasiguiente:
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
S
0
1
0
0
0
0
1
0
ElmapadeKarnaughes:
Z
Z
X
1
1
Y
Laexpresinbooleanacorrespondientees:S=xyz+xyz
Elcircuitolgicocorrespondientees:
S=xyz+xyz
Circuitolgicocontrolestacindecombustible
189
AUTOEVALUACINNo.5
1.Enelsiguientecircuitoescribirlafuncindesalida,elaborarlatabladeverdad.
2.Teniendoencuentaelcircuitoanterior
a. Escribirlafuncinbooleana
b. DisearelcircuitoutilizandolatcnicaNAND
c. DisearelcircuitoutilizandolatcnicaNOR
3.Teniendoencuentalasiguientetabladeverdad,respondalossiguientesliterales:
a) Encuentrelafuncinbooleanautilizandolaformanormaconjuntivaydiseeelcircuito
b) UtilicelatcnicaNANDydiseeelcircuito
c) UtilicelatcnicaNORydiseeelcircuito
x
y
z
f
0
0
0
0
0
0
1
1
0
1
0
0
0
1
1
0
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
1
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
190
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
d) 4.Teniendoencuentalasiguientetabladeverdad
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
f
1
1
1
0
1
0
0
0
a)Utilizandolaformanormaldisyuntivaencontrarlafuncinbooleanaydisearelcircuito
correspondiente.
b)UtilizandolatcnicaNAND,disearelcircuito
c)UtilicelatcnicaNORydiseeelcircuitocorrespondiente.
5.ConstruirelmapadeKarnaugh,laexpresinbooleanayelcircuitolgicoquepermitacontrolarunalmpara
desdetresinterruptorescolocadosenlospasillosdeunaedificacin.Tengaencuentalasiguientetablade
verdad.
y
0
0
0
0
1
1
1
1
z
0
0
1
1
0
0
1
1
L
0
1
0
1
0
1
0
1
0
1
1
0
1
0
0
1
191
INFORMACINDERETORNO
1.Lafuncindesalidaes:f(x,y,z)=xyz+xyz+xyw.Latabladeverdadcorrespondientees:
x
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
y
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
z
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
w
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
x
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
y
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
z
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
xyz
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
xyz
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
xyw
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
f
1
1
0
1
0
0
0
0
1
1
0
0
0
0
0
0
a)f(x,y,z,w)=xyz+xyz+xyw
b)ElcircuitoconlatcnicaNANDes:
f=[(xyz+xyz+xyw)]
f=[(xyz)(xyz)(xyw)]
2.
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
192
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
X
Z
Z
1
Y
X
1
Y
X
1
Y
X
1
Y
Laexpresinbooleanacorrespondientees:
L=xyz+xyz+xyz+xyz
Elcircuitolgicoes:
193
EJERCICIOSDEPROFUNDIZACINNo.5
1.Enunprocesodeproduccinhaytresmotoresdeloscualesslopuedentrabajardosalavez,adems,
ningnmotorpuedefuncionarsinoesttrabajandouncuartomotorWquehacecircularelaceitelubricante.
Construiruncircuitolgicoquecontroleestoscuatromotores,teniendolasiguientetabladeverdad:
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
z
0
1
0
1
0
1
0
1
w
1
1
1
1
1
1
1
1
F
0
0
0
1
0
1
1
0
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
194
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
2.Diseodeunaalarma:
Enunacentraldecontroldetrficounpanelmuestralospuntosneurlgicosyenciendeunaluzdealarma
cuandolascondicionesmnimasdeseguridadprevistasnosedan.
Lasiguientefiguramuestraunodeesospuntosneurlgicos,enelcualpuedenentraren E sinpeligrode
colisinalmismotiempovehculosde:
a)xz
b)zw
c)Solamentex,y,w,z.
X
Y
Diseeelcircuitolgicoquecontrolalaalarma.Tengaencuentalasiguientetabladeverdad
x
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
ENTRADA
y
z
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
w
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
SALIDA
ALARMA
0
0
0
0
0
1
1
1
0
1
0
1
1
1
1
1
ACEPTABLE
1
1
1
1
1
0
0
0
1
0
1
0
0
0
0
0
195
RESPUESTASAEJERCICIOSDEPROFUNDIZACINNo.5
1.Laexpresinbooleanacorrespondientees:
f(x,y,z)=xyzw+xyzw+xyzw,lacualpuedeserescritacomo:
f(x,y,z)=xw(yz+yz)+xyzw.
2.Laecuacinbooleanaes:
A=xw+yw+yz+xy
=W(x+y)+y(x+z)
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
196
ESCUELADECIENCIASBASICAS,TECNOLOGIAEINGENIERIA
MODULODELOGICAMATEMTICA
BIBLIOGRAFA
COPI,Irving,COHEN,Carl.IntroduccinalaLgica.Limusa,Mexico2002.
GOMEZ,Carlos,GOMEZ,German,BOTERO,William.MatemticaDigital.McGrawHill.Bogot1998.
SCHEINNERMAN,Edward.MatemticasDiscretas.ThomsomLearning.Mexico2001.
LIPSCHUTZ,Seymor.TeoradeConjuntos.McGrawHill.Bogot1980.
SMITH,Kart.IntroduccinalaLgicaSimblica.Iberoamericana.Mexico1991.
GALINDO,NubiaJaneth.LgicaMatemtica.Unad.Colombia1998.
SUPPES,Patrick,HILL,Shirley.IntroduccinalaLgicaMatemtica.Revert.Colombia1976.
GUTIERREZ,Fabio.Lgica.Unasntesisdidctica.Fund.UniversitariadeBoyac.Colombia2001.
Direccionesdesitiosweb.
http://www.cibernous.com/logica/
http://www.monografias.com/trabajos10/clasi/clasi.shtml
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3gica/2.%20L
%C3%B3gica%20Proposicional.doc
http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html
197
ANEXO
5.7RELACINDEORDENENUNLGEBRABOOLEANA
UnconjuntoAconunlgebrabooleanadefinida,debeserparcialmenteordenado(tematratadoenlaseccin
1.6),esdecir,suselementosdebencumplirlaspropiedadesdelarelacindeorden:Reflexiva,antisimtricay
transitiva.
SAeselconjuntodelosnmerosenterosconellgebrabooleanadefinidaenlaseccin5.4yunarelacin
deordenparcial(menoroigual),entoncesparatodox,y,zelementosdeA,sedebecumplir:
1. Reflexiva: xx
2. Antisimtrica:(xy)(yx)x=y
3. Transitiva:(xy)(yz)(xz)
Enunlgebradeboolexysedefinecomox+y=yparaindicarqueelelementoxesmenoro
igualay,serepresentagrficamentecomoelsiguientediagramadelneadirigidadexhaciay:
y
x
As01porque0+1=1.
EnunlgebrabooleanadefinidasobreunconjuntoAconlaadicin(+)yelproducto(.)comooperaciones
binariasylaigualdad(=)comorelacindeequivalencia,entonces,paracualesquierpardeelementosx,ydel
conjuntoAlassiguientesafirmacionessonequivalentes:
Sxy,entonces:
1.
2.
3.
4.
x+y=y
x.y=x
x+y=1
x.y=0
__________________________________________________________________________
UniversidadNacionalAbiertayaDistanciaUNAD.comentariosen:georffrey@gmail.com
198