O que é uma contradição? Exemplifique.
Soluções para a tarefa
Respondido por
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.
Perguntas interessantes