Questão 6. (Divisibilidade nos inteiros)
Dê a definição formal de " a divide b " nos inteiros.

Passo 1

O enunciado pede a definição formal de “um inteiro a divide um inteiro b” em \mathbb{Z}. Para isso, vamos usar o conceito de existência de um múltiplo inteiro de a que seja igual a b.

Passo 2

Para a,b\in \mathbb{Z}, dizemos que a \mid b se, e somente se,
\exists k \in \mathbb{Z}\colon b = a\,k.

Resposta

a \mid b \iff \exists k \in \mathbb{Z}\colon b = a\,k.

Exercícios relacionados