Operatii logice: conjunctie, disjunctie, implicatie, echivalenta

Logica propozitiilor studiaza modul in care propozitiile simple (atomice) se combina pentru a forma propozitii compuse, folosind operatori logici. In matematica, dar si in informatica sau in viata de zi cu zi, intelegerea acestor operatii este fundamentala pentru a construi rationamente corecte. Vom analiza patru operatori de baza: conjunctia (si), disjunctia (sau), implicatia (daca... atunci) si echivalenta (daca si numai daca).

Conjunctia (∧) – o propozitie de forma „p ∧ q” este adevarata doar atunci cand ambele propozitii componente (p si q) sunt adevarate. In caz contrar, este falsa. Tabela de adevar: (A∧A)=A, (A∧F)=F, (F∧A)=F, (F∧F)=F. De exemplu, „3 este numar prim si 3 este impar” este adevarata, deoarece ambele sunt adevarate.

Disjunctia (∨) – „p ∨ q” este adevarata daca cel putin una dintre propozitii este adevarata (sau ambele). Ea corespunde „sau” inclusiv. Tabela: (A∨A)=A, (A∨F)=A, (F∨A)=A, (F∨F)=F. Exemplu: „ploua sau ninge” – daca ploua, ninge sau ambele, este adevarata; doar daca nu ploua si nu ninge, este falsa.

Implicatia (→) – „p → q” (citit „daca p, atunci q”) este falsa doar atunci cand p este adevarata, iar q este falsa. In toate celelalte cazuri (p fals, q adevarat sau p fals, q fals) implicatia este adevarata. Aceasta poate parea contraintuitiva, dar reflecta faptul ca dintr-o premisa falsa poate rezulta orice concluzie.

De exemplu, „daca 2+2=5, atunci eu sunt papa” este o propozitie adevarata, deoarece premisa este falsa. Intr-un rationament corect, ne intereseaza cazul in care premisa este adevarata si concluzia este adevarata.

Echivalenta (↔) – „p ↔ q” (citit „p daca si numai daca q”) este adevarata atunci cand p si q au aceeasi valoare de adevar (ambele adevarate sau ambele false). Este de fapt o conjunctie intre doua implicatii: (p→q) ∧ (q→p). Exemplu: „un numar este par daca si numai daca este divizibil cu 2” – adevarat, deoarece cele doua afirmatii coincid intotdeauna.

Aceste operatii respecta proprietati importante: comutativitate (p∧q ≡ q∧p; p∨q ≡ q∨p), dar implicatia si echivalenta nu sunt comutative in acelasi sens. De asemenea, se definesc legile lui De Morgan: ¬(p∧q) ≡ ¬p ∨ ¬q si ¬(p∨q) ≡ ¬p ∧ ¬q. In liceu, elevii trebuie sa construiasca tabele de adevar, sa identifice tautologii (propozitii intotdeauna adevarate, de exemplu p ∨ ¬p) si sa aplice aceste operatii in rezolvarea problemelor de matematica, in special la geometrie (implicatii in teoreme) si algebra (echivalente in rezolvarea ecuatiilor).

Exemple

• {'title': 'Exemplul 1: Conjunctia si disjunctia in enunturi cotidiene', 'detail': "Consideram propozitiile: p: 'Ana are 18 ani', q: 'Ana este eleva'. Atunci p∧q inseamna 'Ana are 18 ani si este eleva' – adevarata doar daca ambele conditii sunt indeplinite. p∨q inseamna 'Ana are 18 ani sau este eleva' – adevarata daca cel putin una este adevarata. Daca Ana are 20 de ani si nu mai este eleva, atunci p∧q este falsa, iar p∨q este falsa si ea (deoarece nici p, nici q nu sunt adevarate)."}
• {'title': 'Exemplul 2: Implicatia in teoreme matematice', 'detail': "Fie p: 'Un triunghi are doua laturi egale', q: 'Triunghiul este isoscel'. Teorema spune: daca p, atunci q (p→q). Daca avem un triunghi cu doua laturi egale, atunci cu siguranta este isoscel (p adevarat, q adevarat). Daca triunghiul nu are doua laturi egale, nu inseamna ca nu poate fi isoscel? De fapt, un triunghi isoscel are neaparat doua laturi egale, deci p→q este adevarata chiar si cand p este fals (exemplu: triunghi echilateral – are toate laturile egale, deci p fals? Nu, echilateral are doua laturi egale, deci p adevarat. Mai bine: daca p fals (nu are doua laturi egale), atunci triunghiul nu este isoscel, deci q fals, iar p→q este adevarata (F→F = A). Deci implicatia este corecta."}
• {'title': 'Exemplul 3: Echivalenta in rezolvarea ecuatiilor', 'detail': "Ecuatia x^2 = 4 este echivalenta cu (x=2 sau x=-2). Formal: p: 'x^2=4', q: '(x=2)∨(x=-2)'. Atunci p↔q este o tautologie: daca x^2=4, atunci x=2 sau x=-2; invers, daca x=2 sau x=-2, atunci x^2=4. Deci cele doua propozitii sunt echivalente logic. In rezolvarea ecuatiilor, folosim echivalente pentru a transforma o ecuatie in alta mai simpla, pastrand aceeasi multime de solutii."}

Concepte cheie: Conjunctia (∧) – adevarata doar cand ambele propozitii sunt adevarate, Disjunctia (∨) – adevarata daca cel putin una este adevarata, Implicatia (→) – falsa doar cand premisa este adevarata si concluzia falsa, Echivalenta (↔) – adevarata cand ambele propozitii au aceeasi valoare de adevar, Tautologie si contradictie, Legile lui De Morgan pentru negarea conjunctiei si disjunctiei