Logica predicatelor (cuantificatori existential si universal)

Logica predicatelor reprezintă o extensie a logicii propoziționale, permițând analiza structurii interne a enunțurilor. Ea introduce două elemente fundamentale: predicatele și cuantificatorii. Un predicat este o expresie care, aplicată unui subiect (unei variabile individuale), devine o propoziție (adevărată sau falsă).

De exemplu, P(x) poate însemna „x este par”. Cuantificatorii sunt operatori care specifică domeniul de aplicare al predicatelor. Cuantificatorul universal (∀), citit „pentru orice” sau „orice”, afirmă că un predicat este adevărat pentru toate elementele dintr-un domeniu.

De exemplu, ∀x P(x) înseamnă „pentru orice x, P(x) este adevărat”, adică „toate numerele sunt pare” (fals în mulțimea numerelor naturale). Cuantificatorul existențial (∃), citit „există” sau „cel puțin un”, afirmă că există cel puțin un element din domeniu pentru care predicatul este adevărat. De exemplu, ∃x P(x) înseamnă „există un x astfel încât P(x) este adevărat”, adică „există un număr par” (adevărat în ℕ).

Domeniul de discurs (mulțimea în care variabilele iau valori) este esențial: valoarea de adevăr a unei formule cuantificate depinde de acesta. Negarea cuantificatorilor este o operație importantă: ¬∀x P(x) este echivalent cu ∃x ¬P(x) („nu toate x-urile au proprietatea P” = „există un x care nu are proprietatea P”), iar ¬∃x P(x) este echivalent cu ∀x ¬P(x) („nu există x cu proprietatea P” = „pentru orice x, P(x) este fals”). Logica predicatelor include și variabile legate (sub acțiunea unui cuantificator) și variabile libere (necuantificate).

În rezolvarea problemelor de bacalaureat, se cere adesea transformarea enunțurilor din limbaj natural în formule, stabilirea valorii de adevăr, sau demonstrarea unor echivalențe. Un alt aspect avansat este cuantificarea multiplă: ∀x ∃y R(x,y) („pentru orice x există un y astfel încât R(x,y)”) este diferită de ∃y ∀x R(x,y) („există un y care funcționează pentru toți x”). Ordinea cuantificatorilor contează.

De exemplu, în mulțimea numerelor reale, ∀x ∃y (y > x) este adevărat (pentru orice număr, există unul mai mare), dar ∃y ∀x (y > x) este fals (nu există un număr mai mare decât toate celelalte). Această lectie oferă bazele pentru înțelegerea raționamentelor matematice formale și pentru abordarea exercițiilor din programa de bacalaureat.

Exemple

• Exemplul 1: Fie domeniul D = {1, 2, 3, 4} și predicatul P(x): „x este par”. Evaluați ∀x P(x) și ∃x P(x). Rezolvare: ∀x P(x) înseamnă „toate elementele din D sunt pare”. Verificăm: 1 nu este par, deci afirmația este falsă. ∃x P(x) înseamnă „există un element par în D”. Elementele pare sunt 2 și 4, deci există cel puțin unul, afirmația este adevărată.
• Exemplul 2: Negati formula ∀x (P(x) → Q(x)) și scrieți o formulă echivalentă fără negație în fața cuantificatorului. Rezolvare: ¬∀x (P(x) → Q(x)) este echivalent cu ∃x ¬(P(x) → Q(x)). Știm că ¬(A → B) ≡ A ∧ ¬B. Deci ¬∀x (P(x) → Q(x)) ≡ ∃x (P(x) ∧ ¬Q(x)). Astfel, negația afirmației „pentru orice x, dacă P(x) atunci Q(x)” este „există un x astfel încât P(x) și nu Q(x)”.
• Exemplul 3: Fie domeniul numerelor reale și predicatul E(x,y): „x = y”. Determinați valoarea de adevăr pentru: (a) ∀x ∃y E(x,y) și (b) ∃y ∀x E(x,y). Rezolvare: (a) ∀x ∃y (x=y) înseamnă „pentru orice x, există un y egal cu x”. Alegem y = x, deci pentru fiecare x există y (chiar același x), afirmația este adevărată. (b) ∃y ∀x (x=y) înseamnă „există un y care este egal cu toți x”. Ar însemna ca toate numerele reale să fie egale cu același y, ceea ce este fals (de exemplu, 1≠2). Deci afirmația este falsă.

Concepte cheie: Predicat și variabilă individuală, Cuantificator universal (∀) și existențial (∃), Domeniul de discurs, Negarea cuantificatorilor: ¬∀x P(x) ≡ ∃x ¬P(x); ¬∃x P(x) ≡ ∀x ¬P(x), Ordinea cuantificatorilor multipli (∀∃ vs ∃∀)