Fie predicatele binare pe mulțimea
A = {1, 2, 3, 4, 5}, p(x, y): „x - 2y = 3“, q (x, y): x + 3y = 8".

a) Să se formeze predicatele: p(x, y) v q (x, y) și p(x, y) ^ q (x, y).

b) Să se determine mulțimea de adevăr a predicatelor nou formate.

rog seriozitate!​