Множество истинности предиката p(x,y) = "x + y = 0", где x, y – целые числа из отрезка...

Question

Множество истинности предиката 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]

Лично я склоняюсь к варианту в, но я не знаю как это объяснить. Хэлп плиз

Answer 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)}