Método dedutivo Dedução natural Teorema da dedução Jogo de tabuleiro de dedução Normalização de provas na dedução natural