ResumoIn this paper the author emphasizes the value of problems and problem solving in the teaching of logic. Afterwards, special attention is given to Natural Deduction. Also, this paper poses some reflections relative to the presentation of the notions of univocal connective and conservative extension in a teaching situation. Some brief remarks on Analytic Tableaux and logical terminology may also prove useful pedagogically.
Não há dados estatísticos.