Echivalența: dacă și numai dacă (M2, științe ale naturii)

Într-un exercițiu, o fișă primește un cerc verde exact când este completată. Regula are două cerințe: orice fișă completată primește cercul, iar orice fișă cu cercul verde este completată. Dacă păstrezi numai prima cerință, ai lăsat deschisă posibilitatea unui cerc pe o fișă incompletă. În clasa a IX-a, la științe ale naturii (M2), echivalența te învață să controlezi ambele sensuri ale unei reguli. Pentru Bacalaureatul M2, această atenție susține transformările corecte și verificarea faptului că o condiție descrie exact soluțiile căutate.

Punctul de pornire este implicația: dacă… atunci…. Aici reunim o implicație cu reciproca ei. Vom folosi conjuncția propozițiilor legate prin „și”, tabele mici și calcule cunoscute. Dacă vrei să reiei sensul unui verdict, revino la propoziția logică și valoarea de adevăr. Fiecare simbol va exprima o condiție precisă, iar domeniul numerelor va fi păstrat pe parcursul rezolvării.

Ce vei învăța

• Vei ști să traduci „dacă și numai dacă” printr-o echivalență și să scrii cele două implicații componente.
• Vei ști să stabilești valoarea unei echivalențe comparând valorile propozițiilor sale.
• Vei ști să explici sensul expresiei „condiție necesară și suficientă” fără să omiți unul dintre sensuri.
• Vei ști să verifici o echivalență pe un domeniu precizat și să găsești un caz care o infirmă.
• Vei ști să controlezi dacă o transformare de ecuație păstrează toate soluțiile și nu introduce altele.

Hai să descoperim împreună

1. Ce afirmă expresia „dacă și numai dacă”?

Echivalența este operația care cere ca două propoziții să se implice reciproc. Pentru propozițiile $p$ și $q$, scriem $p\iff q$ și citim „$p$ dacă și numai dacă $q$”. Enunțul cere simultan $p\Rightarrow q$ și $q\Rightarrow p$. Nu este suficient să verifici una dintre săgeți și să o desenezi apoi pe cealaltă fără un motiv.

Gândește-te la regula despre fișă și cercul verde. Dacă $p$ înseamnă „fișa este completată” și $q$ înseamnă „fișa are cerc verde”, primul sens interzice o fișă completată fără cerc. Al doilea interzice o fișă cu cerc, dar incompletă. Regula completă exclude ambele nepotriviri, nu numai una.

Poți întâlni și formularea „$p$ exact atunci când $q$”. În contexte matematice în care se vorbește despre condiții, ea exprimă aceeași cerință. Nu este vorba neapărat despre două evenimente simultane în timp, ci despre două afirmații care trebuie să se îndeplinească împreună sau să nu se îndeplinească niciuna.

Într-o rezolvare, este util să scrii separat cele două sensuri înainte de a începe argumentele. Acest gest îți arată ce poți presupune și ce trebuie să obții în fiecare etapă. La întoarcere, punctul de plecare se schimbă: ceea ce era concluzie devine ipoteză. Nu ai voie să presupui deja rezultatul pe care trebuie să-l demonstrezi.

2. Când este adevărată echivalența logică?

Echivalența este adevărată exact când valorile de adevăr ale componentelor coincid. Este falsă când valorile lor diferă. Definiția acoperă patru cazuri, nu doar cazul în care ambele propoziții sunt adevărate.

De exemplu, propozițiile „$13<2$” și „$21$ este par” sunt amândouă false. Echivalența lor materială este adevărată. Acest verdict nu afirmă că treisprezece este mai mic decât doi și nu transformă două greșeli de calcul în adevăruri. El spune doar că valorile propozițiilor coincid.

Dacă înlocuim a doua propoziție cu „$21$ este impar”, valorile devin zero și unu, iar echivalența este falsă. Un singur adevăr nu „compensează” cealaltă valoare. Aici operația urmărește acordul valorilor, nu existența măcar a unei afirmații adevărate.

