Ordet algebra har vi fått fra det arabiske ordet «al-jabr», som betyr å gjenopprette eller gjøre fullstendig. Den persiske matematikeren Al-Khwârizmî (ca. år 800 e.Kr.) brukte ordet om den operasjonen han utførte for å forenkle likninger.

Implikasjon betyr «medfører at». Ekvivalens betyr at en logisk slutning gjelder begge veier.