8) Resposta: Temos que 5n+6 é ímpar se n for ímpar, por absurdo temos que 5n+6 é ímpar e n é par (p → ~q) se n é par, existe um inteiro k tal que n...
8) Resposta: Temos que 5n+6 é ímpar se n for ímpar, por absurdo temos que 5n+6 é ímpar e n é par (p → ~q) se n é par, existe um inteiro k tal que n = 2k. 5n+6 = 5(2k)+6; → 10k+2 = 2(5k+1) = 2t onde t = (5k+1), logo 5n+6 é par, encontramos que ~p é verdadeiro, e p também é verdadeiro, logo uma contradição p ^ ~p, logo ~q é falso e por fim temos que n é ímpar.
Essa pergunta também está no material:
💡 1 Resposta
Ed 
A resposta está correta. O texto mostra um exemplo de prova por contradição, onde assume-se que a proposição "5n+6 é ímpar e n é par" é verdadeira e, a partir disso, chega-se a uma contradição. Como a proposição inicial é falsa, conclui-se que a proposição oposta, "n é ímpar", é verdadeira.
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas relacionadas
Materiais relacionados
1 pág.
20 pág.
Compartilhar