Tabele de adevar si formule logice

Tabelele de adevăr sunt instrumente fundamentale în logica propozițională, utilizate pentru a determina valoarea de adevăr a unei formule logice în funcție de valorile de adevăr ale componentelor sale elementare. O propoziție atomică (variabilă propozițională, notată de obicei cu litere precum p, q, r) poate fi adevărată (A, 1) sau falsă (F, 0). Conectorii logici (operatorii) leagă propozițiile simple în formule compuse.

Principalii conectori sunt: negația (¬, non, NOT), conjuncția (∧, și, AND), disjuncția (∨, sau, OR), implicația (→, dacă...atunci, IF-THEN) și echivalența (↔, dacă și numai dacă, IFF). Fiecare operator are o definiție precisă prin tabelul de adevăr. De exemplu, conjuncția este adevărată doar când ambele componente sunt adevărate; disjuncția este adevărată când cel puțin una este adevărată; implicația este falsă doar când antecedentul este adevărat și consecventul fals; echivalența este adevărată când ambele au aceeași valoare.

O formulă logică poate fi: tautologie (adevărată pentru orice interpretare a variabilelor), contradicție (falsă pentru orice interpretare) sau contingentă (adevărată pentru unele interpretări, falsă pentru altele). Construirea unui tabel de adevăr presupune enumerarea tuturor combinațiilor posibile de valori pentru variabile (2^n linii, unde n = numărul de variabile), apoi evaluarea pas cu pas a subformulelor. Această metodă este esențială pentru demonstrarea echivalențelor logice (de exemplu legile lui De Morgan: ¬(p∧q) ≡ ¬p∨¬q, ¬(p∨q) ≡ ¬p∧¬q) și pentru verificarea validității raționamentelor.

În contextul bacalaureatului, elevii trebuie să poată construi tabele de adevăr pentru formule cu 2 sau 3 variabile, să identifice tipul formulei și să verifice echivalențe. De asemenea, se studiază forme normale (conjunctivă, disjunctivă) și implicații logice. Înțelegerea profundă a tabelelor de adevăr stă la baza gândirii algoritmice și a informaticii teoretice.

Exemple

• Exemplul 1: Construiți tabelul de adevăr pentru formula (p ∧ q) → (¬p ∨ q). Rezolvare: Avem variabilele p și q, deci 4 combinații. Calculăm pas cu pas: (p∧q) este A doar când p=A și q=A; ¬p este negația lui p; (¬p ∨ q) este A când ¬p=A sau q=A; apoi implicația este A exceptând cazul când (p∧q)=A și (¬p∨q)=F. Observăm că ultima coloană conține doar A, deci formula este o tautologie.
• Exemplul 2: Verificați dacă formulele ¬(p ∨ q) și ¬p ∧ ¬q sunt echivalente logic. Rezolvare: Construim tabelul de adevăr pentru ambele formule. Pentru fiecare combinație de p,q (AA, AF, FA, FF), calculăm: p∨q, apoi ¬(p∨q); separat, ¬p, ¬q, apoi ¬p∧¬q. Comparând coloanele, observăm că sunt identice (A doar când p=F și q=F), deci sunt echivalente (legile lui De Morgan).
• Exemplul 3: Determinați tipul formulei (p → q) ∧ (q → p). Rezolvare: Tabelul de adevăr: p,q. Calculăm p→q (F doar când p=A,q=F), q→p (F doar când q=A,p=F), apoi conjuncția. Rezultatul: linia (A,A): A∧A=A; (A,F): F∧A=F; (F,A): A∧F=F; (F,F): A∧A=A. Formula este adevărată când p și q au aceeași valoare, deci este echivalentă cu p↔q. Este o formulă contingentă (nu e tautologie, nu e contradicție).

Concepte cheie: Valoare de adevăr (A/F, 1/0), Conectori logici: negație, conjuncție, disjuncție, implicație, echivalență, Tabel de adevăr: construcție sistematică pentru n variabile (2^n linii), Tautologie, contradicție, formulă contingentă, Echivalențe logice și legile lui De Morgan