Ikkita sonli ifoda A va В berilgan bo'lsin. Bu ifodalardan A = В tenglik va A > B, A< В va shunga o'xshash tengsizliklarni tuzishimiz mumkin. Bu tenglik va tengsizliklar jumlalar bo'lib, ular rost yoki yolg'on bo'lishi mumkin. A va В ifodalar bir xil sonli qiymatga ega bo'lsa, A = В rost hisoblanadi. Masalan, 2 + 7 = 3 • 3 tenglik rost, chunki bu tenglikning chap va o'ng qismlari 9 ga teng. 7 + 5 = 4 • 5 tenglik esa yolg'on, chunki uning chap qismi 12 ga, o'ng qismi 20 ga teng. 6 : (2 - 2) = 5 tenglik ham yolg'on, chunki 6 : (2 - 2) ifoda sonli qiymatga ega emas.