Um estudo das expressões, sequências e construções lógicas dos argumentos válidos, sem considerar a veracidade ou não do argumento. A lógica formal costuma ser utilizada para se provar a correção dos programas.
