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