axiac

x și y numere întregi
x < y
26 < y-x < 30
127 < y+x < 130

a) Îl separăm pe "x" în prima relație (îl scădem pe "y" și apoi înmulțim cu -1) și obținem: y-30 < x < y-26
b) Scădem "y" din toți membrii celei de-a doua relații și obținem: 127-y < x < 130-y

Adunăm relațiile inițiale: 153 < 2*y < 160, împărțim la 2 și obținem: 76,5 < y < 80
Deoarece "y" este întreg valorile posibile sunt 77, 78 și 79.

* dacă y = 77, x este în mulțimea { 48, 49, 50 } (relația a) intersectată cu { 51, 52 } (relația b) => x nu poate lua nicio valoare;
* dacă y = 78, x este în { 49, 50, 51 } intersectată cu { 50, 51 } => x poate fi 50 sau 51;
* dacă y = 79, x este în { 50, 51, 52 } intersectată cu { 49, 50 } => x poate fi 50.

Soluțiile (x, y) sunt (50, 78), (50, 79) și (51, 78).