Echivalența logică: definiție, tabelă de adevăr, exerciții

Echivalența logică este o relație fundamentală în logică între două propoziții (sau formule logice). Două propoziții P și Q sunt logic echivalente dacă au aceeași valoare de adevăr (adevărat sau fals) în toate situațiile posibile. Cu alte cuvinte, indiferent de valorile variabilelor care apar în ele, ele sunt simultan adevărate sau simultan false. Se notează de obicei cu simbolul ≡ (sau ⇔ în unele manuale).

Pentru a verifica dacă două propoziții sunt echivalente, construim tabelele de adevăr pentru ambele și comparăm coloanele finale. Tabela de adevăr este un tabel care enumeră toate combinațiile posibile de valori de adevăr pentru variabilele implicate (de regulă Adevărat - notat cu 1 sau A, și Fals - 0 sau F) și calculează valoarea propoziției compuse pentru fiecare combinație. Dacă pentru fiecare linie (combinație) cele două propoziții au aceeași valoare, ele sunt echivalente.

Exemple clasice de echivalențe logice

• Legea dublei negații: ¬(¬P) ≡ P („Nu e adevărat că nu P” înseamnă același lucru cu P).
• Legile lui De Morgan: ¬(P ∧ Q) ≡ ¬P ∨ ¬Q și ¬(P ∨ Q) ≡ ¬P ∧ ¬Q.
• Implicația: P → Q ≡ ¬P ∨ Q (implicația este echivalentă cu „sau nu P, sau Q”).

Este important ca elevii să înțeleagă că echivalența logică nu înseamnă că propozițiile au același înțeles în limbajul obișnuit, ci doar că valorile lor de adevăr coincid în orice situație. De exemplu, „Dacă plouă, atunci pământul este ud” este echivalent logic cu „Nu plouă sau pământul este ud”.

În exerciții, vom folosi simbolurile: ¬ pentru negație („non”), ∧ pentru conjuncție („și”), ∨ pentru disjuncție („sau”), → pentru implicație („dacă... atunci”), ↔ pentru echivalență („dacă și numai dacă”). Tabelele de adevăr se construiesc pas cu pas, mai întâi pentru subformule, apoi pentru formula finală.

Atenție: Nu confundați echivalența logică (≡) cu operatorul de echivalență (↔) care este o operație binară ce produce o nouă propoziție. Două propoziții sunt echivalente dacă propoziția P ↔ Q este tautologie (mereu adevărată).

Exemple

• Exemplul 1: Verificați dacă ¬(¬P) ≡ P. Construim tabela cu o singură variabilă P. P poate fi A sau F. Calculăm ¬P (inversul), apoi ¬(¬P) (inversul inversului), și comparăm cu P. Pentru P=A: ¬P=F, ¬(¬P)=A, iar P=A → identic. Pentru P=F: ¬P=A, ¬(¬P)=F, P=F → identic. Deci ¬(¬P) ≡ P (legea dublei negații).
• Exemplul 2: Arătați că P → Q ≡ ¬P ∨ Q. Tabela cu variabile P și Q (4 combinații: AA, AF, FA, FF). Calculăm P→Q (care este fals doar când P adevărat și Q fals). Apoi calculăm ¬P (negația lui P) și ¬P∨Q (disjuncția). Comparând coloanele: (P,Q,A): P→Q=A, ¬P=F, ¬P∨Q=A, identic; (A,F): P→Q=F, ¬P=F, ¬P∨Q=F; (F,A): P→Q=A, ¬P=A, ¬P∨Q=A; (F,F): P→Q=A, ¬P=A, ¬P∨Q=A. Toate coincid, deci P→Q ≡ ¬P∨Q.
• Exemplul 3: Demonstrați una dintre legile lui De Morgan: ¬(P ∧ Q) ≡ ¬P ∨ ¬Q. Tabela cu P,Q (4 combinații). Calculăm P∧Q (adevărat doar când ambele adevărate), apoi ¬(P∧Q) (inversul). Apoi calculăm ¬P, ¬Q, și ¬P∨¬Q. Comparați: de exemplu (A,A): P∧Q=A, ¬(P∧Q)=F; ¬P=F, ¬Q=F, ¬P∨¬Q=F → identic. (A,F): P∧Q=F, ¬(P∧Q)=A; ¬P=F, ¬Q=A, ¬P∨¬Q=A → identic. La fel pentru celelalte. Deci ¬(P∧Q) ≡ ¬P∨¬Q.

Concepte cheie: Echivalența logică (≡): două propoziții au aceeași valoare de adevăr în toate situațiile., Tabela de adevăr: metodă sistematică de verificare a echivalenței., Legi importante: dubla negație, legile lui De Morgan, implicația transformată în disjuncție., Diferența dintre echivalență (≡) și operatorul ↔ (care produce o propoziție)., Contrapozitiva: P → Q ≡ ¬Q → ¬P.