Lógica general [Texto impreso]
Luis Piscoya Hermoza
- 3a ed.
- Lima : Fondo editorial de la UNMSM, 2007
- 358 p. : il. ; 23 cm.
Proposiciones -- El lenguaje de la lógica proposicional -- Disyunción y negación -- El condicional y la implicación -- Bicondicional, funciones de verdad y equivalencia -- Jerarquía de las formulas del lenguaje de la lógica proposicional -- Tautología, principios lógicos y validez -- Formalización -- Deducción natural -- Simplificación del lenguaje proposicional PM -- Bases lógicas de la inteligencia artificial -- Lógica clásica -- Diagramas de Venn -- El lenguaje predicativo -- La inducción clásica -- Reseña histórica de la lógica