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 →.

Abaixo são apresentadas 3 proposições compostas.

I. p !$ \land !$ ~p

II. p !$ \lor !$ ~p

III. p → p

É(São) tautologia(s) APENAS