Question

O que é uma contradição? Exemplifique.

Answer 1

Constradição é um contatação usada normalmente para provar alguma proposição. Originalmente tenta-se provar p -> q (p implica q), por contradição supomos que p e ¬q (negação de q) verdadeira, mas se no decorrer da prova encontramos ¬p, entra em contradição com o p inicailmente verdadeiro, logo tem-se que q deve ser verdade.