Vorrei un aiuto con questi esercizi. Sono per domani vi pregooo:

1) Dato il predicato p(x): 2x - 4 = 0, x elemento di Q, stabilite se gli enunciati p(1), p(2), p(3) non veri o falsi.
RISULTATI: (F;V;F)


2) Dati i predicati:
a(x): 2x + 3 = 0 b(x): x + 5 = 0, con x appartiene a N, stabilite se esistono valori x per cui essi sono veri.
RISULTATI: (no, perchè...)


3)Dati i predicati:
p(x;y): x + y + 1 = 0
q(x;y): x - y + 2 = 0
con x, y appartenenti a N, stabilire se sono vere o false le proposizioni p(2;1), q(2;2), q(0;2)
Esistono coppie (x;y) per cui il predicato p(x;y) diventa un enunciato vero?
RISULTATI: (F;F;V; no)


5) Dati i predicati:
p(x): x + 2 = 0 q(x): 2x + 1 = 0
con x appartenente a Q, stabilire il valore di verità degli enunciati:
p(1)oq (-1/2), p(-2)eq(-1), p(1) ---> q(-1/2)
RISULTATI: (V;F;V)


7) La coppia (1;1) verifica la congiunzione dei due predicati:
p(x;y): x + y) - 2 = 0 q(x;y): 2x + y - 3 = 0 con x, y appartenenti a N?