A lógica é dita formal quando é utilizada para analisar a estrutura de argumentos independentemente do seu conteúdo, ou seja, é uma lógica que se preocupa com a forma e não com o conteúdo do argumento. Ela é utilizada em diversas áreas, como na matemática, filosofia, ciência da computação, entre outras. Na área de ciência da computação, a lógica formal é fundamental para a construção de algoritmos e programas de computador.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica para Computação
•ESTÁCIO
Compartilhar