Lógica matemática con problemas resueltos

Ccolque Taipe, Felipe Clímaco - Puno (Perú) : Universidad Nacional del Altiplano - 2005
Incluye referencias bibliográficas, índice alfabético

Proposiciones lógicas -- Variables y operaciones proposicionales -- Las tablas de valores -- Inferencias de reglas lógicas -- Veracidad y validez -- Lógica de clases -- Las clases en los diagramas -- operaciones con clase -- Lógica tradicional -- Inferencias mediatas -- El método de los diagramas de Venn -- Lógica cuantificacional -- Símbolos y fórmulas -- El método FH -- Simbolización de proposiciones categóricas.