A lógica proposicional tem o objetivo mapear o conhecimento em uma linguagem sem ambiguidades processável matematicamente.
Existem dois princípios fundamentais na lógica proposicional:
- **Princípio da não contradição: ** uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
- **Princípio do terceiro excluído: ** toda proposição ou é verdadeira ou falsa, não há terceiro valor possível.
É importante antes de mais nada entender o conceito de proposição, pois as proposições são as estruturas básicas que compõe a lógica proposicional.
Uma proposição é um enunciado completo que exprime um pensamento de sentido completo no qual podemos atribuir um valor-verdade. Proposições afirmam fatos ou exprimem juízos que podem (ou não) representar a realidade. Atribuímos às proposições valores lógicos, que podem ser verdadeiro() ou falso().
Uma proposição pode ser classificada em um dos dois tipos:
- Atômica (fórmula atômica): formada por uma e somente uma proposição, não possui nenhum conectivo lógico.
- Composta (fórmula composta): formada por duas ou mais proposições atômicas ligadas por conectivos lógicos.
Como qualquer outra linguagem, a lógica proposicional é composta por sintaxe e semântica.