(ESAF – MF 2013) Conforme a teoria da lógica proposicional, a proposição ~P ^ P é:

(  ) uma tautologia.

(  ) equivalente à proposição ~ P ^ P .

(x) uma contradição.

(  ) uma contingência.

(  ) uma disjunção.