Egalitatea logica si legile lui De Morgan

In logica matematica, egalitatea logica (notata adesea cu simbolul ≡ sau ⇔) este o relatie intre doua propozitii care sunt intotdeauna adevarate sau false in aceleasi conditii. Cu alte cuvinte, doua propozitii P si Q sunt logic egale daca au aceeasi valoare de adevar pentru orice combinatie de valori ale variabilelor implicate. De exemplu, propozitiile „Astazi este luni” si „Maine este marti” nu sunt logic egale, deoarece depind de contextul zilei curente; insa propozitiile „Ploua sau nu ploua” si „2+2=4” sunt logic egale?

Nu, pentru ca prima depinde de vreme, a doua este mereu adevarata. Insa in algebra booleana, egalitatea logica se refera la expresii cu variabile logice (adevarat/fals). De exemplu, (A SI B) SAU (A SI C) este logic egal cu A SI (B SAU C) (distributivitate).

Legile lui De Morgan sunt doua reguli fundamentale care arata cum se transforma negarea unor expresii logice combinate cu SAU si SI. Ele sunt:

1. Negarea lui (A SI B) este echivalenta cu (non-A) SAU (non-B): ¬(A ∧ B) ≡ (¬A) ∨ (¬B).
2. Negarea lui (A SAU B) este echivalenta cu (non-A) SI (non-B): ¬(A ∨ B) ≡ (¬A) ∧ (¬B).

Aceste legi sunt valabile pentru orice propozitii A si B, indiferent daca sunt simple sau complexe. De exemplu, daca A = „Eu am caiet”, B = „Eu am creion”, atunci „Nu este adevarat ca am caiet si creion” este echivalent cu „Nu am caiet sau nu am creion”. Observati ca „sau” aici este inclusiv (poate fi si unul, si altul).

Legile lui De Morgan sunt extrem de utile in simplificarea expresiilor logice, in programare (de ex. in conditii „if”), in matematica (demonstratii), si in viata de zi cu zi pentru a intelege negatiile corect. De exemplu, negatia afirmatiei „Am terminat tema si am facut curat” este „Nu am terminat tema sau nu am facut curat”. Atentie!

Multi elevi gresesc spunand „Nu am terminat tema si nu am facut curat” – aceasta este o greseala de logica, pentru ca daca ai terminat tema dar nu ai facut curat, afirmatia initiala este falsa, iar „Nu am terminat tema si nu am facut curat” este falsa (pentru ca prima parte e falsa). Versiunea corecta cu SAU acopera toate cazurile.

Pentru a intelege mai bine, ganditi-va la un set de doua conditii: daca trebuie sa fie amandoua adevarate (SI), negatia inseamna ca cel putin una este falsa. Daca trebuie sa fie cel putin una adevarata (SAU), negatia inseamna ca amandoua sunt false.

Exemple

• Exemplul 1: Verificati daca ¬(A ∨ B) este logic egal cu ¬A ∧ ¬B. Fie A = „Astazi ploua”, B = „Astazi bate vantul”. Atunci ¬(A ∨ B) inseamna „Nu e adevarat ca astazi ploua sau bate vantul”, adica „Nu ploua si nu bate vantul”. Iar ¬A ∧ ¬B inseamna exact acelasi lucru. Deci sunt logic egale.
• Exemplul 2: Sa se simplifice expresia: ¬( (x > 5) ∧ (y < 10) ). Aplicand De Morgan, obtinem ¬(x > 5) ∨ ¬(y < 10), adica (x ≤ 5) ∨ (y ≥ 10). Observati cum am schimbat SI-ul in SAU si am negat fiecare conditie in parte.
• Exemplul 3: Egalitatea logica intre (A ∧ B) ∨ (¬A ∧ C) si (A ⇒ B) ∧ (¬A ⇒ C) nu este intotdeauna evidenta, dar folosind tabele de adevar sau transformari, putem demonstra ca sunt echivalente. De exemplu, pentru A=adevarat, B=adevarat, C=fals, prima expresie: (A∧B) = adevarat, deci rezultatul = adevarat; a doua: A⇒B este adevarat, ¬A⇒C este fals (pentru ca ¬A=fals, C=fals, fals⇒fals = adevarat? Atentie: implicatia cu antecedent fals este adevarata, deci ¬A⇒C este adevarat, deci ambele sunt adevarate. Verificati toate cazurile – va provoc sa construiti un tabel de adevar.

Concepte cheie: Egalitatea logica: doua propozitii au aceeasi valoare de adevar in toate situatiile., Legile lui De Morgan: ¬(P ∧ Q) ≡ ¬P ∨ ¬Q si ¬(P ∨ Q) ≡ ¬P ∧ ¬Q., Aplicarea corecta a negatiei in limbajul natural si in matematica.