Wahrheit/Erfüllbarkeit hängt von Theorie (d.h. Interpretation der Funktionssymbole) ab, Bsp:
gilt für Zahlen, aber nicht für Matrizen. Aber
ist allgemeingültig in jeder Theorie,
weil es in der Theorie der freien Termalgebra allgemeingültig ist.