0
0/1
0/1/1
0/1/1/3
Äquivalenz kann alternativ so formuliert werden:
Definitionsmenge und Lösungsmenge äquivalenter Terme stimmen überein.
Elementare Äquivalenzumformungen :
= | = | . | ||||
|
(Achtung! Dies gilt nicht für Ungleichungen!)
|
|||
= | . | ||
= | . | ||
|
= | = | |||||||
= | = | |||||||
|
|
Substituiere mit: | ||||
|
Rücksubstitution: | ||||
|
|||||
|