Ca la implicație, este vorba despre o operație logică, nu despre o explicație cauzală. Adevărul echivalenței dintre două constatări fixate nu arată că una o produce pe cealaltă. Nici nu arată, fără o justificare suplimentară, că două condiții cu variabile vor avea aceleași rezultate pentru toate valorile posibile.

3. De ce trebuie verificate ambele implicații?

Completăm un tabel în care apar și cele două sensuri. Ultima coloană cere ca amândouă să fie adevărate.

Ultima coloană este identică celei a echivalenței. De aceea putem exprima definiția și prin:

$$p\iff q\text{ıˆnseamna˘}(p\Rightarrow q)\wedge (q\Rightarrow p).$$

Dacă valorile diferă, una dintre implicații este falsă și cealaltă adevărată. Așadar, demonstrarea unui singur sens lasă tocmai un caz de nepotrivire neeliminat. Acesta este motivul logic pentru care o echivalență nu se încheie după primul argument.

Pentru a respinge o echivalență generală ajunge un caz în care valorile celor două condiții diferă. Poate fi ipoteza primei săgeți adevărată și concluzia falsă, dar poate fi și invers. Spre deosebire de o implicație într-un sens fixat, echivalența este infirmată de oricare dintre cele două nepotriviri.

4. Cum înțelegem o condiție necesară și suficientă?

Afirmația „$q$ este o condiție necesară și suficientă pentru $p$” exprimă $p\iff q$. Partea „necesară” cere $p\Rightarrow q$: atunci când $p$ este îndeplinită, $q$ nu poate lipsi. Partea „suficientă” cere $q\Rightarrow p$: îndeplinirea lui $q$ ajunge pentru a obține $p$.

De exemplu, pentru un număr întreg, a fi multiplu de doi este o condiție necesară și suficientă pentru a fi par. Acestea sunt două formulări ale aceleiași proprietăți. În schimb, pentru un patrulater, a fi pătrat este suficient pentru a fi dreptunghi, dar nu este necesar: există dreptunghiuri cu laturile vecine de lungimi diferite.

Nu memora doar ordinea cuvintelor „necesară” și „suficientă”. Reconstituie sensurile folosind o întrebare concretă. Poate apărea $p$ fără $q$? Dacă da, $q$ nu este necesară. Poate apărea $q$ fără $p$? Dacă da, $q$ nu este suficientă. Pentru echivalență, ambele răspunsuri trebuie să fie negative în întregul domeniu discutat.

Această formulare este utilă când alegi un criteriu exact. Un criteriu care acceptă prea multe cazuri nu este suficient. Unul care exclude cazuri corecte nu este necesar. O echivalență verificată spune că niciuna dintre aceste pierderi nu se produce, în condițiile și pe domeniul precizate.

5. De ce contează domeniul în care verificăm echivalența?

Considerăm condițiile „$x>3$” și „$x\ge 4$”. Pentru numere reale, ele nu sunt echivalente: $x=3,5$ verifică prima condiție, dar nu pe a doua. Implicația de la dreapta la stânga este adevărată; cea de la stânga la dreapta eșuează. Un calcul la $x=6$ nu ar fi descoperit problema.

Dacă domeniul este restrâns de la început la numere întregi, valoarea $3,5$ nu mai este admisă. Între trei și patru nu se află niciun întreg, așa că un întreg mai mare decât trei este cel puțin patru, iar reciproca se verifică direct. Echivalența devine adevărată pe noul domeniu. Nu am schimbat retrospectiv problema: am enunțat și rezolvat o altă afirmație, cu o condiție explicită în plus.

La o listă finită, poți verifica toate elementele. La toate numerele reale, câteva cazuri nu sunt o demonstrație. Precizarea „pentru orice” cere o justificare generală; precizarea „pentru fiecare număr din lista dată” permite verificarea completă a acelei liste.

