Na lógica proposicional, uma contradição é uma proposição composta cujo valor lógico é sempre falso, independentemente dos valores lógicos das proposições que a compõem.
Dadas as proposições simples p e q, assinale a alternativa que apresenta uma contradição.