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. Sejam p e q proposições e ~p e ~q, respectivamente, suas negações. Se p é uma proposição verdadeira e q, uma proposição falsa, então é verdadeira a proposição composta