(ESAF – MF 2013) A negação da proposição “Brasília é a Capital Federal e os Territórios Federais integram a União” é:

(  ) Brasília não é a Capital Federal e os Territórios Federais não integram a União.

(x) Brasília não é a Capital Federal ou os Territórios Federais não integram a União.

(  ) Brasília não é a Capital Federal ou os Territórios Federais integram a União.

(  ) Brasília é a Capital Federal ou os Territórios Federais não integram a União.

(  ) Brasília não é a Capital Federal e os Territórios Federais integram a União.

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