Proposição é uma sentença declarativa que pode ser classificada, unicamente, como VERDADEIRA ou FALSA. Proposições compostas são sentenças formadas por proposições simples relacionadas por conectivos. Se p e q são proposições simples, então ~p e ~q são, respectivamente, as suas negações. Os conectivos e e ou são representados, respectivamente, por !$ \land !$ e !$ \lor !$. A condicional (implicação) também é um conectivo e é representada por →.

A negação de p → ~q é