Alguém pra ajudar?
Mostrar que a proposição p implica a proposição q, sendo p: o número inteiro x terminado por 0 e q: o número inteiro x divisível por 5.
Soluções para a tarefa
Resposta:
Explicação passo-a-passo:
Escrevendo de outra equivalente, temos: "Se x termina em zero, então x é divisível por 5. A prova pode ser feita usando a contrapositiva, ou seja,
p ---> q é o mesmo que afirmar ~q --> ~p chamada contrapositiva.
Se x não é divisível por 5, então não termina em zero.
Lembro que em "p ---> q"; p é condição suficiente para q, e este é condição necessária para p.
Exemplo: Se nasceu em Barbacena, então é mineiro.
nascer em Barbacena é condição suficiente para ser mineiro.
ser mineiro é condição necessária para se ter nascido em Barbacena. Se essa condição não for satisfeita é impossível ele ter nascido em Barbacena ou em qualquer outra cidade daquele estado.
Esse raciocício serve para qualquer proposição condicional.
Se chover o pátio fica molhado.
chover é condição suficiente para o pátio ficar molhado.
o pátio ficar molhado é condição necessária para chover.