Operatorii logici sunt simboluri sau cuvinte care leagă propoziții simple pentru a forma propoziții compuse, iar valoarea de adevăr a acestora din urmă depinde strict de valorile de adevăr ale componentelor. În logica clasică binară, orice propoziție are una dintre cele două valori: adevărat (A, 1) sau fals (F, 0). Operatorii fundamentali sunt: negația (¬, ~, NU), conjuncția (∧, ȘI), disjuncția (∨, SAU), implicația (→, DACĂ...ATUNCI) și echivalența (↔, DACĂ ȘI NUMAI DACĂ).
Negația inversează valoarea: ¬A este adevărat când A este fals și invers. Conjuncția este adevărată doar când ambii operanzi sunt adevărați (A ∧ B = A doar dacă A=B=1). Disjuncția este adevărată când cel puțin un operand este adevărat (A ∨ B = 1 dacă A=1 sau B=1 sau ambii).
Implicația (A → B) este falsă doar când antecedentul (A) este adevărat și consecventul (B) este fals; în toate celelalte cazuri este adevărată – aceasta este definiția materială, care poate părea contraintuitivă, dar este esențială în demonstrațiile matematice. Echivalența (A ↔ B) este adevărată când A și B au aceeași valoare de adevăr (ambele adevărate sau ambele false). Pe lângă tabelele de adevăr, acestea respectă legi importante: comutativitatea (A∧B = B∧A), asociativitatea, distributivitatea, legile lui De Morgan (¬(A∧B) = ¬A ∨ ¬B; ¬(A∨B) = ¬A ∧ ¬B), dubla negație (¬¬A = A), și relațiile dintre operatori: A→B = ¬A ∨ B; A↔B = (A→B) ∧ (B→A).
În contextul bacalaureatului (matematică, informatică, filozofie) acești operatori sunt folosiți pentru a formaliza raționamente, a demonstra echivalențe, a simplifica expresii logice și a evalua corectitudinea inferențelor. Înțelegerea lor profundă permite trecerea la cuantificatori (∀, ∃) și la demonstrații matematice riguroase.
Concepte cheie: Tabel de adevăr pentru fiecare operator (∧, ∨, →, ↔, ¬), Legile lui De Morgan: ¬(p∧q) = ¬p∨¬q; ¬(p∨q) = ¬p∧¬q, Implicația materială: p→q = ¬p∨q; Contrapoziția: p→q = ¬q→¬p, Echivalența: p↔q = (p→q)∧(q→p), Tautologie, contradicție, propoziție contingentă
Vrei exerciții pe lecția asta + AI care te ajută pas cu pas?
Cont gratuit — 20 întrebări AI/zi, exerciții nelimitate.