Introducere în logica matematică: propoziții și predicate

Propozițiile în logica matematică

În logica matematică, o propoziție este un enunț despre care putem spune cu exactitate dacă este adevărat sau fals. Acestea reprezintă baza raționamentelor matematice.

Propozițiile se notează de obicei cu litere mici: p, q, r sau s. Fiecare propoziție are o valoare de adevăr, notată v$p$, care poate fi 1 (când propoziția este adevărată) sau 0 (când propoziția este falsă).

Predicatele reprezintă o extindere a conceptului de propoziție. Un predicat pe o mulțime E este un enunț care depinde de una sau mai multe variabile și care, pentru orice valori din E date variabilelor, produce o propoziție adevărată sau falsă.

💡 Sfat util: Gândește-te la predicate ca la "propoziții cu variabile" - ele devin propoziții complete doar atunci când înlocuiești variabilele cu valori concrete!

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!