Pe scurt
Logica propozițională studiază modul în care propozițiile simple se combină în propoziții compuse folosind operatori logici. Tabelele de adevăr sunt instrumente care enumeră toate combinațiile posibile de valori ale variabilelor dintr-o formulă, indicând valoarea finală pentru fiecare combinație. Acestea sunt fundamentale pentru verificarea tautologiilor, contradicțiilor și echivalențelor logice.
Ce este logica propozițională?
Logica propozițională este ramura logicii care studiază modul în care propozițiile simple (atomice) se combină pentru a forma propoziții compuse, folosind operatori logici (conectori).
Ce este o formulă propozițională?
O formulă propozițională este o expresie construită din:
- Variabile propoziționale (de obicei notate cu litere: p, q, r, ...)
- Operatori logici:
- Conjuncția (∧, „și”)
- Disjuncția (∨, „sau”)
- Negația (¬, „nu”)
- Implicația (→, „dacă...atunci”)
- Echivalența (↔, „dacă și numai dacă”)
Fiecare variabilă poate lua valorile de adevăr A (adevărat) sau F (fals).
Cum se construiește un tabel de adevăr?
Construirea unui tabel de adevăr presupune:
- Identificarea numărului de variabile (n)
- Generarea a 2^n rânduri pentru toate combinațiile (în ordine binară)
- Evaluarea subformulelor pas cu pas, respectând precedența operatorilor:
- Negația are prioritate maximă
- Urmează conjuncția, disjuncția, implicația, echivalența
Exemplu: Pentru formula (p ∧ q) → ¬r, se completează mai întâi coloanele pentru p, q, r, apoi p∧q, apoi ¬r, apoi rezultatul implicației.
Ce verificăm cu tabelele de adevăr?
Tabelele de adevăr sunt fundamentale pentru verificarea:
- Tautologiilor – formule întotdeauna adevărate
- Contradicțiilor – formule întotdeauna false
- Echivalențelor logice – două formule au aceleași valori de adevăr pentru toate combinațiile
Cerințe pentru Bacalaureat
Elevii trebuie să știe:
- Să construiască tabele de adevăr pentru formule cu 2-3 variabile
- Să identifice tautologii
- Să demonstreze echivalențe precum legile lui De Morgan sau distributivitatea
Sfaturi practice
- O abordare eficientă este împărțirea formulei în subformule și calculul incremental
- Evitați greșelile de evaluare a implicației (singurul caz fals este când antecedentul este adevărat și consecventul fals)
- Evitați greșelile de evaluare a echivalenței (adevărată doar când ambele au aceeași valoare)
- Pentru a verifica rapid dacă o formulă este tautologie, încercați în minte un contraexemplu
Exemple practice
Exemplul 1: Construiți tabelul de adevăr pentru formula (p ∧ q) ∨ ¬p.
- Pas 1: Variabilele sunt p și q, deci 4 combinații (FF, FT, TF, TT)
- Pas 2: Calculăm p∧q (adevărat doar când ambele sunt adevărate)
- Pas 3: Calculăm ¬p (negația lui p)
- Pas 4: Combinăm cu ∨ (adevărat dacă cel puțin unul este adevărat)
- Rezultat: F,F: p∧q=F, ¬p=T, rezultat T; F,T: p∧q=F, ¬p=T, rezultat T; T,F: p∧q=F, ¬p=F, rezultat F; T,T: p∧q=T, ¬p=F, rezultat T
Exemplul 2: Verificați dacă formula p → (q → p) este o tautologie.
- Construim tabelul: p, q, q→p, apoi p→(q→p)
- Pentru toate cele 4 combinații: F,F: q→p = T (din F→F), p→T = T; F,T: q→p = F (T→F), p→F = T (F→F); T,F: q→p = T, p→T = T; T,T: q→p = T, p→T = T
- Toate rândurile dau T, deci este tautologie
Exemplul 3: Demonstrați că ¬(p ∧ q) este echivalentă cu ¬p ∨ ¬q (Legea lui De Morgan).
- Tabel: coloane pentru p, q, p∧q, ¬(p∧q), ¬p, ¬q, ¬p∨¬q
- Toate cele 4 combinații: F,F: p∧q=F, ¬(p∧q)=T; ¬p=T, ¬q=T, ¬p∨¬q=T. F,T: p∧q=F, ¬(p∧q)=T; ¬p=T, ¬q=F, T∨F=T. T,F: p∧q=F, ¬(p∧q)=T; ¬p=F, ¬q=T, F∨T=T. T,T: p∧q=T, ¬(p∧q)=F; ¬p=F, ¬q=F, F∨F=F
- Coloanele ¬(p∧q) și ¬p∨¬q coincid, deci sunt echivalente logic
Verifică-te!
- Care este singurul caz în care o implicație (p → q) este falsă?
- Câte rânduri are un tabel de adevăr pentru o formulă cu 3 variabile propoziționale?
- Ce proprietate are o formulă care este întotdeauna adevărată, indiferent de valorile variabilelor?