A lógica formal não se ocupa com os conteúdos pensados ou com os objetos referidos pelo pensamento, mas apenas com a forma pura e geral dos pensamentos, expressa pela linguagem.
Sentenças
As características básicas das sentenças são:
- um pensamento completo;
- Composta por um sujeito (algo que se declara) e por um predicado (aquilo que se declara sobre o sujeito).
Tipos de Sentenças
Afirmativas
João foi comprar pão.
Negativas
Maria não gosta de queijo.
Imperativas
Estude muito.
Exclamativas
Como você está linda!
Interrogativas
Onde você vai?
Sentenças Abertas
São sentenças nas quais não podemos determinar o sujeito. Uma forma simples de identificá-las é o fato de que não podem ser nem Verdadeiras ou Falsas.
Aquele atirador errou todos os alvos.
X + Y + Z = 32.
Sentenças Fechadas
Já neste tipo de sentença, conseguimos determinar o sujeito e valorá-la com Verdadeiro ou Falso.
Proposições
São as sentenças afirmativas ou negativas formada por palavras ou símbolos que expressam um pensamento de sentido completo, podendo atribuir um valor lógico, uma valoração, ou seja, Verdadeiro ou Falso.
O céu é azul.
Amanhã vai chover.
João foi comprar pão.
Conectivos Lógicos
Conectivos lógicos são palavras usadas para conectar as proposições formando novas sentenças.
Os principais conectivos lógicos são:
Princípios Fundamentais da Lógica Proposicional
- O princípio de Identidade – Afirma que se qualquer enunciado é verdadeiro, então ele é verdadeiro.
- O princípio da Não Contradição – Afirma que nenhum enunciado pode ser verdadeiro e falso.
- O princípio do Terceiro Excluído – Afirma que um enunciado ou é verdadeiro ou é falso.