Propozitii compuse cu mai multi operatori: construire si evaluare

In logica matematica, propozitiile compuse sunt formate din doua sau mai multe propozitii simple, legate prin operatori logici precum 'si' (conjunctie, ∧), 'sau' (disjunctie, ∨), 'nu' (negatie, ¬), 'daca...atunci' (implicatie, →) si 'daca si numai daca' (echivalenta, ↔). Cand avem mai multi operatori intr-o singura propozitie, ordinea de evaluare este esentiala, la fel ca in aritmetica (unde intai se efectueaza inmultirile si impartirile). Prioritatile in logica sunt: 1.

Negatia (¬) se aplica primei propozitii simple sau expresiei din paranteze. 2. Conjunctia (∧) si disjunctia (∨) au prioritate medie, in ordinea in care apar, dar se recomanda folosirea parantezelor pentru claritate.

3. Implicatia (→) si echivalenta (↔) au prioritate cea mai mica; ele leaga mai 'slab' decat ceilalti operatori. De exemplu, propozitia „¬p ∧ q → r” se citeste de fapt „(¬p ∧ q) → r” deoarece negatia si conjunctia se evalueaza inaintea implicatiei.

Pentru a evita confuzia, in lectii pentru clasele 5-8 vom folosi intotdeauna paranteze explicite: de exemplu, scriem (¬p ∧ q) → r. Evaluarea unei propozitii compuse cu mai multi operatori presupune construirea unui tabel de adevar. Pasii sunt: 1.

Identificam propozitiile simple (p, q, r) si le listam toate combinatiile de valori de adevar (A=adevarat, F=fals). 2. Aplicam operatorii in ordinea prioritatii, pas cu pas, incepand cu cei din parantezele cele mai interioare.

3. Calculam valoarea finala pentru fiecare rand. De exemplu, pentru propozitia (p ∧ q) ∨ (¬r), vom calcula intai p ∧ q, apoi ¬r, apoi ∨ intre cele doua rezultate.

Un alt mod de a intelege este sa gandim ca fiecare operator este o functie care transforma valorile de intrare in valori de iesire. Pentru a construi propozitii compuse pornind de la o situatie reala, trebuie sa traducem cuvintele in operatori: 'si' → ∧, 'sau' → ∨, 'nu' → ¬, 'daca...atunci' → →, 'daca si numai daca' → ↔. De exemplu, afirmatia „Daca maine ploua sau ninge, atunci nu mergem la munte” se scrie: (p ∨ q) → ¬r, unde p = „maine ploua”, q = „maine ninge”, r = „mergem la munte.

Prin evaluarea acestor propozitii, putem determina in ce situatii afirmatia este adevarata sau falsa. Aceasta abilitate dezvolta gandirea critica si capacitatea de a analiza corect argumente complexe.

Exemple

• Exemplul 1: Construim propozitia compusa: (p ∧ q) → ¬p, unde p = 'Este soare', q = 'Este cald'. Traducere: 'Daca este soare si este cald, atunci nu este soare.' Evaluam: Daca p=A, q=A, atunci p∧q=A, ¬p=F, deci A→F = F (implicatia este falsa doar cand antecedentul este A si consecventul F). Daca p=F, q=A, atunci p∧q=F (F→? = A, indiferent de consecvent, deci propozitia este adevarata). Tabelul de adevar are 4 randuri; rezultatul final: F, A, A, A. Observam ca propozitia este falsa doar cand p si q sunt ambele adevarate.
• Exemplul 2: Construim: (p ∨ q) ↔ (¬r ∧ q), cu p='Ana citeste', q='Maria scrie', r='Radu doarme'. Traducere: 'Ana citeste sau Maria scrie, daca si numai daca Radu nu doarme si Maria scrie.' Evaluam: Pentru a calcula, facem tabel cu 8 randuri (p,q,r). De exemplu, p=A, q=F, r=F: p∨q=A, ¬r=A, ¬r∧q=F, deci A↔F = F. Un alt caz: p=F, q=A, r=A: p∨q=A, ¬r=F, ¬r∧q=F, deci A↔F = F. Cazul cand p=F, q=A, r=F: p∨q=A, ¬r=A, ¬r∧q=A, deci A↔A = A. Propozitia este adevarata exact cand q este adevarat si r este fals, indiferent de p.
• Exemplul 3: Construim: ¬(p ∧ q) ∨ (r → p), cu p='Este zi', q='Este noapte', r='Luna straluceste'. Traducere: 'Nu (este zi si este noapte) sau daca luna straluceste atunci este zi.' Observam ca p∧q este intotdeauna fals (nu poate fi simultan zi si noapte), deci ¬(p∧q) este mereu A. Prin urmare intreaga propozitie este A, indiferent de r si p (deoarece A ∨ orice = A). Acest exemplu arata cum o propozitie poate fi o tautologie (mereu adevarata) chiar daca contine mai multi operatori. Calculul formal: pentru orice combinatie, ¬(p∧q)=A, deci A∨(r→p)=A.

Concepte cheie: Prioritatea operatorilor logici: ¬, ∧/∨, →/↔, Folosirea parantezelor pentru claritate, Evaluarea prin tabele de adevar pas cu pas