Пример, конечно, но он не учит правильному использованию логики, разве что развивает интуитивную логику.
Отчасти доказательство математических теорем - и есть пример использования формальной логики. Т.е. определённые основы таким образом учащиеся получают. Хотя, специализированный предмет, конечно, лучше. Вообще, логика - предмет полезный. Преподавать было бы неплохо. В школе, конечно.
Пример, конечно, но он не учит правильному использованию логики, разве что развивает интуитивную логику.