TY - GEN AU - Napolitano, Antonio TI - Lógica matemática SN - 980-210-017-X U1 - 164 PY - 1989/// CY - Caracas PB - Biósfera KW - LÓGICA MATEMÁTICA KW - FILOSOFÍA - LÓGICA MATEMÁTICA N1 - Introducción a la lógica y ejercicios.; El lenguaje: tipos de lenguaje y tipos de proposiciones.; El concepto.; La definición: reglas.; Razonamiento.; Silogística.; Lógica proposicional.; Tablas de verdad.; Reglas de inferencia.; Lógica de predicados.; Reglas de inferencia de la lógica de predicados.; Identidad.; Lógica de clases y diagramas de Venn ER -