As proposições lógicas podem ser classificadas em dois tipos:

As proposições lógicas podem ser classificadas em dois tipos: proposições simples e proposições compostas. Proposições simples são aquelas que não podem ser divididas em partes menores, ou seja, não possuem conectivos lógicos. Já as proposições compostas são formadas pela combinação de duas ou mais proposições simples, utilizando conectivos lógicos como "e", "ou", "não", "se...então", entre outros.