esred 99 Py ore) ay 29 9b osDCATSIN VEL QUEL 0S tatenai 'ESlol Wilt DIOCDNES RCL..LES PAPA Profesie de Ligica de la Pontificia Universidad Cauélica del Per y de la Universidad Nacional Mayor de San Marcos INTRODUCCION A LA LOGICA Seponds icin Jatn- Flores Chri UMA - PERU 199313, 14, 15, ‘CAPITULO I: PRUEBAS FORMALES EN LA LOGICA PROPOSICIONAL Principios gicos Equivatoncias notabloe Formas normales Las impiicaciones notables, Laderivacion / f / Indice Piélogo s Nota ala segunda edicisn 6 Presentacién 7 Nociones basicas 9 Legica 9 Interencia 9 Exprosiones proposicionales y exprosiones no proposicionalos 10 Las proposiciones simples y compuestas 10 Ellenguaje formal " Ellenguaje simbético’ 2 Primera Parte LOGICA PROPOSICIONAL CAPITULO I SISTEMA DE LA TABLA DE VALORES 7. Funciones veritativas 15 8. Simbolizacién de proposiciones y eluso do ls signos da agrupacién x 2 1. __-Férmulas y esquomas de térmull's 25 10. Evaluacién de esquomas moleculares porla tabla de valores 28 11. Equivalencia @ implicacién 32 12. Lainferencia 4 esses