Într-un tabel de adevăr cu litere independente apar toate combinațiile logice. Într-o problemă numerică, condițiile pot fi legate între ele, astfel încât unele combinații să nu apară. De exemplu, un număr egal cu șapte este neapărat mai mare decât trei. Păstrăm diferența dintre definiția operației și verificarea unei relații pe un anumit domeniu.

6. Când păstrează o transformare exact soluțiile?

Două ecuații sunt echivalente pe un domeniu când au aceeași mulțime de soluții în acel domeniu. Fiecare soluție a primei trebuie să fie soluție a celei de-a doua și invers. Nu este suficient ca prima ecuație să trimită numai la soluții ale celei de-a doua, dacă a doua introduce și alte valori.

Adunarea aceluiași număr în cei doi membri este reversibilă: revenim prin scădere. Înmulțirea cu un număr nenul este reversibilă prin împărțirea la acel număr. De aceea astfel de transformări păstrează soluțiile. Motivul nu este că „mutăm” termeni în mod misterios, ci că putem justifica drumul în ambele direcții.

O împărțire cere controlul împărțitorului atunci când în el apare o variabilă: pentru valoarea care îl anulează, pasul nu este definit, iar o soluție poate dispărea din calcul fără să observi. Cum se rezolvă corect o ecuație în care un produs este egal cu zero ai văzut în lecția despre disjuncție; aici păstrăm doar întrebarea de control pe care o pune echivalența.

Un control bun are două întrebări: „Am pierdut vreo soluție?” și „Am introdus vreo soluție în plus?”. Înlocuirea în ecuația inițială detectează valorile suplimentare greșite. Pentru a justifica faptul că nu ai pierdut soluții, trebuie să controlezi și sensul pașilor efectuați, inclusiv cazurile excluse prin împărțire sau printr-o restricție de domeniu.

Nu orice calcul corect făcut într-un singur sens este o echivalență. Un pas poate fi adevărat de la stânga la dreapta și totuși imposibil de parcurs înapoi, de pildă atunci când pierde o parte din informația despre numărul căutat. Scrierea unei săgeți simple păstrează ce ai demonstrat; săgeata dublă ar cere și drumul de întoarcere, justificat separat, cu aceleași restricții de domeniu.

Exemple rezolvate

Exemplul 1. Două condiții de verificat într-o listă

O regulă imaginară cere ca fiecare fișă să aibă cerc verde dacă și numai dacă este completată. Datele sunt:

Fișele A și D respectă regula, deoarece cele două răspunsuri coincid. B încalcă sensul „completată implică cerc verde”. C încalcă sensul „cerc verde implică completată”. Avem deci două încălcări, B și C.

Dacă am verifica numai fișele completate, am observa B, dar am omite problema de la C. Verificarea ambelor sensuri înseamnă să controlăm și acordarea marcajului, și absența lui. Lista este completă pentru cele patru fișe, astfel că putem formula un verdict despre toate obiectele date.

Observă rolul fișei D: absența ambelor proprietăți respectă echivalența. Regula nu cere ca fiecare fișă să fie completată, ci cere potrivirea celor două stări. Dacă dorim în plus completarea tuturor fișelor, trebuie să enunțăm o cerință separată. Nu putem introduce această obligație în interpretarea unei echivalențe doar pentru că pare firească într-o activitate școlară.

Exemplul 2. Valori necunoscute, dar legate prin echivalență

Se cunosc $v(p\iff q)=1$ și $v(q)=0$. Află $v(p)$, apoi valorile celor două implicații.

Echivalența adevărată cere valori egale. Deoarece $q$ este falsă, rezultă $v(p)=0$. În perechea $(0,0)$, atât $p\Rightarrow q$, cât și $q\Rightarrow p$ sunt adevărate. Conjuncția lor are deci valoarea unu, în acord cu informația inițială.

Nu alegem $p$ adevărată pe motiv că „enunțul întreg este adevărat”. Întregul enunț vorbește despre potrivirea valorilor, nu despre adevărul obligatoriu al fiecărei părți. Dacă am ști numai că echivalența este adevărată, fără informația despre $q$, am păstra două posibilități: ambele adevărate sau ambele false.

