A Lógica Formal fornece as bases para o método de pensar organizado e cuidadoso que caracteriza qualquer atividade racional. Além disso, a Lógica Formal tem aplicações diretas em diversas áreas do conhecimento.
Existem vários tipos de Lógica Formal, sendo duas especialmente importantes:
• Lógica Proposicional (Cálculo Proposicional)
• Lógica de Predicados (Lógica de Primeira Ordem)
A codificação em Lógica permite a remoção de ambiguidades inerentes às Linguagens Naturais( No nosso caso a linguagem natural é a língua portuguesa ou linguagem coloquial) .
A língua portuguesa, assim como outras línguas, é formada por palavras e sentenças, numa teia sutil e complexa. Expressar-se com clareza e precisão não é uma tarefa fácil.
Mapeamento : Linguagem Natural/ Lógica das Proposições.
Nenhum comentário:
Postar um comentário