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.

Ele caiu.

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.

Tabelas-Verdade