Proposição é toda sentença declarativa que pode ser classificada, unicamente, como verdadeira ou como falsa. Portanto, uma proposição que não possa ser classificada como falsa será verdadeira e vice-versa.

Proposições compostas são sentenças formadas por duas ou mais proposições relacionadas por conectivos.

Duas proposições compostas são equivalentes se têm a mesma tabela de valores lógicos.

É correto afirmar que a proposição composta p \( \rightarrow \) q é equivalente à proposição