Lógica simbólica

Garrido, Manuel

Lógica simbólica - 3a ed. - 502 páginas

84-309-2604-6


Lenguaje Formal
Garrido, Manuel
Enunciados
Deduccion
Consecuencia
Conectores
Calculo
Tautologias
Estrategias
Tablas Semanticas
Regla Derivada
Predicados
Cuantificadores
Modelos
Leyes
Silogistica
Relaciones
Logica
Identidad
Descripciones
Axiomas
Metodo Axiomatico
Sistemas Axiomaticos
Metalogica
Automatizacion
Razonamiento
Maquinas de Turing
Metodos Booleanos
Conocimiento
Matematicas
Historia