formal logic, lógica formal

Um estudo das expressões, seqüê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.