Exemplul 3. Repararea unei afirmații prin precizarea domeniului

Un elev scrie „Pentru orice număr real $x$, $x^2=25\iff x=5$”. Verifică afirmația, apoi precizează un domeniu pe care devine corectă.

Pentru $x=-5$, egalitatea din stânga este adevărată, iar cea din dreapta falsă. Afirmația este deci falsă pe $\mathbb{R}$. Pe domeniul $[0,+\infty )$ devine adevărată: singurul număr nenegativ cu pătratul douăzeci și cinci este cinci, iar pătratul lui cinci este douăzeci și cinci.

O altă reparare păstrează domeniul real și completează concluzia: $x^2=25\iff (x=-5\vee x=5)$. Cele două reparări sunt diferite. Prima restrânge numerele admise; a doua păstrează toate numerele reale și formulează corect ambele posibilități.

Exemplul 4. Verificarea directă a celor două sensuri

Arată că, pentru orice număr real $x$, $7-2x=3$ dacă și numai dacă $x=2$.

În primul sens presupunem $7-2x=3$. Scădem șapte, obținem $-2x=-4$, apoi împărțim la numărul nenul $-2$. Rezultă $x=2$. În sensul invers presupunem $x=2$ și calculăm $7-2\cdot 2=3$, deci ecuația este verificată.

Am acoperit ambele direcții și putem scrie $7-2x=3\iff x=2$ pe domeniul real. Împărțirea folosită este permisă pentru orice $x$, deoarece împărțitorul este constanta nenulă $-2$. Nu există un caz omis din cauza unei expresii care s-ar putea anula.

Exemplul 5. Un criteriu exact pe un domeniu finit

Numărul natural $n$ aparține mulțimii $D=\{0,1,2,3,4,5,6,7\}$. Verifică echivalența „$n>4$ dacă și numai dacă $n\in \{5,6,7\}$”. Rămâne valabilă dacă domeniul devine întreaga mulțime a numerelor naturale?

Pe $D$, numerele mai mari decât patru sunt exact cinci, șase și șapte. Prima condiție o implică pe a doua. Reciproc, fiecare dintre cele trei numere este mai mare decât patru. Echivalența este adevărată pe domeniul dat.

Pe $\mathbb{N}$ nu mai este adevărată: numărul $8$ depășește patru, dar nu aparține mulțimii din dreapta. Am identificat sensul care eșuează. Sensul de la apartenență la inegalitate rămâne adevărat; lărgirea domeniului nu schimbă valoarea numerelor cinci, șase și șapte.

Pentru domeniul finit am folosit toate posibilitățile, nu un eșantion. Aceasta face verificarea completă. Dacă lista ar fi fost numai o selecție de exemple din numerele naturale, aceeași observație nu ar demonstra afirmația generală. Înainte de calcul, citește așadar dacă mulțimea dată este domeniul propriu-zis al problemei sau doar o colecție de valori pentru explorare.

Exemplul 6. Exemplu tip Bacalaureat M2

Arătați că, pentru orice număr real $x$, $2\le 3x-1<8$ dacă și numai dacă $1\le x<3$.

Dubla inegalitate este conjuncția a două inegalități, „$2\le 3x-1$” și „$3x-1<8$”, iar fiecare se transformă prin pași reversibili. Adunând unu, obținem $3\le 3x$ și $3x<9$; împărțind la numărul pozitiv trei, obținem $1\le x$ și $x<3$. Fiecare pas se parcurge și înapoi: înmulțirea cu trei și scăderea lui unu refac inegalitățile inițiale, cu același sens al semnelor.

$$2\le 3x-1<8\iff 3\le 3x<9\iff 1\le x<3.$$

