InsTITUTO TxcNoLécico DE Costa RICA CALCULG DiPKKKNCIAL & LNERGKALS PROE, JUAN JUSE fALLAD. 1 Leyes de la légica y reglas de inferencia Leyes de la légica Impheacién y disyuncién (ID) Doble negacion (DN) De Morgan (DM) Contrapasiti Regla de inferencia__| Premisas Conclusion ‘Modus Ponens (MP) P= Q, PI Q ‘Modus Tollens (MT) PQ, -@ =P. Silogismo disyuntivo (SD) | PVQ, =P Q i Soa Silogismo hipotético (SH) | P= Q, Q=>R PSR ‘Adjuncién (ADJ) P,Q PAQ Simplificacién (SIMP) | PAQ a] ‘Adicién (ADI) P : PVQ if Q cualquier otra propos. 2 Bjercicios! 1, Redacte la contrapositiva y el reciproco de las siguientes proposiciones: (a) Si f es una funcién invertible, entonces es biyectiva. (b) Dos rectas oblicuas? son perpendiculares si el producto de sus pendientes es —1. (©) Sea f (2) =a", a>OyaZ 1. Sia>1, entonces f es una funcién creciente. 2. Si P, Q, R son verdaderas y 8, T son falsas, determine el valor de verdad de la proposicién: [P= (R37) = [-PAS) > (QQ -7) Ss 3. Determine, utilizando tablas de verdad, si cada proposicién compnesta es tautologia, contradiccién o contingencia: Qa x= & (a) (P= Q) <= (PA-Q) ae + ©) (PVQ) = 19 (PAQ)) a0 a (0) FOPAR)VQ] = [OPVR)AQ] caer = 4. Use una tabla de verdad para determinar si bajo las premisas P=» Q y -P => Res vilido concluir QvR Nota: Esto es equivalente a verificar que [P= QA-P= R= QvR sea una tautologia. ‘Varios de los ejercicios son tomados de Murillo, M (2010). Introduocién a la Matemética Discreta. Cartago, Editorial ‘Tecnolégica de Costa Rica. °Una recta es oblicua si tiene pendiente real y diferente de cero. + 5 & &Pr Pl gee etek a ee ee éj* _ sh penmst evalge OE aevalancin 7 Cie Be pag ea 3 = af anttudent Sv aoe a at Besvlbade 2G ba conse werde Cnisms)- ~S a HITS Sprimses. tend Tp qo wy — (pus) $1 la perme Calg ee ae x (pes) Ola dl consent ae ot eee eee St bon Lev AAR EERE * Y Be fy teh 2 MPP y MTT Derweshee PVE? Mat 5 Purisas 2» 4. yw y.ty2ow v8 BS g: 3yf 7 Pvt rt 3. 3y —> Cpvy) oP hy Ayana <2 Coyne LE Ef: Ro>pnq ~y be Poman 2 premises y dar meer ei Site Vaie (ean vay Gennes Av ~YAlpeq). . —? pry Simphpiando S- Sr gaa pets FUME Orpen Fi pp Nn Lie hacen T'S. sea Le Ao 2+ dey r arash ~Y ag = Sikegisme Hpetthco Sit: Zend? 4 clianlecioh dion 4: elon ie! Cp ete fase reece ieee ie cen Or =p ditma conshuttwe Gt) por. Cy—ep om. Se foman BS premier 2 tonbasnals © ret” ly Lsiqati? y ona duyon uch 5 be compentrts ee GVay ag la dct yunade Son bey mums dls Dav g qa wrdmondts * Px. hey dele Kiros Ga) & P ~ kone pensar wal pouers Purdue: gen a WAS) num infesle alge log neeaste per con dsyonude yw) ‘SmPr ye Dewestas PVE? Mert Pprisso > 4. v7 ~S fa Nye es eas 5H eee 3 +r = (pve) =P hy Aajsaceen ¢ Coynnes BE fy: PoP ~~. 4 Se foman 2 proniioa y las meee 5 ti sito univ (ten vay Conjrnen AW ~YACpeg). pay Splint $ Sy dan petemnte $F ONE ae & pag Se sac uatemponen te Ye =e sea le 40 2+ Lay is acon: wy ee = Sikegisme pelle Sit Ee emall Bet - Brpar¥ Sa Guaieine ee elanhedek d ons de cles debe Fiat See gv ah conreseak abreta- pov Gp Pe, —p ditma cConshotwo Oe) Roe, Cy ep ot Se foman 3 premiias 2 conbracnals qo C —o qaty” Te compen eee PMD Pc aviee ) 5 les comp oe 9 yuan dsyon en lay ie - = los mre & Y V~v s qats ay la Ag yuneth Som tordiacake * aa , g dy dela h&rvudn (A? @ Po st A ung proms coal pices pucder- Pa-d wy WS), log neente avmentacle alge pore con dis yond yw) hy del Brvndiuonal >Ly . Spang perg patie uneelane| Ptscan ters or “GaP Podtmer eypitsarls come ving Condtiwnal Cas > Groh =? UNG Conyntion He prepatucnts qui S¢ peated council Srl AvP wkd Rawh ete fl