Interpretasi Pertama: Dalam interpretasi pertama, kita dapat menganggap bahwa E adalah sebuah ekspresi logika predikat.
Dalam konteks ini, q dapat mewakili predikat tertentu, sementara f dan g mewakili fungsi.
Dalam hal ini, f(a, f(x, b)) dan g(x, y, a) adalah argumen-argumen yang diberikan kepada predikat q.
Jika kita menyetujui istilah f(x, b), maka kita menerima argumen pertama dari E, yaitu f(a, f(x, b)).
Interpretasi Kedua: Dalam interpretasi kedua, kita dapat menganggap E sebagai ekspresi matematika atau fungsi. Dalam hal ini, q, f, dan g dapat mewakili fungsi matematika.
Dalam konteks ini, f(a, f(x, b)) dan g(x, y, a) adalah bagian dari ekspresi matematika yang mungkin memiliki arti atau nilai tertentu. Jika kita menyetujui istilah f(x, b), maka kita menerima bagian pertama dari E, yaitu f(a, f(x, b)).
Dengan demikian, dua interpretasi di atas memberikan pemahaman yang berbeda tergantung pada konteksnya, apakah itu dalam konteks logika predikat atau matematika.
***