Pe scurt
Logica predicatelor extinde logica propozițională prin analiza structurii interne a propozițiilor, folosind predicate, variabile și cuantificatori. Cei doi cuantificatori principali sunt cel universal (∀, „pentru orice”) și cel existențial (∃, „există”), iar simbolizarea corectă a enunțurilor din limbaj natural în formule logice este esențială. Înțelegerea modului de interpretare a formulelor, a negării cuantificatorilor și a distincției dintre variabile libere și legate stă la baza rezolvării problemelor de logică.
Ce este logica predicatelor?
Logica predicatelor, cunoscută și ca logica de ordinul întâi, extinde logica propozițională prin introducerea
predicatelor,
constantelor,
variabilelor și
cuantificatorilor. În timp ce logica propozițională tratează propoziții atomice și conexiuni logice (și, sau, nu, dacă...atunci), logica predicatelor ne permite să analizăm structura internă a propozițiilor, dezvăluind relații între obiecte și proprietăți.
Cuantificatorii: universal și existențial
Cei mai importanți cuantificatori sunt:
- Cuantificatorul universal (∀, notat cu „pentru orice” sau „toți”)
- Cuantificatorul existențial (∃, notat cu „există” sau „cel puțin un”)
O formulă bine formată (FBF) în logica predicatelor include predicate (de exemplu, P(x) = „x este inginer”), variabile (x, y, z), constante (a, b, c) și cuantificatori.
Simbolizarea propozițiilor
- Exemplu: „Toți inginerii sunt buni la matematică” se simbolizează ∀x (Inginer(x) → BunLaMatematica(x))
- Exemplu: „Există un inginer care este și filozof” se scrie ∃x (Inginer(x) ∧ Filozof(x))
Exemple detaliate de simbolizare
- Exemplul 1: Simbolizarea propoziției „Toți câinii sunt mamifere”. Se alege domeniul D = ființe vii. Se definește predicatul C(x): x este câine, M(x): x este mamifer. Formula corectă: ∀x (C(x) → M(x)). Observație: nu „∀x (C(x) ∧ M(x))” pentru că aceasta ar însemna că tot ce există este câine și mamifer, ceea ce este fals. Interpretare: pentru orice individ din domeniu, dacă este câine, atunci este mamifer.
- Exemplul 2: Simbolizarea propoziției „Unii elevi nu au învățat pentru examen”. Domeniul D = elevi. Predicatul I(x): x a învățat pentru examen. Propoziția afirmă existența unui elev care nu a învățat: ∃x ¬I(x). Alternativ, se poate scrie ∃x (Elev(x) ∧ ¬I(x)) dacă domeniul este mai larg. Explicație: cuantificatorul existențial cere ca măcar un element din domeniu să satisfacă proprietatea de a nu fi învățat.
Interpretarea formulelor
Interpretarea unei formule presupune atribuirea unui
domeniu de discurs (o mulțime de obiecte) și a unor semnificații concrete predicatelor și constantelor. De pildă, dacă domeniul este mulțimea oamenilor, predicatul I(x) poate fi „x este inginer”, iar M(x) „x este bun la matematică”.
- Adevărul unei cuantificări universale depinde de toate elementele domeniului: ∀x I(x) este adevărat dacă fiecare element din domeniu este inginer.
- Cuantificarea existențială ∃x I(x) este adevărată dacă cel puțin un element este inginer.
Exemplu de interpretare
Exemplul 3: Interpretarea formulei ∀x ∃y (L(x,y)) unde L(x,y) = „x îl place pe y”, cu domeniul mulțimea tuturor persoanelor. Formula spune: „Pentru orice persoană x, există o persoană y (posibil diferită) astfel încât x îl place pe y.” Nu se specifică dacă y este aceeași pentru toți sau dacă relația este reciprocă. O interpretare diferită apare la ∃x ∀y L(x,y): „Există o persoană care este plăcută de toți” – ordinea cuantificatorilor schimbă sensul.
Se subliniază importanța poziției cuantificatorilor.
Negarea cuantificatorilor
Negarea cuantificatorilor urmează reguli simple:
- ¬∀x P(x) ≡ ∃x ¬P(x)
- ¬∃x P(x) ≡ ∀x ¬P(x)
Aceasta este echivalentă cu a spune: „Nu toți sunt P” înseamnă „Există unul care nu este P”, iar „Nu există niciun P” înseamnă „Toți sunt non-P”.
Variabile libere și legate
O
variabilă este
legată atunci când se află în sfera unui cuantificator; în caz contrar este
liberă. De exemplu, în formula ∀x P(x) → Q(y), x este legată, iar y este liberă. Interpretarea corectă a formulelor cu variabile libere necesită atribuirea unor valori din domeniu (o asignare).
Ordinea cuantificatorilor
Atenție la conversia propozițiilor cu cuantificatori multipli, de exemplu „Pentru orice număr natural există un număr mai mare” se scrie ∀x ∃y (MaiMare(y, x)), iar „Există un număr mai mare decât toate” se scrie ∃x ∀y MaiMare(x, y) —
ordinea cuantificatorilor contează.
Aplicații pentru bacalaureat
În cadrul bacalaureatului, elevii trebuie să poată simboliza propoziții din limbaj natural în formule logice, să identifice domeniul corect, să construiască interpretări și să decidă asupra validității unor inferențe simple. În rezolvarea problemelor de bac, se cere adesea traducerea enunțurilor de tipul:
- „Unii studenți sunt harnici” → ∃x (Student(x) ∧ Harnic(x))
- „Niciun profesor nu este leneș” → ∀x (Profesor(x) → ¬Lenes(x))
Concepte cheie
- Cuantificator universal (∀): propoziție adevărată dacă predicatul este adevărat pentru toate elementele domeniului.
- Cuantificator existențial (∃): propoziție adevărată dacă predicatul este adevărat pentru cel puțin un element din domeniu.
- Negarea cuantificatorilor: ¬∀x P(x) ≡ ∃x ¬P(x) și ¬∃x P(x) ≡ ∀x ¬P(x).
- Variabile libere vs. legate: o variabilă este legată dacă se află în sfera unui cuantificator, altfel este liberă.
- Ordinea cuantificatorilor: ∀x ∃y P(x,y) este diferit de ∃x ∀y P(x,y); prima înseamnă „pentru orice x există un y”, a doua „există un x astfel încât pentru toți y”.
Verifică-te!
- Cum se simbolizează propoziția „Niciun om nu este perfect” folosind predicate și cuantificatori?
- Care este diferența dintre formulele ∀x ∃y P(x,y) și ∃x ∀y P(x,y)?
- Ce înseamnă negarea ¬∀x (Student(x) → Harnic(x)) în limbaj natural?