Pe scurt
Logica formală și limbajul natural sunt două moduri diferite de a reprezenta gândirea, dar ele se intersectează fundamental. Analiza propozițiilor înseamnă traducerea unei fraze din limbaj natural într-o formulă logică, pentru a verifica validitatea argumentelor și a identifica erorile de raționament. Această operație este esențială la examenul de Bacalaureat la Logică, unde se cere distingerea între propoziții categorice și compuse, precum și formalizarea corectă a cuantificatorilor și conectivelor logice.
Ce este logica formală și cum se raportează la limbajul natural
Limbajul natural (româna, engleza etc.) este bogat, plin de nuante, ambiguități și presupoziții culturale. Logica formală, prin intermediul simbolurilor și regulilor stricte, urmărește să elimine ambiguitatea și să surprindă structura esențială a raționamentelor.
De exemplu, propoziția „Dacă plouă, atunci solul este ud” se transformă în P → U, unde P = „plouă”, U = „solul este ud”.
Capcanele limbajului natural în traducerea logică
Limbajul natural ascunde capcane importante
- Cuvântul „și” nu este mereu conjuncție logică: „El a intrat și a închis ușa” poate exprima succesiune, nu simultaneitate.
- „Sau” poate fi exclusiv (ori una, ori alta, nu ambele) sau inclusiv (cel puțin una).
- La Bac, se cere să distingem între propoziții categorice (universale, particulare, afirmative, negative) și propoziții compuse (condițional, conjunctiv, disjunctiv).
Cuantificatorii în logica predicatelor
O altă provocare este prezența cuantificatorilor
- „Toți oamenii sunt muritori” se scrie ∀x (Om(x) → Muritor(x))
- „Unii oameni sunt geniali” devine ∃x (Om(x) ∧ Genial(x))
Exemple detaliate de formalizare
Exemplul 1: Implicația universală
Propoziția: „Dacă un număr este par, atunci el este divizibil cu 2.”
În limbaj natural, aceasta este o implicație. Formalizăm:
- Fie P(x) = „x este par”
- Fie Q(x) = „x este divizibil cu 2”
- Atunci: ∀x (P(x) → Q(x))
Observăm că această propoziție este universal adevărată. La Bac, se poate cere să identificăm tipul propoziției (universală afirmativă) și să o scriem simbolic.
Exemplul 2: „Sau” exclusiv
Propoziția: „Sau merge la cinema, sau stă acasă, dar nu ambele.”
Este un „sau exclusiv”. În logica propozițională, notăm:
- A = „merge la cinema”
- B = „stă acasă”
- Expresia corectă este (A ⊕ B) sau (A ∨ B) ∧ ¬(A ∧ B)
Dacă am folosi doar ∨ am pierde sensul exclusivității. Acesta este un caz frecvent de capcană în traducerea din limbaj natural.
Exemplul 3: Negarea cuantificatorilor
Propoziția: „Niciun elev nu este leneș.”
În logica predicatelor, notăm
- E(x) = „x este elev”
- L(x) = „x este leneș”
- Propoziția se scrie: ¬∃x (E(x) ∧ L(x)), adică „nu există un x care să fie elev și leneș”
- Echivalent cu: ∀x (E(x) → ¬L(x))
La Bac, elevii trebuie să știe să transforme corect enunțurile cu „niciun”, „unii”, „toții” și să identifice negația corectă.
Concepte cheie
- Traducerea propozițiilor categorice (universale/particulare, afirmative/negative) în logica predicatelor
- Identificarea cuantificatorilor (∀ și ∃) și a conectivelor logice (→, ∧, ∨, ¬, ⊕) în limbaj natural
- Ambiguitatea limbajului natural: distincția între „sau” inclusiv și exclusiv, „și” temporal vs logic, implicația materială vs cauzală
Verifică-te!
- Cum se formalizează propoziția „Toți câinii sunt mamifere” în logica predicatelor?
- Care este diferența dintre „sau” inclusiv și „sau” exclusiv în logica propozițională?
- Cum se scrie simbolic propoziția „Unii elevi nu sunt harnici”?