Lógica: sintaxe, noção formal de derivação e sistemas dedutivos (com identidade), semântica.