Lógica para principiantes (Contiene CD)

Lógica para principiantes (Contiene CD)
Índice: I. Lógica proposicional: Introducción general; El lenguaje de la lógica proposicional; Semántica; Tableaux semánticos; Otros cálculos proposicionales; II. Conjuntos y diagramas: Teoría básica de conjuntos; Diagramas de Venn; Relaciones y funciones; III. Lógica de primer orden: El lenguaje de la lógica de primer orden; Semántica; Tableaux para lógica de primer orden; Otros cálculos de primer orden.
Le acompaña un CD interactivo con más de 2000 ejercicios y sus soluciones, así como un documento con los teoremas habituales de la metalógica.
Le acompaña un CD interactivo con más de 2000 ejercicios y sus soluciones, así como un documento con los teoremas habituales de la metalógica.