Glossário de Lógica
Abdução … raciocínio lógico; determinar uma premissa à partir de uma clonclusão e regra; tipo de inferência. Argumento … é um conjunto de sentenças declarativas, ou premissas, que leva a uma conclusão. Axioma … verdade absoluta, postulado, sentença ou proposição que é considerada óbvia ou um consenso inicial, não demonstrada ou provada. Conclusão … proposição…