Formahzacion Frepesic a Peace dinette rel eel token tigicommes Oposic ro) simpls y cece ies oe a f car Nebel Sau Ferme/ - simbolos Tnpormacion Am ea N aa Es Fala. nae E Es Absordo Es mentia Conjneidn: A pero Ha incluso: tanto como Sin embargo tambien olungue 2 my Disyuncion Vv o an todo caso “— a menos que © incluso: da no ser o tambien Condieronal => implica ot si .--- eatonces por lo testo luego ya “que ... entonces @n consecvenciol 2siempre ¥ coando 6 condicion supicierle y nacesctriot Bicondéeionel! => porque y solamente “shy solo si” es equivallente es lo mismo gue solo si -... entonces Rises a a For matlizoir = Deginit las proposiciones oimples (e.g.r--) . Jorargule (Forma hear) coma , punto y come 6 meror feroigutet Vamos de menor punto , Dos signos co pork meyer erargula Jerarguia 4: Es False que) ested ve ua sorta 10: eg motlet sverte J 0 Ejemple at el P= Usted ve on getto bed (2, Hel Tendra mala sverte ~(e>4) Fjemplo #2. ¥ ‘e © matematic , EDC eves matemetico, Eres_Ingeniero ie si , Cher tonto) eres. metematco. Vv A p> Eres Ingen ierd q: Eres Meatemd HeopYd. > ores eae © motemettico Cpvg) 4 ~9 L (pygya ~q|—> P Ejenple #3 3 tleve y hace Frid me quedo en cctsot p= Lveve qe Howe Erio re Me quedo en casol Rpg E emplo aA Si en Marte no nae ee lee eat _conse@cvencialy) MO hey mojrerernes Dt Te aeons 2S A Fino we, p> Marte hay aquel — 1 Ponestoy prinei ipail a Marte hay vide rv: Marte hay marcionos 6: Marte heay platilles voloichres CGEjemple HS. Gi \no aprvebood ey resvelves este problema, entones i crake que, hoyas Se © sores uf cedveeidn, . icd hag estdiace, by Pro, oe domuds tot babccioa logical _oungue hayoo estdiord. Pe Apweba logic q Resvelves el probleme ce: Hag estodiado Igual 5: Domine la deduccidn Legica [pray ebordards Co"Taller para rte 2 Si los cerdes welan. y me habloin, creer/an Efron me meterian a el manicomio que estoy loco zy Ejercio 2 Si Renato vd a trabajar , entonces le pagara mero; 4) Si nova 4 trabajar tarde, le pagaran mds. Por® tanto, sivd trabajar tarde. o no, le pager menos o mds.