Tehnici de rezolvare a problemelor de logica (Bacalaureat)

Logica, ca disciplina filozofica si matematica, se ocupa cu studiul raționamentelor valide. In cadrul examenului de Bacalaureat, problemele de logica testeaza capacitatea de a analiza structuri logice, de a aplica operatii cu propozitii, de a utiliza tabele de adevar, de a demonstra echivalente si de a evalua corectitudinea argumentelor. Tehnicile esentiale includ: (1) Formalizarea propozitiilor, adica transformarea enunturilor din limbaj natural in limbaj formal, folosind variabile propozitionale (p, q, r) si conectori logici: negația (¬), conjuncția (∧), disjuncția (∨), implicația (→) si echivalenta (↔). (2) Construirea tabelelor de adevar pentru a determina valoarea de adevar a unei formule compuse in functie de toate combinatiile posibile ale valorilor variabilelor.

Aceasta tehnica este utila pentru verificarea tautologiilor (formule intotdeauna adevarate) si a contradictiilor (formule intotdeauna false). (3) Aplicarea legilor logicii propozitionale, precum legile lui De Morgan (¬(p∧q) ≡ ¬p ∨ ¬q; ¬(p∨q) ≡ ¬p ∧ ¬q), dubla negație (¬¬p ≡ p), comutativitatea, asociativitatea, distributivitatea, legile implicatiei (p→q ≡ ¬p ∨ q) si ale echivalentei (p↔q ≡ (p→q)∧(q→p)). (4) Metoda reducerii la absurd (reductio ad absurdum) sau demonstrarea prin contrapozitie (daca o implicație p→q este adevarata, atunci ¬q→¬p este de asemenea adevarata). (5) Rezolvarea problemelor de tip „silogism” sau „argument logic”, unde trebuie sa identificam daca concluzia decurge logic din premise, folosind reguli de inferenta precum modus ponens (daca p→q si p, atunci q) si modus tollens (daca p→q si ¬q, atunci ¬p). O atenție speciala trebuie acordata interpretarii corecte a conectorilor logici in enunturile problemei, evitarea confuziei intre disjuncția exclusivă („sau...sau”) si cea inclusivă („și/sau”), precum si identificarea corectă a antecedentului si consecventului in propozitiile conditionale. Aplicarea sistematica a acestor tehnici permite rezolvarea rapidă si exactă a problemelor de logica din subiectele de Bacalaureat.

Exemple

• Exemplul 1: Fie propozitiile: p = „Ana este eleva”, q = „Ion este elev”. Scrieți in limbaj formal propozitia: (a) „Ana nu este eleva sau Ion este elev”. (b) „Daca Ion este elev, atunci Ana nu este eleva”. Rezolvare: (a) ¬p ∨ q; (b) q → ¬p. Observam ca (a) este echivalenta cu p→q (prin legea implicatiei).
• Exemplul 2: Construiti tabelul de adevar pentru formula (p→q) ∧ (q→p) si determinati ce reprezinta aceasta. Rezolvare: Se intocmeste tabelul cu 4 linii (p=0,q=0; p=0,q=1; p=1,q=0; p=1,q=1). Se calculeaza p→q, q→p, apoi conjuncția. Rezultatul este: 1,0,0,1. Astfel, formula este adevarata doar cand p si q au aceeasi valoare, deci echivalenta p↔q.
• Exemplul 3: Verificati daca urmatorul argument este valid: „Daca ploua, atunci terenul este ud. Terenul nu este ud. Deci, nu ploua.” Rezolvare: Formalizam: p = „ploua”, q = „terenul este ud”. Premisele sunt p→q si ¬q. Concluzia: ¬p. Aplicam modus tollens: daca p→q si ¬q, atunci ¬p. Argumentul este valid.

Concepte cheie: Tautologie si contradictie, Legi logice (De Morgan, dubla negație, implicație), Reguli de inferenta: modus ponens, modus tollens, Formalizarea propozitiilor din limbaj natural, Tabele de adevar si echivalente logice