ALGEBRA DA PROPOS(CIONES , CIRCUCTOS A CONSUNTOS intro puccton ALA LOGICA JolelFinie clones PDA FRASE 4 ORATION AWN@CE NO TANGA SENTIDC RS UN ENUNC(ADO aka pi2eRRA Hoy pim ps Sagves ni 405 ARBOLES SON VERDES ty) A LUNA ESTA BRILLENDO i 2 QcE Hora 25? fadxio! (Ne BS VERDAPERA ni FALSA) BORRS tA Pi2ARR{ ere. ” i TTPirlelpes i leltloln “Tena PRePosION BS UA ENUNGAPO, PERC NO Tope R= [Mude(ano BS UNA PROBOSCON” [UNA PROPOSICION £S UN ENUNCADD @ck POFDE SER VERDA- Beat 0 Misc, PARC No AhaDS SMULTANRAMENTE, rb PROPCSIGON SE PANOTA POR LETRAS MNUSCOLAS: P_ Lh yee, LWesM ADs Pibey pA 6S tueoes — v= G; Les aR@ores SON VERDRS Vs ¥ ry ba LUNA ESTA BRILLANDO vA = Vom) = Vals & wise | (lasierto | Byun cares APIFRTOS SON PROPOSICIONES QO UsAN [pasawnas “Ft” o 8A” © uve o MAS VAR(AGLES 61 — 4S QUE NO 5E PURDE ATR/BUIR 91 65 VERDAPR- MENCS QE SE ASIGNE TANTO 4 LAS PA4tA = S_VAR/ABLES Us VALOR DETERMIN | be CONS TAeTE i | | | EMP LO: Pf: x+3/>/5 Ni veRpapeRe Mi FalseBr el pst estu psa 5 pb) Pemavs mae lai To lednedes - Pero: 3; #.= mori! | =A Bea reScuecan Pee r Lions 6 Lem eerreuds) { iT iy ct sly 2) LA WkivERSiDa 4. eee. ob pene 3s [vty fle | } Et 2,| Peorosiuoves Compucbti stub ly Eth TPs gL (BALAGE (E) | | Pi 2 ks un wumere ©! 6 [esl | & led 5) uses persian bar Ro gADO EW M PS MM ERS DEP eons 51m105 ESEMpIOS ABTER(ORES QE DdICHAS PROPOSICIOAES Es- TAN UM[DAS ) FALAZADAS © LIGADAS por CIERTAS PAaLasRas, TALES come? . Wo |, [bell dwtomces lI”) Poh y a (S016 S¢%> PERCHINAPOS CONBETINOS LOGLaCS PROPL EDAD FUND OMEN TAL Bl VALOR DE VERPAD DE 14 PRO POSICION COMPORSTA pErEN- PE DEL VALOR DE YERPAD p& Capa Uma DE LAS PROP OSIGONES C0 4 pow murES, Es{ COO SECUEDGA, A LAS PROPOSLCIONSS COMPURSTES TAMBIEN SE LE UMMA FUN OONES VERITATIVAS, Flumevowes | velRiiratiivals Su VALOR PE yERPAD DEPENDE DE CAPA UNA PE sUS GH Pow BeTES. EAEMPLOL : Si WoRVE TEMPRAND ENTONCES Al HEbIo D/A HARA CALOR BREED! ce rs El Couesrive Lobise) (ea): lod... pordwces. |. )|adreie Somme as PRoPOSAOES SIMPLES: LLUEDE TEMPRANO AL MEDIO PIA HARA CALOR. #CLI NUMERO DE COMB/MACIONES Logcas - hh: NUMERO DE PROPOSL URES SIMPLES oe TIEDE LA RU ~ clo pERcrativd. #el = 2" Si nsf) — > #cl«2! = 2 (CommmAactowes doGicas. ae2) — seta 2? |= 4 ” ” hss Phltelsz |=e pr us nay —pikel = 27 |= fe av a qos 332 zl u {ttt i ty yy tt OPERACONES| CON PROPOSIQOWES LOGICAS COM, UMC ON: simpors: A ’FVARABLRS? P > F T4Bia pe yeRpAn \wenoracion:s “Pa %” £3] ph EONRSTNG x Wo hecrura |: By vor F FY F FOF F Esempios: WM VPszg ly sx 2s10 w+ vICP A ¢) uC Va ¥) Vv Pi has Pistas Son pe CERAMICA ¥(P) = F x Yi Los VEREDAS son DE cemerTo _¥(¥) (4) CHEPEN Es 1k CdaTRiceuTeNARIA ¥ GUADAWPE, 1a Pema a. A q- pEL WORTE u(r) L v(FaF) Pi OusPEn ES va CuATRicHo TEOARIA Fr $! GuapAwPel ES LA Praca pee MoRTE EXiGTEM OTRAS PALABRAS EA LAS Qok EL ConJonror “A” SE INTERPRETA DE LA MiSMA FORMA; THLRS ‘el PEbRo Gasque FS PRESIDENTE pE PERS © cucTA 2 ay { Pr La Manzana ES uN THBERCULO Zi LA MANZéNA FS una FROTA id) 24 Ovela ES uN INSECTS © yurlA # ¥ Tig LA CYEIA ES uN INSECTO v(p)s LA CVEIA VUELA Cz) =FDISYUNCION ExciusWA, FUERTE © DIF. simBolo: 0, ~% REN CIA SIMETRICA TABLA VOR(A BLES: "P™ |" GQ" Pale x DENOTACION : PA tyv| Wy e | LRcrura t vio etl “O° UNO UY oreo PERO NO AMBOS” Foy v Fei Te ELEMPLOS? C U)__© CHEPEN ES 1A PERLA DEL NORTE © PROVINGA (P: CHEPEN ES 14 PERLA PEL NORTE 2 Pag Eo CHEPEN ES_IPROVIN C/A yay F @)_© PEDRO CASTILLO ES PRESIDENTE DEL PeRy © DE CHOTA PP: Pepro CASTILLO PRESIDENTE PEL PERU oa] Pi Al Zl Fi PEPRO CASTILLO PRESIDENTE PE CHOTA va y (@)_© Las PAIOMAS SON CYADROPEDAS © vUcLAN JP: 448 PacomAS SON CUADROPEDAS Yi 0S Paromas YUELAN [4] © PACLO GOERRERD \UEGA Ew ELREAL MAPRID © LIVERPoot P: Paco GoERRERC IOEGA EW EL REAL HADRIP «3 P 2: Paolo GUERRERO 4UEGA EN LIVERPOOL z ©URA INTERPRETACON? PAF “0 BIEN P, 0 BEN #™ NEGACION SimBoLor > = VARIABLE 2 PeNCTAUON? wP 3 —S AECTURA? wo P E\MS: () LUAA Wo BS cAP(TaL PEL PERU P: uum Np ES capcaAl pel PERU i v(p) =F Pr Lima BS carcral pL PeRY oy Cores@) $2 (a) Vel=3 fi §>2 v(p)sv Pi Wet V(p)st wPi 5 #2 vtwp)= F ~P2Ve'Ze vers MACHAS VECES ELYSLOR PE YERPAD DE UNA NEGACION FS NERDADERA OTRAS FORMAS DE INDICAR NEGAC(ON “ESFAlse Que”, “Wo 25 EL caso Que” | ESTAS NEGACOKES GENERAMMENTE St UTLIZA PARA PRO~ POSICLONES COM PUESTAS. ES EMP LOS : EXPRESS SIMBOICAMENTE 14 PROPOS(CON Ne ES ELcAse GCE /5 ES MunTIPLO DEH © 325 315 ~ & v Pi s$ 25 maLTIPLO Dey Gi gx5 =/5 “ow (PH) APLICACI ON: SEAN 14S PROPOSIGONES : P: 3 #5 uN NUMERO PAR VCP) = F $i 5 ES MA7VOR QoE 3 Vito) = Vv Pr ToDo NUMERO PRIMO ES IMPAR vir) F DESCRIBIR A ESTABLECER EL VALOR PE VERPAD DE 1A Ss, PROPOS(CIOKES COMPURSTAS (a) nw (PG) @)_ nw VF ©) ~(~P vr) @) w(wraP) VEAw a () FAN (PYSF) ANG PESARROLLO @) ~Cn FAP) vVrAwF “ £9 FalSO QUE TODO NUMERO PRIMO NO ES IMPAR ¥ 3 £9 UN NYMERO PAR © TODC NUMERO PRIMO ES /MPAR XS No ES MAYOR gue 3%”n ntwra Pp) C ) wlemla Flv Fa (vy) Ee & Fal a e 3 — ) +9: z i B — zs | a> seul > a FE Hel satin! it | fehshelatel hel i ier a lS im 12 Fs a | > i) oer . | ae iss Ree ie C aePROPOSIC LON CONDICIONAL | Tata De VERDAD (SIMBOLO (Varneeres | . PRN TSCION WRcruna E coumers jteo rs ES EMPL ome | Le Cl cr PEPRo O4StiLLo RESIDEATE DE 14 REPUBLICA Gi PeoRe caste GOBIERNA RL PER | Ee CS VCR Sey I a EERE Pt ts - (b) So gau REA GANO LAS FLBe a | ld aie | Lact (ES aeoal bE Evecto DRE bISTRITS DE GuaPAloPE Pi seule CORREA Gano IAS BLCEIObES AumrecPales | | view) | vied | | |{d) si PERU GaNO A AUSTRAWA ENTONGES BST4 pu [et Muwpra. = > 7 DE Kara PERU GANO & AUSTRALIA ¥(P) PERU BSTA RA EL Munplal DE QATAR wu (#) “ v( et) yviClFl —lF) Vv PROPOSICION BILOCONDICIONAL TARA PR VRRDAD simBoLe = P97 | Pee varia Les PLe vo v DENOTACION Peg v_F F Lectura P51 socio si F Fov F Conective Logite : Si Soro St FoF v Po Poe = (P99) a (FP) vi Ww v v v v vioF F F F v Foy F v F F F |e v v v v ad wi RS EQUIVALENTE A..-(a) EL PERU MITA CON CHILE SLY SOLO St #5 Su LEGO P — $ Pel peru Lmire Con cule wel ev || v(pe>%) % i EL PERU ES VEoNo PE CHILE uC@) ev uv (b) 16 Patomé VuAla si ¥ Solo si BS CuAPROPEDA : FB sae - 16 Paroma VUELA vw (P)=V v(p*—>9) LA PALOMA ES CUAPRUPEDS vC@eF F {c]) ROS PECES CaMINAN SI y SOLO St TIENEN 4LETAS P <> z Pz LOS PECES CAMINAN. viP)= F v (P<) Gi los PECES TIENEN ALETAS vipey F @) Budoaiupe PERTENECE ALA PROVING4 PE CHEPEN Si ea Soro $1 ES LA Perla DEL NORTE <> 2 Pi GuapaLuPe PERTENECE A 4A PROVINCIA PE CHEPEW v(p) =F 92 Guapaurg ES (4 PeR(A DRL NORTE v(9) 5 F oo vi Pe?) = v SIGNOS DE AGRUPACION FIMALIPAD? 4. EVITAR INTERPRETOCON ERRADA © EQvIVOCADA © 4 AMBIGUEDAD, EAEmpic “OVEA LY MO TENE SENTIDO, ENTOMCES; Vames 4 DARLE SENTIDO (a) (PvG)ak (bs) Pv (gar) 2, PARA PARLE (ERARQU/A EN LOS CONECTIVES LOGICS ELEMPR 36 2xgate 2 v~ (Pv F) Serena ae (6) 51 EC TEStIGo NO DICE La VERDAD, ENTOWCES> EL | P ial ACd5A00 6S WOCENTE © CuLpasle g bi re Ps EL testes pice la vERpaD | P —» (RP) Z: EL Acgsape &S INoceNrEe ty El AcuSAbo Bs cu.PABUE w PF ny E MAYOR 1ERAR GUA esauamas mMolLeculaR CUANDO SE COMBINAN YAR/AGLES 4 CONECTIYOS PRO POSICONALES, HACIENDS USo PE SIGNOS DE Co ~ LECCION , ENTEN CES, SECBUENEN © SE FORMAN ESQOEMAS MoLecuLaREs . EA capd RS@oRMé MOLECU HAR SOLO UNC PE LCS GPERAPOCRES FS pe Mayor JE~ RARQLIA Y ES QOIEN LE DA EL NOMBRE 4 14 ExPRe- StoN. BLEMPLO a wp — (ever) OF aera eon Maxor Esavema convicena. @ (Op ar) yor lee + -EBROEMA BICONPLCONA Ls segarecia Maron oy elle a gl (-evr)] y - (+r) APLIcacion J. SBA P) Fy 7 TRS PROPESICIONES ) TALES Go vir) =v VR) =F ver) =F RAwaR EL voter PA veRPAd DB LOS SieweMTeS Esaopme MoLecqcaREs @) (ev gor | &) ~P<—> (Far) w {irsg) vy C-pa-9)} a [(-P Ad) v (-dar)}ver CPV =F) AC A Spay (a wun ays >>}( C(m v =n) —+(P a -r) Je (418) )L wfelwaleleielele a eee olsma? G4 Fee rine cati SINCE PROPOSICIONES LOG(CAS, St ee VALOR PE YERDAD DELS PROPOSCOA LOGcA @ ES FALSA a: [-(P—> 9)—> rJ —> (54 F) v(a) ¢ CUSL ES EL YSLOR PE YERPSD DE LAS PROPOS(CONES by cy) Stewbo lesres z| | 1 t j et LFA) a -rlg cr S —> (r<—>P) 4 RVALUACION DE FSQUEMAS MOLECU LARES @)_ TaAuTo10Gia : Tomes ios vx b) CONTRAPICCION : Topes tos v(x) = F ©) CONTINGEN CLA A ENA UNO DIFERENTE PE 10s vce) ELEmpios: a | ESTABLECER 51 GADA UNO ESQOEMAS MoLEaua- RES FS CONTINGENTE, TAUTOLOGIA 0 CON TRADICCION. o CCP Ag) =F Th A (ev 3) _ c@ Clpa-e) a-(r ag) Teo -[(Pa=9) (gar) oy CUP A=9) A=Cr 4 2) 143 =[ (Pa -$)—> ary] (4) {C=Par)—> $F] [-9e-o (Pv) Tf a flr (tv-") tC tac ere eH aer tsa ey o} Pp v FRevve Aiv | lel tye (yivie vw EF eal ® y Fie Fa vi viFyw F ¥ ivivi § | F ¥ ivivi ¥ Fe v lelel e F Fy vAaB ©6450 co! PROPES(CIONE TES. el EET Cr [S¢_fuan, poled z Lebate BE ADMISION. { : [et bel to 4 [ aleeets aa ba Lee ee aPROBo EL EXAMEN bE AD- fi pesieAe, se wae ALoeN Cre Eu CIA ES: eteJEMPLO? DEMOSTR4R St LA Se Es un ARGUMENTS VALDO iat ) FOR eSael 4 (Sar EIS eT TT ete pet | 2228 See ea Rieti eee Ee) Fl pt vid rivet vit | Sr TAUTOLOGIA + huis E5 DIRECTOR BE Ne Enenees $) st TEU Ee mayor => i a al et >: hulS es DiRecTeR PE UNA EMPRESA. huis TUNE BL Mayor NUMERO DE ACcONES 1ulS #5 UN ECONO ALSTA 44S TENE Mucho DINBRoa —= cA PERO TRABAIO POR TANTO PASO MATEMATICA P r COMPROBAR VALIPEZ. S{ EL OMNIBUS SUFRIA IMPERFECTOS EN EL CAMINO, ENTON ~ CES PATRIA LLEGARIQ TARPE A LA UNIVERSIDAD, PERO PATRICIA NO LEGO TARDE A LO UNWERSIPAD, POR TANTO S( BL OMNIBUS SUFRIA INPERFECTOS EN EL CAMINO ENTON— CBS PATRICIA VASO FA TAX!PRINCIPALES AEYES LOGICAS 0 TAauTeLoGi@as HN& FORMA PROPOSICONAL ES UNA LEY LOGica, Si Y sero SI CUALQCIERS Go SES LA TAUTOLOGIA. FoR Main ENTE oe CBTIENE WN RESuLTADO (UNA VERPAD LoGica). EN LOGICA Las TAUTOLOG'SS SOA CONDCIDES CON EL WOMERE PE LEYES © peIn- ciples Aogicos Y ESTES SONS jw LUCtON (POBLE NEGAUoM) (@) Ley ¢ rt iit ar v(%vr) | zi 2 (c) (PF) or = p< (ge >r) (s)_ LE YES DistripaTas? - ovr) S(RAQ) VUPA Fr) vt ey reves DE MORG& if [fal ere aed ipl yt (6) (PYF) Exe | A se: ~ LEYES DEL Con DICIOwAL fa) (PS Ry eT (bh) fro) la Are! | | (e)_ LEYES pe ae i CT TT z Le) EAREVE fe) PAC PV 9) = PAt @) Py (patie P| ta) Py(-PAg) a Pv? LRYES PEL BICONDICI ONAL “@) PEF a (P98) 4 (F—>P) _() Pes i= (Pag) v (=P a —#) 7 9).(e)~(P 39) BCP y—2) a (F vp) @) —(P—F) = (pa—9¥) v(Ga—P) (oy KEYES PE TRANSFORMACLON ca) (PWS RP wy (P93) BFP (uy HEY DE FRPORTACION: (pA9)—3 r= P-s(9—sr) (iy EHEMEMTO NEUTRO @) °*T SP (4: taureces) @) evr=r (6) Pve =P (cz ConTRapiccion) ce) Pvt eT ce) PAC = (ia) LtSTA ADICIONAL Leyes pe ipentipan: (1) PY FSP 42) PyVeV a} PialF sf 1) PaVvseP LEYAS DR COMPLEMENTO? (5) PA—P SF G@) Pv-PSv TREO Excturvo oreReKca simernicdt PAY = (PA-%) v(Za—P) 4 =(Pv Gla — (PAF) Pert fad Rat | | te) Pare ed | TABLAS dpe VERDAD PROPOSICION __ PROPOBICION __ PROPOSL ION. PROPOSICLON CONQUNTIVA _D1SY. PERIL DISy, FUERTE CON DLL NAL PIAS Elieiv igi | telat el CTR toate Mot | viv y yi ty viv lw Me te yt W CE yey. TP. MOLE ae Gey Eivi vi | ieee ye el ly fe Le eee Flele Ey | F PROPOSLCLON RICONPIAONAL, iaators mens ho <1a<REMOSTRACION ANALITICA _4 CP We le Vee), 3b B CR IV -$) 2b VERIFICACLON P gf t+p nd) => ¢¢-9P) = TPev=9 ul lvl elegy | ¥ e v v £ F ¥ y ©. O mae v eB v | & ane atin Oc (~p = ges alsa, ‘entonces e.valor de verdad de: vn = Gas) es: 4. Tautologte b. Contradiccién. Larus (ong) © [ps @s nl 2. Tauologta b. Contradiecién. 1Los valores de verdad de la proposicién ~(Upa@es =F} (~pv q) sor: a, VFVF ©. WEE b. FFV 4. FW Determinar el valor ée verdad de las proposiciones PY q ise conoce la informacién siguiente: ©, Contingencia Pv ~q 6s verdad (AW) & (va) os verdadera a. Verdaderss, &. Falsas, b VF ar Determinar el valor de verdad de las proposiciones p '¥ 481 se conoce Ia siguieneinformacién L@va)a ~qles q esfalsa [e=Pa ~@aoq} a (p vq) es verdadera VE av 50 I 1 I I I I i i 1 I 1 1 i i 1 I i I 1 i | i 1 I i 1 I i 1 I i ' I I i I 1 ' i 1 I i i 1 1 i ! i i 1 i 8. Lasiguieme formule: IC-pv ay ~(Pn ~a)) len ~1] exequivatene 8 Paga ~(p0) b. @Pa@y ~(Peet) & G=@—ipat) 4. (ager 9. Determina el valor de verdad de las proposiciones PY qi se sabe que la expresion: [-L-P = G19 ~[p> 4) ]= (Poa) es fis a WwW oF b. FV aE ‘Sidefinimos p | q porlasiguiente tabla de valores verdad! emtonces (P| q) | (Pq) es equivalent a 2 py~q © pag b ~P=a & eva Determina ct valor de verdad de ls proposicionesp: 4 si se conoce le informacion siguiente: Ba ~q es verdaders Pao(~qv p) es verdadera aw crv b. VE FF De las siguientes proposiciones: L [-(pa@agl =p UL I~pa ~(~aa Pl ee (~pa@y ~ vel) M.I~(~pv~@val eg son taxtologias: a, S6loTy b. Sololy mI, ©. Sélo My I Todas Allsimpliiea: on ~PA~@v plpl—va) secbtione: a ~pyg 4 b. ~pag © ~py~q PangSPDDDREDPDDEe SEE OUD DD SDS Y pp PPSEESEsSsEEEmo LODE a i qananRenanganaaaauaUaner yeRNRAD|NARNANVALNr irrnganeandabannanenan’ aunnaonnearenannaaeennanonneonannnannnnannannnnnannannannaannaanant