Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Álgebra Unidad 1 - Lógica I

    Cargado por

    emanuel perina
    11 vistas10 páginas

    Título original

    ÁLGEBRA UNIDAD 1 - LÓGICA 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

    Copyright:

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

    Álgebra Unidad 1 - Lógica I

    Cargado por

    emanuel perina

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 10
    Algebra | ‘at mie autor ALGEBRA M ‘Eoacic actin Matic Cioonalzeon, Armando 0. Rojo Ex Profesor Tivlar del Departamento ce Matematica, Facutad de Ingenieria, “Universidad de Buenas Aires Decimoctava ecicién —_ THM USReR'-eprToRAL ——_ EL ATENEO Capitulo 1 NOGIONES DE LOGICA 1.1, ENTRODUCCION ‘Jato deomrti meremdsico cage razon en fons wie tones G6 St a deere curate aberac Hay que comenra por chines (= acne dal Tenge oar, intofucendo sinbols y | vp Er Fly trata. de una operacién unitaris, pues 9 partit de uns proposiciin se obtiens ara, que os st negacion. COPERACIONES PROFOSICIONALES : Fjemplo 1-1. 7 1a negacién de B® todo hombre et honesto es ~P? m0 todo hombre es henesto bien: =P: noes cierto que todo hombre es honesto p+ hay hombres que a0 son honestos p: oxlsion hombres deshonestes Ja cuales V, ya que Is primera es F 142, Conjuncién Defintciin Conjencién de ls proposiciones p y @ es la poposicién p > @ (py @). cuys tabla de valores de verdad es 7 nae Senna) cise ba detnsde veal? NRG Cre RACLOWES FROPOSICIONALES pieie=s| viv] ¥ viel F Fiy| ov ele} v Las propostiones p y q sellkian antcedente y conscusete de fa impliccion 0 condinwsh Li implicacion usal ex matemétie & fomal en el sentido de ave Sere neveraro que el conseewonts se derive Kigkamente del antecedents; cuando veo ovurte. i mplkacion lama materi y queda include ene peimera Tas malas de wloces e verad se éefinen aritaramente, pero respetando sent corm, Enimciamos la siguente proposiion: ‘S| aprvebo el examen, ENTONCES te presto ol apunte” (1) ‘Se tats de te implcacion de las propesiciones p+ apructo el examen He presto el apuate tonne vx ofa ning (ani a V0 Cae ee el eraneao. 0) pn penané cane Fn ty yossmon sn fs edd campo Fas dec 8 ow apa oh nee, cama Es eo eo se Gap peo (1. sar ine es mpeacn lane tenancy 0.70 el apt compen nae a ee cama EY Venton tt pete sempre Cone " Pi oe arcana unites Vy emane seme a ty eet of 6 mit cet mendes propos hoy x 4 meta comme comoro put ane cote Vy connor Fe pines tent P= Oy ev poner eaten NOCIONES DE LOGICA LAS. Doble implicaciin o bicondcional Definicisa Dobie implicaciin delat proposiiones p y q ela proposicin p © g (pt +3610 si 2), cuys table de valores de verdad es Geet z an e<]e memes eloe>or@=y vivT wv v v viel o& v F Fly} ov F F ele} wv v v 1) Tes equiiteo siy solo si T es equiingtlo sla doble implicacion de ls proposicanes py Tes equittero 2 Tes equiingnto Toda ver gue p ea V,tambiin 1 ey ‘vodo que Is debe impliccion es V. Da=b dysilost a =o? las proporiciones son te si pee, @ es F. De ga pia=b gig =e Ja able implicuoon propuesia es fala sip es F y q es V. En los ders casos es V. ‘CONDICIONES NECESARIAS ¥ SUFICIENTES, 7 1.446, Diferenia. simttica Defintcién Diferensa simétrica o dixyuncién exclyente de las propasicions p y @ «sla proposeiou p ¥ q (p o qyen sentido exclayente) cuya tabla de valores de verdad ee ple [eee vivt F viel v ely} v Fle| er La verdad de p « q exté caractezada por la verdad de una y silo una de las ‘proposcionts componentes, Br caro que p ¥ @ equals ala negaciin de'p = 4. 1.5. CONDICIONES NECESARIAS Y SUFICIENTES CConsideramos la tabi de valores de verdad de la implicacion poe aaa] Temels le qe Vy p es V, entonces q 6 V. Se dio entonces que al amegesente p 2s condiiin suficiente para el consecuere 4 ‘Ea eambin, si ew, nada podemos dese da ¢, purse que puede ser V 6 F. Pot ota parte, condo p= q es'V. dq es V, entonces p puede sr V o Fi mes part ‘ue p sea V se necesita que ¢ Jo sea, Se dice entonce: que 9 et condici aces pea, fumiendo, si p = aes V, entonces 2 ex condiionsufetente pare ¢ ¥ 9 ‘condicion necesrla para. ‘Estas condilones sulen express asf! 4 sip (condicisn sficente) eto sq (condicin necesra) ‘ NoClone LOGICA Hempio 1 La siguite impliacion es V: “91 es equiltero, ENTONCES T es isosceles” En este ao ps Tes equiétero Tes dseeler yp ex condiclin suliciente pore q, e8 decir, que un tiéngulo sea equllitero es fufclence fara seguir que sea icicles. Por otra parte, T es equlitero slo ses Bsceles: es decir, que un triangulo sa isosceles es necesart para que sea equiaero. ‘Sea ahora le dobk inplicacign p #2, e% decit (p = 9) > (q= 9) Si peg eV. eotones p= q es Vy a= p eV. Se tiene, atendendo sb Primers, que p es condicion sufcente paz g: y, wniendo ex cuenta i segunda ‘mpliacién ceure quo p et condizion aecesra para TEs decir sip « es V, entonces el antecedente p es condlicin mecesri y ficient para el consceuente @ ‘Andloganiente, en el ease de doble implicaciin verdaders, el consecvente q #6 tambien condicign necesara y suficiente para el antecedente p. empl 17. : La propecia ST ee equiitero St ¥ SOLO SI T es equiéagulo” el dobleimplicasion de las proposicones Tes eqaiitero 4: Tes equiingulo ‘Aquila cs V, y cualquiera de les dot propoticiones es condiciéa secesaria y suficiente para I ota 16, LEYES LOGICAS CConsdernes a proposcion lied pea o cay blade valores ce verdad ple [ena | o=o se [=o rimad viv] v v vie] F E v Fly] v F v Fle v F v eves Losteas ° eciién composts (1) 8 fadopendentanent de fs valores de verdad ee asta recent ede enon gv el prpeasin ewe eto eax V canker ae ior deve de. eT i ‘es uma contra: sem eo es Fr culgiern ue sem Se die ae 7 aie en vroporicional se utilizan las siguientes eyes 0 tautologiss cus sg em mene aac den cae we deat = secdal 16.1. Invotaciin ~CD ee ‘ebmodo de ela es: “no, no p, aquivle ap". 1.6.2. Mempotenct wnrpmr wveyeP 1.63, Conmutativitd 2 detadiyuncén pV eT YP vdelaconuadn ph aT TNE 1.64, Asneistivdad 2) deta dayne wvavrepyava bye ta sonjention are pen 16.5, Dissbutividad : 2) dein conjunciontespecto de Ia disyuncion wvarrewanvarr 1) deta diyuncicarespectodelaconunsida <=, wravre@y Arava 0 [NOCIDNES DE Logica, 1.66, Leyes de De Morgan 2) Le nepackin de una disyuncin es equivalente ala conjuactin ée las negaclones ~@V Dorp amg b) La megacion de wna conjuncién es equialente a la disyoncién de las -egaciones “Wr Qeorpy ma Flenoio 18, Tabla de valores de verdad de la distributviéad de ta confuncion resperto de ta Aispeatcion, OVO rer nvigan Por ota parte, es posible simplifear fe confeccién de Ix tabla, como se indica 2 se. At 2 @anvany v viviv fv v elrly |e v viviv iv v Fielyv |e E viviv fv E Fleilv jer F Fiviv |e F Firi[v |e Eyerpto 1-9, Confecctonamos la tabla de valores de verdad de fa sguiente ey de De Morgan ee derma : @eo = FEvvv]vyFt viverlyde i virrviviy } virretvivi IMPLICACIONES ASOCIADAS lemplo 10. La propesicion (Pagep ‘es una ey lpia, pues i tabla ag = vyvvpv]y veely|y FeviylF Leeeivie os mucsra que es ama tutolog, 117, INPLICACTONES ASOCTADAS ‘Sea gl condicionsl p= ¢, que Tamamos directo; en conexién con 8, preeentan otros Utes. obtenitos por permutaciones 0 negaciones del antecederte y consecuete: ae reiproco sp mg contiario asp consrareeiproco Las cw implicaciones propuestas se llanan conjugaiss, y cualquiera de elas puede tomnarse como deca. El siguiente exquems acs proporciona la relacin que Jas vincul: Pra sion ame gy st g En 3 peng mips ye 5 all verificar que las implicaciones contruecsprocas son equivalente:, es ec, fs siguientes bicondicionales son tautologias - (=a ecus~ (er) ecps~a Sila implicaciém desta es V; también Ip es le contraéeiproca, y no podemos afiomar Ts verdad de la reciproca 6 de Ia coniraria, Peco si son verdaderos 2 [NOCIONES DE LOGICA conticonsly su reiproco o cantar, entonces son verdadect reese, yb Popocioner ntecedeney conaciate son eulaentes “pions continuamenie lk necsad dr emosbar a veda de p +9, y de cua con I expuesto se prentan dos métodos. iD reem, Sip 8 F ads hay que probar, pues en exe exo p = 9 #8. Si eV Say uc ceaior qu slvobr gevaadieqase pind, Sg eV gunia ebb vera dep org. Peso akg ca F hay qe xara py ler» tablet ques valor do verdad eo F 4 18, NEGACION DE UNA INPLICACION Las propossiones pq y ~(p * ~q) son oquivalentes, como fo musta Is ‘sqviente table oS ie a Vivivpvivivre virtelvieivey Fivivivivierre rFivielviviery comme gun de ines eh spain de ng, “ede -i~w 6 “al y por 1.6.1, se tlene “a apn ~a Es decir. in megacién de una implicaciin no es una implcactin, sino ta 4). @ ~* = @ = Aes und tautotogis- memarcres 0s Sn ares Aer “ NOCIONES BE LOGICA razonamiento, ya que la comrespondinte tabla de valores de verdad nos muestra que no 2s tautolopieo. Blemplo 1-12 4a) Justficar ba valiez del raronamiento pore wey paw) En lugar de confeccionar I tbh del condiional ents la conjusciin dels premisas ¥ a conclusion, haremos uso de ls leyes del edlewlo proposiconal, a fn de smplifieat fs situaci. La segunda premss ex equivalent ala comtrarresiproca q = riper ia ley det sitogismo hipotético. de la primers y de fst, erua p =r. La dina prema es Vy en consecuencia 7 es F.y come p = res Vresata necesariamente que pes F La tercera promisa equivale ap Vt de acuerdo coa una ley de De Morgan, 9 por ser) fats reutta a verdad de & Ahora bien, sendo 1 1 = sverdaderos,reuls la verdad des por 1.9), 2) Jastifae ta vader del razonamionto cuyss promis son: Hoy tueveo hace trio, Hoy Maeve o.n0 hace fio, Ya conclusion: Hoy tue, En lenguajesimbSlico ge ene ve vine sles 4. bien ~g es F: éualquiera que sea cl cao, por se las digyunctones verdaderas resulta que p es V. De otro modo, la conjuncion de anibas dsyunciones, por lx iscbutvided, es oquialeate a p Vg 4 4). La verdad de aguas asogura la vanlad de és, y como g ~9 es Fresuta a verdad dep. 1.10. FUNCIONES PROFOSICIONALES. SU CUANTIFICACION EI simbolo P (2) os Ia epresentacion de un predicalo o propiedad relatives al objeto indoterminado =, perterecente a cern aiversoo conjunto. Si nos eorimesa, FURCIONES PROPOSICIONALES a Jos mineros enteros y estamos interestdos en Ia propiedad de ser imps, eatoaces fa traduccion de B (2) consists en: es impor, 24 eee Pa): xesinpar scar que el eouncado: “res imp noe uma proposiin, ya que mens 2 se eopctique ax no podemos decir nada acercs de 3 verdad 0 ase. Ocure, sin fmburpo, gue para cada aspuaés dada al stio = dito cmunchdo cx un fropostii. A expresiones do ere tipo se ls tama finciones 9 expemss roposietonaes. Deftttin Fein proponiconal en una varsbleo inderminaa x es tod aacin en fur figura # como ayer w objeto deco, cual se couvits en propia ann cade npc de = En muearo ejemplo relia proposicione! como POA: 4 cing PC 5): S esimpar (Vet. Se presenta bia fueionespropaxcorles condos varkbles 0 ndtermiadat sea porsiemplo Peay) esd fey ‘Lo mismo que en el cao anteror, sx « Yon entrs, P(r 4») n0expropesiion, ya que no potemos afimar In verdad 0 filsedad del enuncigo, Mas para cic ‘artculazacibn de vals se ene una proposcén P-2,0:~2 exddriore6 OD PC126): 12 sdvcrdes ‘A patr do funsooespropoiionaes et poxble obtener proposiiones geass rmediante un procisd llamado de cuantiicasin, Asociados a lx indewaninada = inttoduccs low simbolos Wz y 3% Vanadoncuanifienores univnaly excel sm espectivament. Las expresiones Pasi todo xv veri?) Exdte x, tl qos veiicaP(@) ss denotan medianio Wx: POS) @ ax/?@)— @ -y somrmponden a una funcién proposiionalP (2) euaitieasuniverlment oo Primer eo, ¥ exitonlaimene en eezundo, Ura func proposcinal mnie % " NOCIONES DILOOICA aque el aricter 3¢ poposkén. En efecto) etomando et priner geno, “Todos os némerosentero soa impates". (1°) © dato que femos enuaciado ura proposiciéa general y relative a todos Ls nimercs entero, euyovalor de verdad es F, Una tauccin més detallada de esta propascion ‘Cunquea que sea x simp. Esdecie Yor es impor Sicuamtfiamos evsizncalment le misma funciin propesiional se tiene 2x / x esinpar Ow “Exinte x. tl que x es impr” O bien “Existenenterosqueson impars”. 2") O mis brevemente “tay enteros pares” valor ds verdad es V, y en conscuenca tmia de una propos. El cumaiicadr eteacal wefete a, por lomenes. un ere Fs obvo qt una fancon popostionelcuntificda universkmente 6 Vs sles son V todas is proposeionssparclaresasociadss aq. Par segura verdad 4s una funcién proposcomal, cuanticada xstenvainene, es sufiente Que ea vevdadera alguna de as propencione asociadasa is feneienprepotional ‘Un problema de ines ea negcie de fucionesproposiionles euntificades Lanegan (1) oe “Wo todos enteros son pares” esdecie xisten enleoe que no ton inpares”™ Y ensfabolos 3x/-P@) Etoncs, arn negar una fencibn proposcionl cuniiicade uniteraiments so

    También podría gustarte