Introducción a la lógica

Guardado en:
Detalles Bibliográficos
Autor principal: Trelles Montero, Oscar (autor.)
Otros Autores: Diogenes Rosales Papa
Formato: Libro
Lenguaje:español
Publicado: Lima : Pontificia Universidad Católica del Perú, 1988.
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Tabla de Contenidos:
  • 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.