Ensino Superior ⇒ Demonstração nos ℕ

[L0José]

(Tricotomia). Para m,n ∈ N, apenas uma e somente uma alternativa é valida:
(i) ou m =n;
(ii) ou existe p ∈ N tal que m = n+ p;
(iii) ou existe q ∈ N tal que n = m+q

[edinaely84]

(Tricotomia). Para m,n ∈ N, apenas uma e somente uma alternativa é valida:
(i) ou m =n;
(ii) ou existe p ∈ N tal que m = n+ p;
(iii) ou existe q ∈ N tal que n = m+q

Está muito vago o exercício , não entendi o que o exercício está pedindo.