Seja x um número natural. Considere a seguinte propriedade:
q: "Se x não é divisível por 3, então o resto da divisão de x² por 3 é 1".
Por exemplo, o número 7 não é divisível por 3. A divisão de 7²=49 resulta em: 49=3×16+1. Ou
seja, 7² quando dividido por 3 deixa resto 1.
Com base nessa propriedade, responda à próxima questão.
Pondere a sentença condicional q: "Se x não é divisível por 3, então o resto da divisão de x²
por 3 é 1."
Qual número satisfaz a condição inicial da propriedade descrita na sentença q? Ou seja, qual
número satisfaz o antecedente da condicional q?