Predicate si cuantificatori: cuantificatorul universal

Cuantificatorul universal, notat cu simbolul ∀ (citit „pentru orice” sau „oricare”), este un instrument logic care ne permite să formulăm afirmații despre toate elementele unei mulțimi. În logica predicatelor, un predicat este o propoziție care depinde de una sau mai multe variabile, de exemplu P(x): „x este un număr par”. Fără cuantificatori, nu putem spune nimic despre toate numerele; putem doar spune că un anumit număr, de exemplu 4, este par: P(4) este adevărat.

Cu ajutorul cuantificatorului universal, putem scrie ∀x P(x), care se citește „pentru orice x, P(x) este adevărat”. Acest enunț este adevărat doar dacă predicatul P(x) este adevărat pentru fiecare element din domeniul de discurs (mulțimea din care face parte x). De exemplu, dacă domeniul este mulțimea numerelor naturale și P(x): „x ≥ 0”, atunci ∀x P(x) este adevărat, deoarece orice număr natural este mai mare sau egal cu 0.

În schimb, dacă P(x): „x este par”, atunci ∀x P(x) este fals, deoarece există numere naturale care nu sunt pare (de exemplu 1, 3, 5). Pentru a demonstra că un enunț cu cuantificator universal este fals, este suficient să găsim un contraexemplu – un element pentru care predicatul nu este adevărat. Este foarte important să specificăm domeniul de discurs, deoarece adevărul propoziției depinde de el.

De exemplu, ∀x (x > 0) este adevărat dacă domeniul este mulțimea numerelor naturale, dar fals dacă domeniul include și numărul 0. În matematică și în viața de zi cu zi, folosim frecvent cuantificatorul universal, deși nu întotdeauna conștient: „Toate pătratele au laturi egale”, „Fiecare elev din clasă a învățat lecția” – toate acestea sunt enunțuri cu cuantificator universal. În concluzie, cuantificatorul universal ne ajută să generalizăm, transformând predicate simple în afirmații globale, iar înțelegerea lui este esențială pentru gândirea logică și matematică.

Exemple

• Exemplul 1 – Domeniu: mulțimea animalelor de la fermă. Predicat: F(x): „x are patru picioare”. Enunț: ∀x F(x) – „Toate animalele de la fermă au patru picioare”. Acest enunț este fals, deoarece există animale (de exemplu găinile) care au două picioare. Contraexemplu: găina (numește un animal cu două picioare).
• Exemplul 2 – Domeniu: numerele naturale de la 1 la 10. Predicat: P(x): „x este mai mic decât 11”. Enunț: ∀x P(x) – „Pentru orice număr natural între 1 și 10, acesta este mai mic decât 11”. Acest enunț este adevărat, deoarece toate numerele 1,2,...,10 respectă condiția. Nu există niciun contraexemplu.
• Exemplul 3 – Domeniu: mulțimea profesiilor dintr-un oraș (profesori, medici, ingineri etc.). Definim predicatul L(x): „x poartă halat”. Enunț: ∀x L(x) – „Toți oamenii din oraș poartă halat”. Evident fals: deși medicii poartă halat, profesorii nu poartă halat la școală (de obicei). Contraexemplu: un profesor.

Concepte cheie: Cuantificator universal (∀), Domeniu de discurs, Contraexemplu, Predicat, Generalizare logică