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.
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.