Pe scurt
Logica predicatelor extinde logica propozițiilor prin analiza structurii interne a enunțurilor, utilizând predicate, variabile și cuantificatori. Aceasta permite formalizarea unor propoziții complexe din limbaj natural, precum „Toți oamenii sunt muritori” sau „Există un elev care învață logica”. Formele standard, cum ar fi forma prenexă și forma Skolem, sunt esențiale pentru demonstrarea teoremelor și aplicațiile în inteligența artificială.
Elemente fundamentale ale logicii predicatelor
- Predicat și variabilă: Un predicat este o proprietate atribuită unei variabile (de exemplu, P(x) înseamnă „x are proprietatea P”), iar variabilele (x, y, z) reprezintă obiecte dintr-un domeniu de discurs.
- Cuantificatori universali și existențiali: Cuantificatorul universal (∀ – „pentru orice”) afirmă că o proprietate este valabilă pentru toate elementele domeniului, iar cuantificatorul existențial (∃ – „există cel puțin unul”) indică existența a cel puțin unui element care satisface predicatul.
Formalizarea propozițiilor din limbaj natural
- Exemplul 1: Enunțul „Fiecare student învață matematică sau fizică” se formalizează cu predicatele: S(x) = „x este student”, M(x) = „x învață matematică”, F(x) = „x învață fizică”. Formula: ∀x (S(x) → (M(x) ∨ F(x))). Interpretare: pentru orice x, dacă x este student, atunci x învață matematică sau x învață fizică.
- Exemplul 2: Enunțul „Există un număr natural care este pătrat perfect și prim” se formalizează cu: N(x) – x este număr natural, P(x) – x este pătrat perfect, Pr(x) – x este prim. Formula: ∃x (N(x) ∧ P(x) ∧ Pr(x)). Negarea: ¬∃x (N(x) ∧ P(x) ∧ Pr(x)) ≡ ∀x (N(x) → (¬P(x) ∨ ¬Pr(x))). În limbaj natural: „Pentru orice număr natural, acesta nu este pătrat perfect sau nu este prim”.
Forme standard ale formulelor
- Forma prenexă: Cuantificatorii sunt plasați la începutul formulei, iar variabilele trebuie să fie distincte. De exemplu, transformarea formulei ∀x P(x) → ∃y Q(y) în formă prenexă: ∃x∃y (P(x) → Q(y)). Se aplică echivalența: (∀x P(x)) → (∃y Q(y)) ≡ ∃x∃y (P(x) → Q(y)).
- Forma Skolem: Elimină cuantificatorii existențiali prin introducerea de constante sau funcții Skolem, facilitând demonstrarea teoremelor și rezolvarea problemelor de satisfiabilitate.
Aplicații și reguli importante
- Domeniul de discurs și interpretarea predicatelor: Domeniul reprezintă universul de obiecte (de exemplu, mulțimea numerelor naturale), iar predicatele sunt interpretate în funcție de acesta (de exemplu, Par(x) este adevărat pentru numere pare).
- Reguli de echivalență: Negarea unui cuantificator: ¬∀x P(x) ≡ ∃x ¬P(x) și ¬∃x P(x) ≡ ∀x ¬P(x). Aceste reguli sunt esențiale pentru transformări logice corecte.
- Exerciții curente la bacalaureat: Scrierea corectă a formulelor, determinarea valorii de adevăr a propozițiilor cuantificate și aplicarea echivalențelor logice.
Verifică-te!
- Formalizează enunțul „Toate păsările zboară” folosind predicatele P(x) = „x este pasăre” și Z(x) = „x zboară”.
- Negați propoziția ∃x (C(x) ∧ D(x)), unde C(x) și D(x) sunt predicate oarecare, și scrieți rezultatul în limbaj natural.
- Transformați în formă prenexă formula ∃x R(x) → ∀y S(y).