Método basado en la lógica (axiomas, premisas e inferencias).
Definición
Es un argumento donde la conclusión se infiere necesariamente de las premisas. Una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias.
Autores
Otros desarrollos
……..