Controlăm și capetele. La $x=1$ avem $3\cdot 1-1=2$, iar egalitatea cu doi este permisă de semnul nestrict; la $x=3$ avem $3\cdot 3-1=8$, exclus de semnul strict. Capetele se comportă la fel în ambele scrieri, deci mulțimea valorilor care verifică dubla inegalitate este intervalul $[1,3)$.

Este un exemplu propriu de antrenament pentru Bacalaureatul M2. Ideea urmărită este redactarea unei rezolvări cu sensuri controlate, nu atribuirea exercițiului unui subiect oficial sau unei poziții obligatorii în examen.

Să exersăm

1. Fie $p$: „$7^2+1=50$” și $q$: „$50$ se divide cu $4$”. Stabilește $v(p)$ și $v(q)$, apoi $v(p\iff q)$.

2. Află $v(p\iff q)$ când $v(p)=1$ și $v(q)=0$. Care dintre cele două implicații este falsă?

3. Scrie cele două implicații care alcătuiesc echivalența „un număr natural se divide cu $4$ dacă și numai dacă numărul format din ultimele lui două cifre se divide cu $4$”, apoi verifică-le pe numărul $1348$.

4. Se știe că $v(p\Rightarrow q)=1$ și $v(q\Rightarrow p)=0$. Determină $v(p)$, $v(q)$ și $v(p\iff q)$.

5. Câte perechi de valori fac falsă echivalența $p\iff q$? Enumeră-le și precizează ce au în comun.

6. Adevărat sau fals? „Dacă $p\iff q$ este adevărată și $p\vee q$ este adevărată, atunci $p$ și $q$ sunt amândouă adevărate”. Justifică prin valori de adevăr.

7. Pentru numere naturale, este corect „$n$ este multiplu de doisprezece dacă și numai dacă este multiplu de patru”? Verifică ambele sensuri.

8. Un lichid este încălzit uniform, iar temperatura lui, în grade Celsius, după $t$ minute este $T=18+4t$; modelul este valabil pentru $0\le t\le 15$. Arată că, pe intervalul de valabilitate, temperatura este de cel puțin $50^{\circ }\mathrm{C}$ exact când $t\ge 8$, justificând ambele sensuri. (Problemă aplicată.)

9. Pentru un număr real $x$, este „$x>0$” o condiție necesară, suficientă sau necesară și suficientă pentru „$x^5>0$”? Justifică fiecare sens.

10. Pe mulțimea $\{1,2,\dots ,12\}$, verifică echivalența „$n$ este divizor al lui $12$ dacă și numai dacă $n$ este divizor al lui $24$”.

11. Pentru $x$ real, sunt echivalente ecuațiile $\frac{x}{2}+1=4$ și $x+2=8$? Justifică printr-o transformare reversibilă.

12. Pentru $x$ real, ecuația $9x-27=0$ are soluția $3$. Un elev înmulțește ambii membri cu $0$, obține $0=0$ și scrie între cele două rânduri săgeata $\iff$. Ce s-a întâmplat cu mulțimea soluțiilor și de ce este greșită săgeata dublă?

13. Arătați că, pentru orice număr întreg $n$, numărul $n+5$ este par dacă și numai dacă $n$ este impar. (Exercițiu tip Bacalaureat M2.)

14. Arătați că, pentru orice număr real $x$, $|x-2|<3$ dacă și numai dacă $-1<x<5$. (Exercițiu tip Bacalaureat M2.)

15. Arătați că un număr natural $n$ se divide cu $10$ dacă și numai dacă se divide și cu $2$, și cu $5$. (Exercițiu tip Bacalaureat M2.)

16. În câte dintre cele patru combinații de valori ale lui $p$ și $q$ are expresia $(p\iff q)\vee q$ valoarea $1$? Care combinație o face falsă?

17. Explică de ce „numărul întreg $n$ este egal cu zero” este suficient, dar nu necesar pentru „$n^2=0$” sau corectează afirmația dacă este greșită.

18. Știi că $p\iff q$ este adevărată, iar $q\iff r$ este falsă. Ce valoare are $p\iff r$? Justifică fără să presupui de la început valoarea lui $q$. (Provocare.)

