Pe scurt
Logica predicatelor extinde logica propozițională prin descompunerea propozițiilor în subiect și predicat, introducând variabile, cuantificatori și predicate. Cuantificatorul universal (∀) înseamnă „pentru orice”, iar cuantificatorul existențial (∃) înseamnă „există cel puțin un”, iar negarea acestora urmează reguli precise de echivalență. Această logică este fundamentală pentru formalizarea propozițiilor din matematică, fizică și viața de zi cu zi, fiind baza raționamentului formal în informatică și matematică.
Elemente fundamentale ale logicii predicatelor
Logica predicatelor (sau logica de ordinul întâi) este o extensie a logicii propoziționale, care permite analiza structurii interne a propozițiilor simple. Spre deosebire de logica propozițională, care tratează propozițiile ca întreguri atomice, logica predicatelor descompune o propoziție în subiect și predicat, introducând variabile, cuantificatori și predicate.
Predicate și variabile
Un predicat este o expresie care atribuie o proprietate unui obiect sau o relație între obiecte:
- Exemplu: „P(x) = x este par”
- Exemplu: „R(x,y) = x este mai mare decât y”
Variabilele (x, y, z etc.) sunt locuri goale care pot fi ocupate de elemente dintr-un domeniu (universul de discurs).
Cuantificatorii
Cuantificatorii sunt esențiali în logica predicatelor
- Cuantificatorul universal (∀) înseamnă „pentru orice”
- Cuantificatorul existențial (∃) înseamnă „există cel puțin un”
De exemplu, ∀x (P(x) → Q(x)) se citește „pentru orice x, dacă x are proprietatea P, atunci x are proprietatea Q”.
Negarea cuantificatorilor
Negarea cuantificatorilor urmează reguli precise
- ¬∀x P(x) este echivalent cu ∃x ¬P(x)
- ¬∃x P(x) este echivalent cu ∀x ¬P(x)
Aplicații și exemple practice
În liceu, logica predicatelor este utilă pentru formalizarea unor propoziții din matematică, fizică sau viața de zi cu zi.
Exemple de formalizare
- Exemplul 1: Fie domeniul numerelor naturale N. Scrieți formal propoziția „Orice număr natural este mai mare sau egal cu zero”. Folosim predicatul M(x,y) = „x este mai mare sau egal decât y”. Atunci ∀x (M(x,0)) este forma corectă. Se mai poate scrie ∀x (x ≥ 0). *Explicație*: Cuantificatorul universal acoperă toate elementele domeniului.
- Exemplul 2: Formalizați propoziția „Unii păsări nu zboară”. Fie P(x) = „x este pasăre”, Z(x) = „x zboară”. Propoziția se scrie ∃x (P(x) ∧ ¬Z(x)). Nu se folosește implicația, deoarece vrem să existe cel puțin o pasăre care să nu aibă proprietatea de a zbura. Dacă am scrie ∃x (P(x) → ¬Z(x)), propoziția ar fi adevărată și dacă nu există păsări, ceea ce este incorect.
- Exemplul 3: Negarea propoziției „Toți studenții din clasă au promovat examenul”. Fie S(x) = „x este student în clasă”, A(x) = „x a promovat”. Propoziția este ∀x (S(x) → A(x)). Negarea este ¬∀x (S(x) → A(x)) ≡ ∃x ¬(S(x) → A(x)) ≡ ∃x (S(x) ∧ ¬A(x)), adică „Există cel puțin un student în clasă care nu a promovat”. Se aplică regula de negare a cuantificatorului universal și echivalența ¬(P → Q) ≡ P ∧ ¬Q.
Greșeli frecvente și reguli importante
O greșeală frecventă este confuzia dintre implicație și conjuncție la cuantificatorul existențial:
- „Există un număr par și prim” se scrie ∃x (Par(x) ∧ Prim(x))
- Nu se scrie ∃x (Par(x) → Prim(x)), deoarece implicația ar fi adevărată și dacă nu există numere pare
În rezolvarea exercițiilor, se aplică reguli de echivalență, se transformă propozițiile în limbaj formal și se evaluează valoarea de adevăr pe un domeniu dat.
Concepte cheie
- Predicat și argumente (variabile)
- Cuantificator universal (∀) și existențial (∃)
- Negarea cuantificatorilor și echivalențe logice
- Diferența dintre implicație și conjuncție în cuantificatori
- Evaluarea valorii de adevăr pe un domeniu finit
Verifică-te!
- Cum se scrie formal propoziția „Toți oamenii sunt muritori” folosind predicatele Om(x) și Muritor(x)?
- Care este diferența dintre ∃x (P(x) ∧ Q(x)) și ∃x (P(x) → Q(x)) în ceea ce privește valoarea de adevăr?
- Cum se neagă propoziția ∀x (S(x) → A(x)) și care este forma echivalentă obținută?