Aula 2 : Lógica Matemática - Cálculo Proposicional : Operações Lógicas sobre proposições,

Aula 2 : Lógica Matemática - Cálculo Proposicional : Operações Lógicas sobre proposições.

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.

Aula 1 : Lógica Matemática - Introdução aos Cálculos das Proposições

Aula 1 -  Lógica Matemática - Introdução aos Cálculos das Proposições