Răspunsuri și explicații

1. $7^2+1=49+1=50$, deci $v(p)=1$. Cum $50=4\cdot 12+2$, numărul nu se divide cu patru și $v(q)=0$. Valorile diferă, deci $v(p\iff q)=0$.

2. Valoarea este $0$. Implicația $p\Rightarrow q$ este falsă, iar $q\Rightarrow p$ este adevărată. Conjuncția celor două este falsă.

3. Sensul direct: dacă numărul se divide cu $4$, atunci numărul format din ultimele două cifre se divide cu $4$. Reciproca: dacă numărul format din ultimele două cifre se divide cu $4$, atunci numărul se divide cu $4$. Pentru $1348$ ambele condiții sunt adevărate: $48=4\cdot 12$ și $1348=4\cdot 337$.

4. O implicație este falsă numai când ipoteza este adevărată și concluzia falsă, deci din $v(q\Rightarrow p)=0$ rezultă $v(q)=1$ și $v(p)=0$. Prima implicație, cu ipoteza falsă, este într-adevăr adevărată. Echivalența are valoarea $0$, fiindcă una dintre implicațiile ei este falsă.

5. Sunt două perechi: $(1,0)$ și $(0,1)$. În fiecare, valorile componentelor sunt diferite; celelalte două perechi au valori egale și fac echivalența adevărată.

6. Adevărat. Echivalența adevărată lasă numai perechile $(1,1)$ și $(0,0)$. Disjuncția adevărată exclude perechea $(0,0)$, deci rămâne $(1,1)$.

7. Nu. Orice multiplu de doisprezece este multiplu de patru, deoarece $12k=4(3k)$. Reciproca este falsă: numărul $4$ este multiplu de patru și nu de doisprezece.

8. Pentru $t$ din $[0,15]$: $18+4t\ge 50\iff 4t\ge 32\iff t\ge 8$, prin scăderea lui $18$ și împărțirea la numărul pozitiv $4$, pași care se pot parcurge înapoi. Invers, pentru $t\ge 8$ temperatura este cel puțin $18+32=50$ de grade. Echivalența descrie minutele de la $8$ la $15$; la $t=15$ lichidul are $78^{\circ }\mathrm{C}$, iar după acest moment modelul nu mai afirmă nimic.

9. Necesară și suficientă. Dacă $x>0$, produsul a cinci factori pozitivi este pozitiv. Dacă $x\le 0$, atunci $x^5\le 0$: pentru $x=0$ puterea este zero, iar pentru $x<0$ produsul a cinci factori negativi este negativ. Deci $x^5>0\iff x>0$.

10. Echivalența este falsă. Divizorii lui $12$ din mulțime sunt $1,2,3,4,6,12$, iar ai lui $24$ sunt $1,2,3,4,6,8,12$. Numărul $8$ divide $24$, dar nu divide $12$, deci sensul de la dreapta la stânga eșuează. Sensul direct este adevărat, fiindcă orice divizor al lui $12$ divide și $24=12\cdot 2$.

11. Da. Înmulțind prima ecuație cu numărul nenul $2$ obținem a doua, iar împărțind a doua la $2$ revenim la prima. Ambele au mulțimea soluțiilor $\{6\}$.

12. Egalitatea $0=0$ este adevărată pentru orice număr real, deci mulțimea soluțiilor s-a lărgit de la $\{3\}$ la $\mathbb{R}$. Sensul de la ecuație la $0=0$ este corect, dar drumul înapoi nu există: din $0=0$ nu se mai poate afla $x$. Înmulțirea cu zero nu este reversibilă, deci între rânduri se poate scrie numai $\Rightarrow$.

13. Dacă $n+5$ este par, scriem $n+5=2k$, cu $k$ întreg; atunci $n=2k-5=2(k-3)+1$, deci $n$ este impar. Reciproc, dacă $n=2m+1$, cu $m$ întreg, atunci $n+5=2m+6=2(m+3)$, deci $n+5$ este par. Ambele sensuri sunt justificate.

