Lógica Proposicional

Na Lógica Proposicional são definidos os conceitos base para a descrição e análise de teorias formais.

O domínio é descrito por proposições, que são formadas por átomos ligados por conectivos e têm valores verdade/falso.

• Objetivos: Descrever proposições, saber como chegar a conclusões a partir de hipóteses dadas e relacionar a estrutura com o valor de uma proposição.

• Plano: Definir uma linguagem adequada para proposições. Descrever regras de dedução e definir o cálculo do valor das proposições.

• Avaliar: Quais são limites computacionais e expressivos?

• Utilizar: Que problemas podem ser descritos e resolvidos?