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: | ||||
| |
|||||
| |