Considérons l'équation , il va de soi que tout réel est solution. Tentons de la résoudre :
Le raisonnement par équivalences successives nous montre que et sont deux équations équivalentes. Cela signifie que la valeur de vérité de la relation ne dépend pas de , et qu'elle équivaut à , comme est vrai, on en déduit que équivaut à vrai, donc que tout réel est solution de . On rédigera donc de la sorte :
De même, considérons l'équation
Cette fois-ci, le raisonnement par équivalences successives nous montre que l'équation équivaut à une relation qui est toujours fausse, cela signifie que vous pouvez substituer n'importe quelle valeur à , vous ne trouverez aucun réel que vérifiera la relation. On écrira donc
On précisera dans ce type de cas que l'équation n'a pas de solution.