Trelles Montero, Oscar,
Introducción a la lógica /
Oscar Trelles Montero.
- 261 páginas ; 27 centímetros
Lógica proposicional. Aspéctos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: Introducción -- Simbolización -- Inferencias clásicas -- Sistema de deducción natural proposicional -- Lógica cuantificacional (LC). El método DN -- Sistema de diagramas sistemáticos.SDS.
Lógica
160 / T79