Множество истинности предиката p(x,y) = "x + y = 0", где x, y – целые числа из отрезка [–2; 4], равно:а){-2,-1,1,2}б){-2,2}{-1,1}в){(-2,2),(-1,1),(0,0)}г)[-2,2]д)[-1,1]Лично я склоняюсь к варианту в, но я не знаю как это объяснить. Хэлп плиз

Множество истинности предиката - множество значений параметров, при которых предикат превращается в истинное утверждение. Для предиката от двух аргументов x, y, множество истинности - множество пар (x, y).

x + y = 0, если x, y - целые из отрезка [-2, 4], выполнено при следующих значениях (x,y):
(-2, 2), (-1, 1), (0, 0), (1, -1), (2, -2).

Множество истинности данного предиката: {(-2, 2), (-1, 1), (0, 0), (1, -1), (2, -2)}