Tipuri de predicate
Predicatele se clasifică după numărul de variabile pe care le conțin, fiecare tip având aplicații specifice în matematică.
Un predicat unar p(x) depinde de o singură variabilă x. Acesta devine o propoziție adevărată sau falsă când înlocuim x cu o valoare din mulțimea E.
Avem și predicate binare q(x,y) care depind de două variabile, precum și predicate ternare r(x,y,z) care depind de trei variabile. În toate cazurile, x, y și z sunt variabile ce aparțin unei mulțimi E.
Mulțimea E reprezintă domeniul de definiție (sau universul predicatului) și conține toate valorile posibile pentru variabilele implicate în predicat.
💡 Reține: Cu cât un predicat are mai multe variabile, cu atât poate exprima relații mai complexe între elementele din mulțimea E!