Formalismo matematico

[jakojako]

Salve a tutti,
spero di aver scritto nella sezione corretta di questo forum. Volevo porre la seguente domanda: spesso sulle lavagne delle aule mi accorgo di leggere del formalismo matematico usato in maniera un po' "impropria" a mio modo di vedere. Spesso si usano delle implicazioni logiche piuttosto che delle equivalenze logiche. Faccio degli esempi: mi è capitato di leggere
$$x-1\geq 0 \Rightarrow x\ge1$$
piuttosto che
$$x-1\geq0\Leftrightarrow x\geq 1,$$
oppure mi è capitato di leggere delle equazioni su cui vengono applicati progressivamente i principi di equivalenza senza che esse siano legate da dei $\Leftrightarrow$.
E' lecito il mio dubbio? Sarebbe dunque corretto usare questo formalismo oppure no?
Grazie anticipatamente a tutti!

[otta96]

Semplicemente non si sfrutta tutto ciò che si sa, nel senso che se vale $<=>$, in particolare vale $<=$ e $=>$. Se a me ad un certo punto mi interessa che valga $=>$, scrivo $=>$.