MATEMATICA DISCRETA O4lc Apel CUANTIFICADORES FUNCIGN PROPOSICIONAL +L eWUNCIA[DD «=AxX+3< 35 , XE15,6,7,8,5,10}=A SE DENOMING FUNCIGN PROPOSICLOVAL Ya Que SU S- TRUCURA COUTIENE UNA VAzIAagLE (><), Y POR Lo TAUID NO TIENE UN VALOR 0 VERNAD DEFINIDO . *@ BNUNCIQDD =X Ylz0 4 Tanen AMOEmICA NO , E$ UN ALUMNO OE MaTEMATICa olsceera (MdouLo 4 /2012-0), ES TAMBIER UNA FUNCIGYU PZOPOSICIOVAL . @ como TRausFoRMa UNA FUNCIOU PROPOSICIOWAL EX una peoposicidy ? Hay Das Formas Are & sustiwye00 W vARIABLE por UWA COUSTALTE Para EL PRIMER ETEMPLO - SiX=6 , A(6)43<35 97x35 (VY) + SI Xs9 , 4(9)43 <35 39X35 (F) PARA EL Seguu0o ETEMPLO* + ROUL ACOSTA 34120 la TaREA Acavemica N*4 CF) + ALBERTO METIA HI20 La TazeA AWEMICA N° 4 CY) * BY EL SUPUESTO OLE LOS MIENCIONEDOS SOV Alwn Nos OEL CURSO Y YA Se VENCIO lA Omega ve 4 7A f.2der? AXTEVONIQI0D UN CUAWTIFICAIOR A LA FUNCIGN CUAUTIFIC@AODR UNIVERSAL 3 PAA TOOO Sim@olo 3 Wt PARA EL PRIMER EJEMPLO WxeA, 4%+3 <35 SE LEE? PARA TODO X QUE PAATVECE AL COOTWTO A,,.. Sed MEROADERD Ss! EL BOUNCIAPO SE CUMALE COV TODDS LoS VALORES PoOSsI@les DE X , 0E lo ComTARiO , & Faso. M5; 4(5)+3 < 35 X=6 , 40) +3<35 XT , 4M) +3 435 X=8 , Ale) +3 <35 X=9 , 4(9)+3 <35 X10, 4U0)+3 <35 mmncc gz NO SE WMPLE CON TROOS LOS vaLORES ve X, TONES 3 xe A, 4X43 <35 es FALSO FARA EL SEGUUOD EJEMPLO Woe MO, XHi20 1A TA SERA VEROADERO Ss) TOPES LOS ALUMMOS CUMPLAY CON) amecaa ua Tad. SRA FALSO S$) AL MavOS UN ALUMNO WO CUMALE ON amecar la Tad.CUANTIFICAD0R EXISTENCIAL % EXISTE sie oto | :| SE DEBE INTEIZPZETA2 COMO EX ISTE Por lo MeEwos UNO PARA EL PRIMER ETEMPLO axea / 4x43 <35 EXISTE X Que PERTENECE AL CovruATO A TAL QUE Se Lees SRA VEDA 00 SI EL BNUNCIAIO SE GUMPLE CON AL MENOS UN valor Oe X , DE lO ConmMeAi0, &s§ FALso . M5, 4(5)4+3< 35 V SE wMPlLe ON X=S5 (suFInaTE) , PXTONCES ¢ axeA / 4x43 < a5 |e VARDADERO PARA EL SEGUNDO EJEMPLO SJxeMD / X u20mTA4 Set Veron0eeO $1 ALMENOS UN ALUMNO COMPLE Con umecar 4 TAI. SerA FALSO 51 NINGUN ALWMNO CUMPLE CON eamsen ta TadPi ¥xelAl, xee0 -2 C220 (470 V se wmete mA AL O 1470 VY cov TODOS ° 70 O7O Y_ Los 4 220 47O Vv Valores 2 70 470 V 0F x eTONtES P ES VEIZ0Q0ERO a: axea / 43% =10 -2 Cay+3¢2) =410 F Se ame -4 CAS+3C4) =10 FF Cow AL oO OF + 30) =10 oF MNOS 4 4 +3U) =10 F ON VaLor 2 243) =10 V ne xX etonces GF ES VeroqoErO ri ¥xeA, Mtaxt2 40 2 4-6+240 V_ No seamne 4 4 -34+240 V_ Cor Woo los O° O+042 <0 F vavowes oe & BuTonceS YT ES FALSO S\:|axelAl / loee [ie XD “2 O=6 F NINGON valor a =4Af3 |=i@| IF pe X COMPLE ° A=6 F On 4 4 ~3=6 F Iguguvad 2 NO OKFWIOO F EMMONCES S ES FASOETEM PLO A=1L2,3,45t B=12,4,6,8} P: txe(A@B) , Xe (a-6)—— XEB 4.3,5,6,8} iss 12,4,6,6} 4 Vv —- Fe 3 iby. se! Fle 5 Vv ee 6 F — Vos 8 E Ee| Vis STA ExcprresidnN OBBEIZIA sari \/ @ Teves Los ANS PAL Qe P SEA VEr0a0EI20 euponces Pes FALSO OGBfe2 Vay Que LA RES— Pera 9 ETA ple- GUMTA SE OBTEW [A con X=4 9: dx é (a-8) / xe(Ane) <> XEB 443,54 42,4 124,66} 4 F — F= 3 F — a 5 iz a F = S) ESTA Expresion Es VazdanERd CON AL MELOS UWO DE Los VALORES eX, YF EF VEROAVEZO etouess FG eS Vezoqoerdf z \SoLuci0 ee | Oe Sree 2U0)C7) 40 —— ae At BYUS)E led Kale): tv) _[TasOt 1G ee = Vv) Corer v) (=BE 2 c P N o Ie ON : = IG ) 43) #0 )a = (4032/0) apt © ®) ae J (4ea) Cv) & t 2) | wos zo) co v7) | Pe ' CE) Dy B40) ~ (0420) iz t yf] fC) ol) Ett (le 20) 7 Ce > CH) 2g lat | qq @ les feRCeA | puke [up Nibadn| Valor Ke | NAVARRETE 2> a < | 1 3 g °. << 8 Ph | NAVARRETE 33 @, 1c S i a ‘ - 7 FI 2 q 8 S MAVARRETEA =e