As proposições são palavras ou símbolos que expressam um pensamento com um sentido completo e indicam afirmações de fatos ou de ideias.

Essas afirmações assumem valores lógicos que podem ser verdadeiros ou falsos e para representar uma proposição usualmente utilizamos as letras p e q.

São exemplos as proposições:

• O Brasil está localizado na América do Sul. (proposição verdadeira).
• A Terra é um dos planetas do sistema solar. (proposição verdadeira).
• .(proposição verdadeira).
• A Terra é plana. (proposição falsa).
• . (proposição falsa)

Considerando a lógica matemática, uma proposição não pode ser ao mesmo tempo verdadeira e falsa. Além disso, não existe a possibilidade de uma terceira situação diferente de verdadeiro ou falso.

As proposições podem ser simples, quando apresentam apenas uma sentença, e compostas quando são formadas pela combinação de duas ou mais proposições simples.

“O céu é azul” é um exemplo de proposição simples, já a sentença “O céu é azul e as nuvens são brancas” é um exemplo de proposição composta.