Trelles Montero, Óscar

Introducción a la lógica [Texto impreso] Óscar Trelles Montero y Diógenes Rosales Papa - 2a ed. 1a reimpr. - Lima : Fondo editorial de la Pontificia Universidad Católica del Perú, 2000 (reimpr. 2002) - 388 p. : 21 cm.

Conceptos básicos -- Lógica proposicional: Aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: Introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS).

9972421821


Lógica

BC 59 / T79 2002