Pe scurt
Logica propozițiilor studiază propozițiile declarative și modul în care acestea se combină prin operatori logici pentru a forma propoziții compuse. Valorile de adevăr fundamentale sunt adevărul (A) și falsul (F), iar tabelele de adevăr sunt instrumente esențiale pentru evaluarea sistematică a oricărei formule logice. La nivel de liceu, se pune accent pe construirea corectă a tabelelor de adevăr și pe identificarea tautologiilor, contradicțiilor și contingențelor.
Ce este logica propozițiilor?
Logica propozițiilor (sau logica sentențială) este ramura logicii care studiază propozițiile declarative (enunțuri care pot fi considerate adevărate sau false) și modul în care acestea se combină prin operatori logici pentru a forma propoziții compuse.
Valorile de adevăr
Valorile de adevăr fundamentale sunt:
- Adevărul – notat cu A sau T
- Falsul – notat cu F sau ⊥
În logică, o propoziție simplă (atomică) are o singură valoare de adevăr, iar propozițiile compuse își determină valoarea de adevăr în funcție de conectorii (operatorii) utilizați.
Principalii operatori logici
- Negația (¬) – inversează valoarea de adevăr
- Conjuncția (∧) – este adevărată doar dacă ambele propoziții sunt adevărate
- Disjuncția (∨) – este adevărată dacă cel puțin una dintre propoziții este adevărată
- Implicația (→) – este falsă doar când antecedentul este adevărat și consecventul fals
- Echivalența (↔) – este adevărată doar când ambele propoziții au aceeași valoare de adevăr
Tabelele de adevăr
Tabelele de adevăr sunt instrumente esențiale pentru a evalua sistematic valoarea de adevăr a oricărei formule logice, listând toate combinațiile posibile ale valorilor de adevăr ale propozițiilor componente.
Tipuri de formule logice
- Tautologie – formulă întotdeauna adevărată
- Contradicție – formulă întotdeauna falsă
- Contingență – formulă care este uneori adevărată, alteori falsă
Aplicații și exemple
Aceste cunoștințe stau la baza rezolvării problemelor de logică din cadrul examenului de Bacalaureat, unde se cer fie construirea unui tabel de adevăr pentru o formulă dată, fie stabilirea valorii de adevăr a unui enunț compus. De asemenea, este importantă înțelegerea
legilor lui De Morgan și a
implicațiilor logice pentru a simplifica expresii.
Exemplul 1: Construiți tabelul de adevăr pentru formula (p ∧ q) → (¬p ∨ q). Rezolvare: Listăm toate combinațiile posibile pentru p și q (4 combinații: A,A; A,F; F,A; F,F). Calculăm p∧q, apoi ¬p, apoi ¬p∨q, și în final implicația. Observăm că în toate cazurile rezultatul este A, deci formula este o tautologie.
Exemplul 2: Fie propozițiile: p = „Maria învață”, q = „Maria promovează”. Traduceți în limbaj formal: „Dacă Maria învață, atunci promovează, și dacă nu învață, atunci nu promovează”. Formula este (p → q) ∧ (¬p → ¬q). Construim tabelul de adevăr și observăm că această formulă este echivalentă cu p ↔ q, adică „Maria promovează dacă și numai dacă învață”.
Exemplul 3: Verificați dacă formula (p ∨ q) ∧ ¬(p ∧ q) este o tautologie, contradicție sau contingență. Construim tabelul de adevăr. Pentru p=A, q=A: (A∨A)=A, ¬(A∧A)=¬A=F, deci A∧F=F.
Pentru p=A, q=F: (A∨F)=A, ¬(A∧F)=¬F=A, deci A∧A=A. Similar pentru celelalte combinații. Rezultă că formula este contingență (nu este nici întotdeauna adevărată, nici întotdeauna falsă).
Observăm că aceasta este definiția XOR (sau exclusiv).
Verifică-te!
- Care sunt cele cinci operatori logici principali și în ce condiții fiecare dintre ei este adevărat?
- Ce diferență există între o tautologie, o contradicție și o contingență?
- Cum se construiește un tabel de adevăr pentru o formulă logică dată?