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.
é equivalente à proposição