Creio que estás a falar de ensinar uma linguagem e não da lógica propriamente dita.
Do ponto de vista da lógica como disciplina ou da matemática o que interessa são as relações e não definições de operadores, que tem a ver com construir uma linguagem.
As demonstrações não tem nenhum interesse utilitário (ninguem vai demonstrar novos teoremas numa aula do secundário ou mesmo de uma lic em matemática). Tem como disse o Hermes o objectivo de estimular um raciocínio rigoroso livre de contradições.
Não, não estou a falar de ensinar uma linguagem, e sim da lógica mais básica que é de tremenda utilidade mesmo sem se estar numa actividade especializada qualquer.
