Questão 6. (Divisibilidade nos inteiros)
Dê a definição formal de "
divide
" nos inteiros.
Dê a definição formal de "
Passo 1
O enunciado pede a definição formal de “um inteiro
divide um inteiro
” em
. Para isso, vamos usar o conceito de existência de um múltiplo inteiro de
que seja igual a
.
Passo 2
Para
, dizemos que
se, e somente se,