Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 4.-Libro de Logica-Matematica (Jose-Ramon - Castillo-Ariza) Parte-I

    Cargado por

    Gianella Silva
    168 vistas25 páginas
    logica

    Título original

    4.-Libro de Logica-matematica (Jose-Ramon- Castillo-Ariza)Parte-I

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    logica

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    168 vistas25 páginas

    4.-Libro de Logica-Matematica (Jose-Ramon - Castillo-Ariza) Parte-I

    Cargado por

    Gianella Silva
    logica

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 25
    J. R, CASTILLO ARIZA | COMPENDIO ELEMENTAL \ . DEEae LOGICA MATEMATICA LDITORIAL NUEVA FXPRESION CARACAS, 2008 ye gh ecm: Septembre 1999 Predicin: Agosto 2001 Sede: Abril 2003 robibida to epraduccin toto parcial fect brs, por cua medio mcd, ‘Sin autoriaciin esr ls COMPENDIO RLEMENTAL DE LOGICA MATEMETICA hice wasooeris Povtadn Pid Confuot de partes a) ‘eos: 2 cae Cha Ae Qe Cae. Mores Maz Pe i Soraya Cartoon e- Davi Coronado |g. Gabe Contenido Dedicatoria Prsiogo Simbolos Lgicos Matemaicos I Teoria de Conjuntos 1 Teoris de Conjunios Detiniin de Conjtas Igual de Conjuton enjoin ates Conjunto vac. , Sabconjctos A&B puna de Conjentos cu faci de a nluion Subvonjm prop Comparslidad Faris de Conjatos Conjunto de pats o Con ptecia 26 PA) Connon ums Dingrmas de Venn ale Tnrceeron de Conunin boca elves Diferencia inevicn de Conn Gomplamenta ge un Co xu xv xvi xix 13 5 " Problemas resveltos Problemas propuestos| 2 Augebre de Conjuntos ‘Agra de Conentos Froblemas revels Problemes propose imate de clmentes de on Cojo nto Problema restos Problemesprpuestos 3 Relaciones Par ordenado, Producto Caresiano Par ordenado Igualdad de pares ordenados Producto Cartesiana de dos Conjuatos A'y B Diagram tabular Relaciones entre dos Conjuatos ‘Relacién binaia interns Propiedades de lar relciones Relaciones de equivalencia, Relacién de orden Problemas resuctos Problemas propuestos| 4 unciones Funciones Funciones notables Funcion constante encion idénticn Funcién valor absaluto ancion inyectiva oncin sobreyectvs ancion biyectiva Problemas propvestos Mt Algebra de Boole y sus aplicaciones Algebra de Boole Operaciones| ‘Operaciones binarias. Operacisn wears Postiledos de Huntington para el Aigedea de Boole ‘Teoremax dl Algebra de Boole (Green parcial en B Ejericies propuestos| Formas Normates Conjuncisn elomenial Forma Normal Disy “Tesmino eaninico Forma Normal Disyustiva Plena (FNDP) Forma Normal Disjuntiva Completa (FNDO) ‘Complemento de una END. Forma Normal Conjuativa (ENC) Forma normal conjundve plena (FNCP) Forma normal eonjuntiva completa (FNC) CComplemento de una ENC Transformacion de ona Forma Normal en ot [Metodos de las Formas Novmales Método sindctico Problemas resuelios Método semantico Problemas reseltos “Términos minimos y miximos “Teamines Minimes (Minterms) Términos Méximos (Maxterms) Conversién de una forma en otra Problems propuestos (END) Circuits Ligicos Retain Citeuitos en sriey en paraelos (Complement de ua create (Gombinacin de czcuitos Forni algebriea de un conjunto Layer del Algebra de Circaitos 81 8 ss 2 10 103 108 405 106, 106 706 106 ws - : 2.8 ca aw cuss tatiipeionms Me me Interruptoresabiertos 139 IV Logica de predicados Propiedades bisicas 139 ee Gites equates i 10 Login de Preicaos Monsaos 2» Singita te ceuis te Tips oe popes Su am Neto snes te Nowcicnysnboogs an Probemssucas is Pretcdor mons plios a Pralcmespopcsos iS Tr etiencion a Lge pede: onic: de incr rsa Die Bec cules on caw negicon 218 Ls propsocs welcomes Jose pretest 216 8 Propeiines vet Setar ete ends en propcinrs hi sori 161 ‘sujeto predicado 218 Poposon imi © molt te pee cance ae ‘araes propor ee By enecivor eo Beles pope 2 La negacn 11 Demostracia de validez ns UConn og ein aie RN) 2s Uo Seyancon eis ened dt Utes (0) ze ‘La implicacion material . Regla de Introduccién del Particular (RIP)... .. « 240 Biconisont oequvaleci materi gid minions REP) ma Tables de verthd ss “a Problemas resueltos oe Trion ous? omneen Pare 2 Problems ops rt pn = 9 Razonamienon i ee = Deion Neda samen V Compuertas Légicas Denon ater tarmac a mn Sicachin de Fanclos 2 mokelt , Prema cate = Metoxto del condicion . SI tote is 290 Metal edt a abr ane ea Mts de vaca : ee : a eto toe Ceuta Iogiew NOT (inves) (CtoultoIdglew YES (eoparedor eae CCompuerta NAN Compuerta NOR Gomprerta OR Elusive (WOR) Compverta NOR-Esciusiva (ROR) Conversion de Compueresreciaste invesores Propiedades de is Comprerias (tras operaciones pies Expresiones Booleans p de dos Varies Lmpostancia las Compve "jecucion con NAND Ejecveion con NOR roblemas Resueltos Problemas Propoestes ss NAD y NOR Apéndices 1 Indepevlencia de los Axioms ms 2 Diferencas entre ol Algebra Rootcans yeh Algebra Ontinara 321 3 Algoriimos, Diagrams de Ono 3m 4 Sistema de mumcraciin Winario ms 5 La Pracha Laigica- Matematica wy Referencing hiliogratieas Mi Poe ea ota Agradecimiento Esta cunt ci te pose grain a extcran de a ingenira ‘Gabriela Morals Macao guen taney dager el Tema V Gale: ror vara ser sutenado en ostrioes eines: Lot is nies fron ransrtos or os icnlas David Coronde ‘Sinpa Coraspe! de quenestahien soy aement grid Tambien reiben mi apradceiminto mis his José Ramin y Dan Alejandro por su apoyo fs ples Juan Rasic, Jone Las Vsquez, 1 Fatole Comers suche tvon fa encarta Ine mannerioe como epimers ec dee tts Rec tomb i agement xpi! ingei lrge Castro yi heemano ln Cail lees se eneviicn ex Ms Soporte ‘conmios pn hace onble ea ora "At as peso amis Compues famlles, que me ae ‘om a mi omnes Se dqresen 9 lagna pra ep mare. ED Aor Dedicatoria Prdlogo rwoxpna lp andl pot Xo, ‘serie ea porn eae ue sec eel esto ela iser tence enlesinomierstsi Pro Late ng ‘iN “ais Cable Mejias Introduccién osbenente sii ald cetfcamtsinyorae del sio sali as bes son tapnle ot rn sls eee es Jontimatasctea Ut Pouserinagnmoslnrges aS vera? ingest, Pofoncr imagers It cepaions 5 ieee nrc, univer denelslogco seroma pin cigae, Snr a ‘Ged Soft co Sven elon sjetveey et In dena de thr an ec ete ne ‘Sesame cto i ‘Fieumeus aden doleseidonessnres, seine scot Epes Tain, ements, concen sis a ‘SiS acenljome cl sogund ome erie Alga deBole sera {SFooms Nrmaleyumtupnsn sos Chrastos oe. Aled emevoinperosele fiers uapecoe Tana prone pele bir Por ‘sonia en lnc normitonssemasy opto. ‘Titer snpesene one exponen Tema tn erotrson clo deopans Tous 8 PropetAsoste). La a) Sees ees enmatbor ten pro rcaen ern ‘Wolcisqpeesrmanlenentiniomoaetodase Codensasoe qe ndemostoclenonrotecrensodelimasaaci ome endl Lipen Pepsico ce Encino. 1 Tena, renee ator oo conn nos aa eforza aac (SeaCSaetcodueny onevortezen prima. Tema Vel ‘ects yee ogeocon so pacons Simbolos Légicos Matematicos ‘ Neyer Tus Migule Inco ea Tei vtetamente [ows indo sien Intern Crap, Neg Direc ative do Ay B Direc Siren dey Egat Par ed 1, Chationor Usirenal Tne =, Ctieden excel inte ay slo on 2 Cmdr dad {et rluston con ya tre de leona dee «qos enon a propedal » ‘Ppmecde ty 2 oar 2 pom oe ig a= infer o tual ay init do ane ates Conia de nro rere te ports Batre Noatee Eater ano Toe sie [a) nar edo orang fn yor tk (Com) Tarlo ence nite pr a ed, cero (ace) Intel eet pr I eda nit por a ect enema wv fa) earl eco (et) term ste 1b) Ir edo gue, aio pr I ein (oot one eee ab pera nqlerda (a) Perera Ree eSheca. F Hu) Neen Exce r= pen Tema I ‘Teoria de Conjuntos (384.322 26) se Coon ie es Hoa as ie f 1 st iin refrain ojo eft se, Hermit mie ii cans’ Rac is fs nt nl rr Fee ee eter done finds Lc" ue hab de et fast ent PaA eeso prp sho Pr ee it ese mdr ta de a ms ngs bis dnd tan meni Kren, hee, He, ‘Sev dows se Pe i ‘Atnmanre te conn 227 pron Aes ia fete enc te 9 cous ses cob hale 2 moar ac TTS ee ew er a ee ens pre rele Clase Pete smi nd halt prob ont SEAT somes pf i esas oar a earn sore cone edad Es dite cn cmsans Ten tam emp “Orea ae ‘sonar ns orn ees SIS Sarr ipo vcr es "Capitulo 1 Teoria de Conjuntos Introduccién. 1 pct ani de tr de cojotn, jo on eld ie { propencie yl sn ds Bly et As 9 dsr ‘Sida ger palin ova de una manera ehnel o ‘ina er degli some alae, site ‘Secu dara itive Las podem singe evn peer ‘e's mmr de hare de trib o pe mat de Gans ‘etter ta gr he operons yeeros ‘Con on cs see de eg 7 mata, nf tora steam pen emia pints eaas fons om Yo igor aber itr Toa do tees vio de a oom omnes que = ew cn de chee care Definicién de Conjuntos avs bs itv eae cot, lament ean (Eero Ti sin jn waste me be Dalits i oj ole ebjelon Hr dtr a icin den cs sg cbc teagan olen wacom nin de fan he Lapa objet ew ome sn de mie, me a fe ben determine iglion que segeo es pole {Sheer coun us obo press ou al eat Notacién sw epee conju con nr moras dl sce: Kibo Gyeie, An conju pd ets com [ana coment jemplo 1 in pus oie I ora de enjut, conan rs de mae oe Determinacién de un Conjunto ‘Un conju pe demas de dos manera; Tabular» Constr (Cuando dan expckanent loser deco, Tambien ‘le decom dterminacin por exten Hjemplo 2 A= (04,08) Hoemplo 8 B= (2.8.58) iw eothe ° = A=(e/pte)) fn peopl p. Tabi Te deci di lod B= {ZEN /2S256) ‘arose ect one cnjunt dal inp ner ew Rompe A=(eeR / 25253) leen/A4ar4t=0) 5 ur ete estes propoiiens seran ls ee Igualdad de Conjuntos Dofattén 2 Pe coats so gales een or mismos ele mentor to vglicu qe Treat |retremene| ‘stent, | notte enc igual oe sibel: Anbar Wei(ecaoreR) = a4. Riemplo T A= (42843) B= fen/ises0) atone, A= B lomo 6 Sean Am {ez ec tio nto) 9 {rhdnqatn opal) entones A= By eto tga itera ingle 9 Obmervaci6n 1 51 A= {12,8} 9 B= (2:1) edonea A= By eto Sora eo eM clan les emt dl cot 8 ne spent Obvarvacién 2 SA = {123.3} y 8 = (238,11,2) exons ae gin veo tne snort cdi sv pla Ae te cure, ues te ements oma en coc Conjuntos Finitos ¢ Infinitos tutunvamentm pean gu conto Ae iis e pn cota se gt Rata safe ed conju cao cots tw ST mo Ac afi tae i cen Fem soo die: iran in de wns | Le ens seamed is | ‘rcs nme metals omplo 9 Elanant M = (Laney, Marte, Mirae, Jee, View “he Sid, Domingo) sen onus fat de 7 eto 9 he uc secre wo oropendecia so ano xe My le Jato Bo h.23.450,7). Orenment la corp CObsarvcién La fra de tlre cored no tne Rsmple 10 = fe 2 wel). Pt Rinmpla 11 Da fee (352 <5). nf, jmplo 12 P= (ee (28) Ite Mumpla 18 d= (ne / 85.058), Pie Conjunto Vacio. 9, {} Deine & Ta Te scion no one omen ‘BR eojenta vio re representarse cn or ntl @ 6 ()- Ri bate 242) Por pl An (wen/n4 ses) etcanes Ano ene nets yo qe nig so mar, aso Conjunto Unitario {a} Detain nant se rreseia come A= (2). Prep, B= (mE / 3cn-<8), tne B = (4). Se tee B sel ono ca nie cme no & ‘Ott aga down cent alta (C= (e/ = ceo natarl deo Tees} Subconjuntos AC B Daten npn es Main os Sicumentc Ag Bes (iajeeAszes) CObseractin § Todo conjnt ex subconjan des misma Aca CObservacin § £1 conan vate ex subconjuto de odo conju aca Bjompla 14 Dade A= (23,4) y B= (12,34), potr que A 8 oe seh ica) omens 9) }omnan ("A ceceege 2° ) Igualdad de Conjuntos en Funcion de Ja Inclusion Definichin 7. Dados dos conjntos A y Be cumple que a © By BCA smunces A= B Sinbdlcoment Subconjunto Propio C Referee fy feeace, aga 1 a 2 A ae eB ‘Otwervacién 6 Hane hore she deat seo cies ole y subconuts propio cn ©-De aga em adetate xe demota. Piano nabenpnt come bona propia con el imbolo C3 ‘onero indiana adda eter Riemplo 6 Sx A = (ah) ¥ B = fo ego pre eB dh por ue A tea A beB beace tea neeB oc 5 ofA}—vnga Comparabilidad Deine 9 sta, uo de Leeman es abate dt Bjemplo 16 Sen A= (68) w= ejb) Benes A ee cope recon B, pues ACB, Familia de Conjuntos eles de ete tin pt orl Ie ate do ‘june non a aver eojaston, nna to sade odie one ‘gre i fenila de wnt 9 lve de eompunon. Eat cen, rs eva cnfoney, sul denture omen Tn ce susie 86, La sy een A, 2, Ck. repro si ean, Bjemplo 17 = (4, (2) eo fri de ogo, eee {econ A By {2}, qu son oes copes jomplo 18 2 = (2,448), owa oade cnn, res ‘mente 2 no cont. Locnrlment po 3 eth iteredo 6 todor los conjnis posts Sino nicement en ler subconjntr de alga conjumto dado; exe ‘Mgnt Seno nun aera wetreni, ambien © ‘Eovns avers dl dieu, Se 1 denote U Conjunto de Partes 0 Conjunto Po- tencia 24 6 P(A) asin 10 ia agen, eT a ‘erpoteci de Al fo de de os ‘lennon de E 2 6PUA) SA eso comin fo de clement, sts. jemplo 19 Malar conto de partes de A= ‘moe cnt cna tneemet, eto Pet cai depres de A srt Pina) oa conn aire ene kes element ean wi remplo 20 Hat el conju potencte de B = (2.3) 129) cee @ eo V7 . Ieee voor Pe = ta.9.0.9.0 Conjuntos Disjuntos Detain 14 "eon dn femplo 21 Beja 2° ye conjnte2- aon dato, Biemplo 22 San A= (ne /3

    También podría gustarte