TY - BOOK AU - ROSALES PAPA, DIOGENES AU - AU - ROSALES PAPA, DIOGENES TI - INTRODUCCIÓN A LA LÓGICA. 3RA EDICIÓN U1 - 160..ROSA.01 CY - LIMA KW - LÓGICA N1 - NOCIONES BÁSICAS: LÓGICA, USO Y MENCIÓN DEL LENGUAJE, EL LENGUAJE FORMAL Y SIMBÓLICO . -- LÓGICA PROPOSICIONAL . -- SÍMBOLOS, FORMULAS Y FUNCIONES VERITATIVAS . -- LAS TABLAS DE VALORES . -- LAS INFERENCIAS . -- FORMAS NORMALES: CONJUNTIVA Y DISYUNTIVA . -- EL MÉTODO DE LA DERIVACIÓN . -- LÓGICA DE PREDICADOS MONADICOS: NOCIONES SOBRE LÓGICA DE CLASES . -- LÓGICA TRADICIONAL . -- EL MÉTODO DE LOS DIAGRAMAS DE VENN . -- CUANTIFICACIÓN . -- SIMBOLIZACIÓN DE PROPOSICIONES CATEGÓRICAS E INFERENCIAS TRADICIONALES . -- EL MÉTODO DE LA DERIVACIÓN DE LA LÓGICA CUANTIFICACIONAL MONADICA DE PRIMER GRADO ER -