14. Distanța de la $x$ la $2$ este mai mică decât $3$ exact când $x$ se află strict între $2-3=-1$ și $2+3=5$. Cu pași reversibili: $|x-2|<3\iff -3<x-2<3\iff -1<x<5$; al doilea pas adună $2$ în toate cele trei părți și se inversează scăzând $2$. Capetele $-1$ și $5$ dau $|x-2|=3$, deci sunt excluse în ambele scrieri.

15. Dacă $n=10k$, atunci $n=2\cdot (5k)=5\cdot (2k)$, deci $n$ se divide cu $2$ și cu $5$. Reciproc, dacă $n=5k$ și $n$ este par, atunci $k$ este par, fiindcă produsul numărului impar $5$ cu un număr impar ar fi impar. Scriind $k=2m$, obținem $n=10m$. Ambele sensuri sunt justificate.

16. În trei combinații: $(1,1)$, $(0,1)$ și $(0,0)$. Singura combinație care face expresia falsă este $(1,0)$: acolo echivalența este falsă, iar $q$ este și ea falsă.

17. Afirmația este greșită. Condiția $n=0$ este și necesară, și suficientă pentru $n^2=0$: pătratul unui număr este zero exact când numărul este zero.

18. Echivalența $p\iff r$ este falsă. Prima informație spune că $p$ și $q$ au valori egale, a doua că $q$ și $r$ au valori diferite; prin urmare și $p$, $r$ au valori diferite.

De reținut

• Echivalența reunește o implicație și reciproca ei, cerând adevărul amândurora.
• Valorile egale ale componentelor dau o echivalență adevărată; valorile diferite dau o echivalență falsă.
• „Necesară și suficientă” descrie un criteriu care funcționează în ambele sensuri pe domeniul precizat.
• Un singur caz în care condițiile au valori diferite infirmă o echivalență generală.
• La ecuații, echivalența înseamnă păstrarea exactă a mulțimii soluțiilor, cu toate restricțiile de domeniu respectate.

Greșeli frecvente

• Capătul pierdut la transformare. Din $3\le 3x$ se obține $1\le x$, nu $1<x$; un semn nestrict schimbat în semn strict scoate din mulțime exact valoarea de la capăt, iar echivalența cade chiar acolo.
• Argumentul circular la întoarcere. În sensul reciproc pornești de la noua ipoteză; dacă folosești, fie și ascuns, afirmația pe care o ai de demonstrat, acel sens rămâne neacoperit.
• Schimbarea domeniului fără anunț. Un contraexemplu negativ nu dispare dintr-o problemă pe numere reale doar fiindcă preferi rădăcina pozitivă.
• Contraexemplul ales în afara domeniului. O valoare pe care enunțul nu o admite nu infirmă echivalența, oricât de convenabil ar ieși calculul.
• „Exact când” citit ca „în același moment”. Formularea cere ca două condiții să fie adevărate sau false împreună pentru același obiect; nu spune nimic despre ordinea în timp a unor evenimente.

Aplică acasă

1. Construiește un mic tabel cu cinci fișe și două marcaje. Propune o regulă „primul marcaj dacă și numai dacă al doilea” și identifică toate nepotrivirile. Precizează pentru fiecare ce implicație nu este respectată.
2. Alege trei proprietăți ale numerelor naturale, de exemplu „este par”, „se divide cu $3$” și „are ultima cifră $5$”. Pentru fiecare pereche, verifică pe numerele de la $1$ la $30$ dacă una este condiție necesară, suficientă sau necesară și suficientă pentru cealaltă, și notează contraexemplul care respinge fiecare sens eșuat.
3. Scrie un criteriu pentru numerele dintr-o mulțime cu șase elemente. Verifică toate elementele, apoi mărește domeniul cu unul singur. Observă dacă noul element păstrează sau infirmă echivalența propusă și explică motivul.

