TY - BOOK ED - Universidad Católica Latinoamericana, ED - Universidad Católica Latinoamericana, TI - Lógica matemática y teoría de conjuntos SN - 978-9978-437-48-3 U1 - 511.3 PY - 2004/// CY - Quito PB - UCL: Universidad Cristiana Latinoamericana KW - ÁLGEBRA KW - CÁLCULO KW - MATEMÁTICA KW - 511.3 - Lógica matemática (lógica simbólica) N2 - Contenido: Estructura lógica. Introducción a la lógica. Cálculo proposicional. Clasificación de las proposiciones. Conectores lógicos. Negación lógica. Conjunción lógica. Tablas de verdad. Leyes del cálculo de proposiciones. Ley reflexiva. Leyes de impotencia. Teoría de conjuntos. Álgebra de conjuntos. Posiciones relativas entre conjuntos ER -