Questão 1
Sem resposta
Considere a seguinte afirmação simbolizada:
p∧-p
Qual é a técnica de prova que pode ser utilizada para mostrar que essa afirmação leva a uma contradição?
Ed
mês passado
A afirmação \( p \land \neg p \) é uma contradição, pois não é possível que \( p \) seja verdadeiro e falso ao mesmo tempo. A técnica de prova que pode ser utilizada para mostrar que essa afirmação leva a uma contradição é a demonstração por absurdo. Nessa técnica, você assume que a afirmação é verdadeira e, a partir disso, chega a uma contradição, provando que a afirmação original não pode ser verdadeira.
Já tem uma conta?
Ao continuar, você aceita os Termos de Uso e Política de Privacidade