Pentru părinți și profesori

Un exercițiu util este compararea celor două tipuri de nepotrivire: condiția îndeplinită fără marcaj și marcajul acordat fără condiție. Elevul vede astfel de ce un singur sens nu ajunge. Pentru ecuații, cereți explicit justificarea operației inverse și discutați orice valoare exclusă printr-o restricție de domeniu; verificarea finală singură nu recuperează soluțiile pierdute.

Programa și examenul. Echivalența face parte din operațiile logice cu propoziții prevăzute în Anexa 28 la OMEC nr. 6930/2025, aplicată progresiv din 2026–2027 la clasa a IX-a, și în domeniul Algebră al programei MAT_P2 pentru 2030. Apare și în programa de Bacalaureat M2 valabilă pentru 2027–2029, conform OMEN nr. 4430/2014. Modelul oficial pentru 2026 nu rezervă un exercițiu distinct tabelului echivalenței. Exemplele de aici antrenează corectitudinea raționamentului și păstrarea soluțiilor.

Continuați cu tabelul de adevăr al unui enunț compus pentru M2 și cu testul unității de logică M2. Pentru calcule puteți revedea compararea numerelor raționale, clasa a VI-a. Versiunea pentru mate-info (M1) a acestei lecții: echivalența „dacă și numai dacă” permite o comparație între trasee, fără a fi necesară pentru exercițiile acestei pagini.

Întrebări frecvente

Ce fac dacă reușesc să demonstrez numai un sens?

Ai obținut atunci o implicație, nu o echivalență, și o scrii ca atare. Încearcă apoi sensul rămas: fie găsești un argument pentru el, fie cauți un caz admis în care condiția de plecare a acelui sens este îndeplinită, iar cealaltă nu. Un astfel de caz arată că echivalența este falsă și că implicația demonstrată este tot ce se poate afirma.

Cum verific o regulă de laborator formulată cu „exact când”?

Caută ambele feluri de abatere. Pentru regula „alarma sună exact când temperatura depășește pragul”, notează cazurile în care alarma a sunat sub prag și pe cele în care a tăcut peste prag. Primele infirmă un sens, celelalte pe celălalt. Un singur tip de control lasă netestată jumătate din regulă, oricât de multe măsurări ar avea.

Ajunge un exemplu pentru a respinge o echivalență?

Ajunge un contraexemplu admis în domeniul enunțului, la care una dintre condiții este adevărată și cealaltă falsă. Nu contează care dintre ele este cea adevărată: oricare nepotrivire infirmă echivalența. În schimb, un exemplu cu valori egale confirmă doar acel caz particular și nu demonstrează automat o afirmație pentru toate numerele.

Cum controlez o săgeată dublă scrisă între două ecuații?

Verifici că operațiile sunt permise și că pot fi parcurse înapoi fără pierderea sau adăugarea unor soluții. Păstrezi domeniul inițial și tratezi valorile pentru care ai fi împărțit la zero. La final, înlocuirea soluțiilor în ecuația de pornire verifică valorile găsite, iar justificarea pașilor arată de ce lista lor este completă.

Ce este diferit aici față de lecția de echivalență pentru M1?

Noțiunea și tabelul sunt comune celor două trasee. Varianta M2 folosește în principal reguli concrete, domenii finite, ecuații elementare și verificarea celor două sensuri. Explicațiile necesare sunt incluse pe această pagină. Exemplele urmăresc să construiești un criteriu exact și să păstrezi soluțiile, fără să ai nevoie de dezvoltări suplimentare din lecția M1.

Este echivalența rezervată unui anumit subiect de Bacalaureat M2?

Te ajută la redactarea transformărilor, la verificarea unui criteriu și la explicarea faptului că ai găsit toate soluțiile. Programa nu îi fixează un loc anume în structura probei, iar modelul oficial pentru 2026 nu cere separat un tabel al echivalenței. Prezența noțiunii în programă justifică studiul ei, fără a promite un exercițiu anume.