Gelijkheden controleren

Door getallen in te vullen voor de variabelen kun je een gelijkheid controleren. Als een gelijkheid klopt, levert de uitdrukking links van het gelijkteken dezelfde uitkomst op als de uitdrukking rechts van het gelijkteken. Zo niet, dan heb je met een tegenvoorbeeld laten zien dat de gelijkheid niet klopt.

Voorbeeld
De uitdrukkingen en stellen niet hetzelfde getal voor als en .
Immers, en .
Dus de gelijkheid klopt niet.