Introducción a la lógica /
Trelles Montero, Oscar.
Introducción a la lógica / Oscar Trelles Montero, Diógenes Rosales Papa ; colaboradores, Juan Montealegre y Miguel Fuentes. - 2a ed. - Lima : Pontificia Universidad Católica del Perú, 2000. - 388 p. ; 24 cm.
Bibliografía: p. [371]-379.
Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional -- Simbolización -- Inferencias clásicas -- Sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- Sistema de diagramas sintácticos SDS.
9972-1-0192-4
Lógica.
/ I 2000
Introducción a la lógica / Oscar Trelles Montero, Diógenes Rosales Papa ; colaboradores, Juan Montealegre y Miguel Fuentes. - 2a ed. - Lima : Pontificia Universidad Católica del Perú, 2000. - 388 p. ; 24 cm.
Bibliografía: p. [371]-379.
Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional -- Simbolización -- Inferencias clásicas -- Sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- Sistema de diagramas sintácticos SDS.
9972-1-0192-4
Lógica.
/ I 2000
