segunda-feira, 21 de julho de 2014

Dicas de Lógica Matemática

Lógica das Proposições ou Lógica Proposicional

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: