logica proposional

Upload: daniel-urrea-broca

Post on 19-Jul-2015

105 views

Category:

Documents


0 download

TRANSCRIPT

LOGICA PROPOSIONAL. EJERCICIOS. 1. No vi la pelcula, pero le la novela: p _ q 2. Ni vi la pelcula ni le la novela: p _ q 3. No es cierto que viese la pelcula y leyese la novela: (p _ q) 4. Vi la pelcula aunque no le la novela: p _ q 5. No me gusta trasnochar ni madrugar: p _ q 6. O tu ests equivocado o es falsa la noticia que has ledo: p _ q 7. Si no estuvieras loca, no habras venido aqu: p q 8. Llueve y o bien nieva o sopla el viento: p _ (q _ r) 9. O est lloviendo y nevando o est soplando el viento: (p _ q) _ r) 10. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles: p (q _ r) 11. Roberto har el doctorado cuando y solamente cuando obtenga la licenciatura: p q

ejercicio.Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedas paralizado del susto, entonces no puedes sino apelar a su bondad y as no ser engullido. Por lo tanto, si un animal fabuloso se enfada, tendrs que apelar a su bondad o sers engullido. p = se enfada un animal fabuloso q = quedarse paralizado del sustoLgica proposicional

r = apelar a su bondad s = ser engullido ( p q ) , [ q (r _ s )] |- p (r _ s ) {( p q ) _ [ q (r _ s )]} [ p (r _ s )] p q r s {( p q ) _ [ q (r _ s )]} [ p (r _ s )]