Când sunt două expresii logice echivalente?
Lecția pe scurt · clasa a IX-a · Tabele de adevăr
Două expresii logice sunt echivalente când au aceeași valoare pe fiecare rând al tabelului complet de adevăr. Exemplu: și dau, pe rândurile , , , , coloanele și , deci sunt echivalente. În schimb, și diferă pe rândurile și . Un singur rând diferit ajunge ca să respingi echivalența.
Construirea unui tabel începe cu lista afirmațiilor de bază, fiecare numărată o singură dată. Repetarea aceleiași litere într-o formulă nu creează o variabilă logică nouă. Două litere dau patru combinații posibile, iar trei dau opt. Alege o ordine regulată, astfel încât să vezi repede dacă ai repetat sau ai omis un caz.
Descompune apoi formula după paranteze. Calculează blocurile mici, dă fiecăruia o coloană cu titlu precis și folosește rezultatele pentru blocul următor. Negația unui grup întreg se aplică după evaluarea grupului. La ultima operație, intrările pot fi coloane intermediare, nu neapărat literele inițiale.
După calcule, interpretează întreaga coloană finală. Numai valori unu înseamnă tautologie; numai zerouri înseamnă contradicție. O coloană amestecată arată că rezultatul depinde de atribuire. Dacă compari două formule, potrivirea tuturor rândurilor dovedește echivalența lor logică; o diferență oferă un contraexemplu.
Datele unui context concret pot lega condițiile și pot exclude unele combinații formale. De aceea nu confunda tabelul operațiilor cu lista observațiilor efective. Numărarea rândurilor adevărate nu prezice câte obiecte vor respecta regula și nici nu furnizează probabilități fără ipoteze suplimentare. Concluzia trebuie să spună exact ce ai verificat: o atribuire, toate atribuirile sau obiectele unei liste precizate.
De reținut
- expresii echivalente: aceeași coloană finală pe toate rândurile
- propoziții distincte dau rânduri
- are același tabel ca
Greșeala tipică
Se declară echivalente două expresii după ce se potrivesc pe câteva rânduri; echivalența cere egalitate pe toate rândurile tabelului complet.
Exerciții din această mini-lecție
Câte rânduri are tabelul complet pentru ?
- a)
- b)
- c)
- d)
Vezi răspunsul
Răspuns corect: b)
Apar doar două propoziții distincte, și . Numărul de combinații este , chiar dacă literele se repetă.
Care este operația finală în ?
- a) Disjuncția dintre p și q.
- b) Implicația spre r.
- c) Negația întregii implicații.
- d) Conjuncția dintre p și r.
Vezi răspunsul
Răspuns corect: c) Negația întregii implicații.
Mai întâi se calculează , apoi implicația spre , iar ultima operație schimbă valoarea întregului bloc.
Pentru și , care sunt, în ordine, valorile lui și ?
- a)
- b)
- c)
- d)
Vezi răspunsul
Răspuns corect: d)
Prima implicație este falsă, deci negația ei este adevărată. În a doua expresie, ipoteza este falsă, deci implicația este adevărată.
Întrebări conexe
Cum arăt că este o tautologie?
Implicația ar fi falsă doar dacă ar fi adevărată și falsă. Dar adevărată cere adevărată, deci cazul nu apare. Pe toate cele patru rânduri coloana finală are , așa că expresia este tautologie.
Cât este pe rândul ?
Calculezi blocurile pe rând: , pentru că , iar . Ultima operație este implicația , singurul caz fals, deci valoarea expresiei pe acest rând este .
De câte coloane intermediare am nevoie pentru ?
De două: una pentru și una pentru . Coloana finală se obține apoi din aceste două, prin conjuncție. Tabelul are rânduri, pentru că apar trei propoziții distincte.
Sunt echivalente implicația și reciproca ei?
Nu. Pe rândul implicația este falsă, iar reciproca este adevărată; pe rândul se întâmplă invers. Coloanele diferă pe două rânduri, deci cele două expresii nu sunt echivalente logic.
Pe câte rânduri este adevărată expresia ?
Pe un singur rând din patru: cel în care este adevărată și falsă, adică . Pe celelalte rânduri fie este falsă, fie este falsă, iar conjuncția dă .
Oamenii mai întreabă și: expresii logice echivalente · echivalența logică a două formule · cum arăt că două expresii au același tabel · formule echivalente în logică