Cuantificatorii universal și existențial (M2, științe ale naturii)

Într-o activitate școlară sunt analizate fotografii realizate la microscop. „Fiecare fotografie permite observarea unui contur” și „Cel puțin o fotografie permite observarea unui contur” cer verificări diferite. În clasa a IX-a, la științe ale naturii (M2), cuantificatorii fac explicit această diferență. Programa aplicată din 2026–2027 și programa de Bacalaureat M2 pentru 2027–2029 includ noțiunea; ea te ajută să alegi o justificare potrivită întinderii afirmației.

Reia predicatele și variabilele din traseul M2: ai nevoie de o condiție și de un domeniu. Pentru comparațiile din exemple poți consulta compararea numerelor raționale din clasa a VI-a. Vom lucra cu liste complete, martori și argumente scurte. Nu presupunem că o observație favorabilă despre un singur obiect descrie întreaga colecție și nici că un eșec izolat elimină toate posibilitățile.

Ce vei învăța

• Vei ști să recunoști cât de întinsă este o afirmație despre un domeniu.
• Vei ști să traduci „pentru fiecare” și „cel puțin unul” în scriere matematică.
• Vei ști să alegi între verificare completă, argument general și exemplu concret.
• Vei ști să prezinți un martor admis sau un contraexemplu verificat.
• Vei ști să explici de ce un eșantion nu justifică automat o afirmație universală.
• Vei ști să păstrezi același obiect când mai multe condiții sunt cerute simultan.

Hai să descoperim împreună

1. Ce adăugăm unei condiții cu variabilă?

Un predicat arată ce proprietate verificăm după alegerea unui obiect. Pentru a formula o afirmație despre domeniul întreg, trebuie să spunem câte dintre obiectele admise sunt vizate. Putem cere proprietatea pentru fiecare element sau putem afirma că există măcar un element care o are.

Un cuantificator este un operator logic prin care legăm o variabilă a unui predicat de obiectele domeniului, precizând dacă proprietatea privește toate elementele sau cel puțin unul. În această lecție folosim două variante: cuantificatorul universal, notat $\forall$, și cuantificatorul existențial, notat $\exists$. Prin aplicarea lor unei condiții cu o singură variabilă liberă obținem propoziții pe care le putem evalua.

Vom folosi domenii nevide, scrise explicit. Această precizare contează când comparăm cele două feluri de afirmații. Obiectele pot fi numere, fotografii sau alte elemente bine identificate. Proprietatea trebuie să aibă sens pentru fiecare dintre ele, iar datele exercițiului trebuie citite înaintea alegerii metodei.

Nu confunda simbolul cu o operație de calcul. Cuantificatorul nu modifică numerele din predicat și nu îi schimbă formula. El stabilește ce trebuie demonstrat despre valorile admise. Două propoziții cu aceeași condiție numerică pot avea verdicte diferite numai fiindcă una cere toate cazurile, iar cealaltă cere cel puțin unul.

2. Cum citim afirmația universală?

Propoziția $\forall x\in D,p(x)$ afirmă că fiecare element al domeniului $D$ satisface condiția $p$. Putem citi „pentru fiecare $x$ din $D$, este adevărată $p(x)$”. Nu trebuie să existe o excepție. Cuvinte precum „oricare”, „fiecare” și „toate” pot exprima aceeași cerință în contexte potrivite.

Dacă domeniul este o listă finită declarată completă, putem confirma propoziția verificând toate elementele. Nu este obligatoriu un argument algebric general atunci când avem doar câteva obiecte și toate sunt accesibile. Tabelul complet constituie chiar dovada că niciun caz admis nu a rămas în afara verificării.

Pe un domeniu infinit, lista încercărilor nu poate cuprinde toate valorile. Avem nevoie de un motiv care funcționează pentru un element oarecare. De exemplu, din $x>12$ rezultă $x>7$ pentru orice număr real, prin ordinea numerelor. Argumentul nu depinde de alegerea unei anumite valori mai mari decât doisprezece.

Pentru respingerea unei afirmații universale ajunge un contraexemplu: un element admis la care condiția este falsă. Trebuie să arăți ambele aspecte, apartenența la domeniu și eșecul proprietății. Un număr din afara domeniului nu respinge enunțul, chiar dacă ar produce un calcul nefavorabil.

3. Cum citim afirmația existențială?

Propoziția $\exists x\in D,p(x)$ afirmă că cel puțin un element din $D$ satisface condiția. Ea nu cere ca elementul să fie singurul și nici ca toate celelalte să eșueze. Pot exista mai multe valori favorabile, fără ca sensul propoziției să se schimbe.

Un element admis care verifică proprietatea se numește, în rezolvările noastre, martor al existenței. Pentru confirmarea propoziției este suficient să indici un martor și să verifici proprietatea lui. Dacă ai găsit două valori potrivite, nu apare o contradicție: ai mai multe justificări posibile ale aceleiași existențe.

Respingerea existenței cere să excluzi toate valorile admise. Pe o listă finită poți controla fiecare element; pe numere reale ai nevoie de un argument general. Faptul că trei încercări au eșuat nu dovedește că nicio altă valoare nu ar reuși. Înainte de a spune „nu există”, întreabă-te ce garantează acoperirea domeniului.

De asemenea, un martor trebuie să aparțină domeniului declarat. O valoare aleasă din afara listei sau a mulțimii precizate nu susține afirmația, chiar dacă verifică proprietatea: ai vorbit, de fapt, despre alt obiect. Înainte de calcul controlezi apartenența, iar după calcul controlezi proprietatea.

4. Cum alegem dovada după tipul concluziei?

Cele două cuantificări conduc la patru sarcini. Pentru adevărul unei universale și falsitatea unei existențiale trebuie acoperit întregul domeniu. Pentru falsitatea unei universale și adevărul unei existențiale poate fi suficient un singur element, ales și verificat corect.

Nu memora tabelul ca pe patru răspunsuri fără legătură. Citește ce promite enunțul. Dacă promite toate cazurile, o excepție îl poate respinge. Dacă promite numai existența unui caz, un eșec izolat nu îl atinge: alt element ar putea încă îndeplini cerința.

Uneori un argument general este mai scurt decât căutarea multor exemple. Alteori un contraexemplu evident încheie imediat problema. Metoda se alege după concluzia cerută și după domeniu. Nu este un concurs al numărului de calcule efectuate, ci al potrivirii dintre afirmație și justificarea oferită.

5. Ce putem deduce dintr-un tabel sau dintr-un eșantion?

Un tabel poate avea două roluri diferite. Poate enumera întregul domeniu al exercițiului sau poate arăta numai obiectele observate până acum. Cuvinte precum „exact”, „lista completă” și „toate înregistrările” stabilesc prima situație. În lipsa acestei precizări, nu extindem automat concluzia la obiecte nevăzute.

O fotografie favorabilă dintr-o colecție dovedește existența unei fotografii favorabile în acea colecție, dacă apartenența ei este sigură. Totuși, zece fotografii favorabile nu dovedesc că fiecare fotografie dintr-un lot mai mare are proprietatea. Lipsesc tocmai verificările pentru elementele neincluse în eșantion.

Un singur caz nefavorabil din domeniu respinge afirmația despre toate elementele, chiar dacă tabelul este incomplet. Așadar, caracterul incomplet nu face datele inutilizabile. El limitează ce concluzii putem trage. Putem avea destule informații pentru un verdict și prea puține pentru altul, folosind aceleași înregistrări.

În situații practice, proprietatea trebuie definită precis: ce înseamnă „clar”, „complet” sau „acceptat” în exercițiu? Dacă o condiție este vagă, nu o reparăm printr-un simbol. Mai întâi precizăm criteriul, apoi alegem cuantificatorul. În exemplele lecției, toate condițiile de selecție sunt stabilite explicit.

Modificarea domeniului trebuie analizată separat. Dacă o condiție este verificată de toate elementele unui domeniu, ea rămâne verificată de toate elementele oricărei părți nevide a lui. Am păstrat mai puține cazuri dintre cele deja confirmate. În schimb, adăugarea unui element poate introduce o excepție și poate face falsă noua afirmație universală.

Pentru existență, situația se citește pornind de la martor. Dacă lărgim domeniul fără să eliminăm martorul și fără să schimbăm proprietatea, existența rămâne adevărată. Dacă restrângem domeniul, trebuie verificat dacă mai rămâne măcar un element favorabil. Nu putem transfera automat verdictul existențial în orice subdomeniu.

De exemplu, toate elementele lui $\{2,5\}$ sunt pozitive. Adăugând numărul $-3$, noul domeniu nu mai verifică universalitatea pozitivității, dar existența unui număr pozitiv rămâne adevărată. Dacă păstrăm apoi numai $\{-3\}$, pierdem și această existență. Proprietatea nu s-a schimbat; s-a schimbat lista obiectelor despre care o afirmăm.

Acest control este util atunci când o problemă are două subpuncte cu domenii diferite. Poți reutiliza un calcul, dar concluzia trebuie formulată din nou pentru domeniul fiecărui subpunct. Notează ce element a fost adăugat, eliminat sau păstrat și explică dacă el avea rol de martor ori de contraexemplu.

6. De ce păstrăm același martor la condițiile simultane?

Afirmația „există un obiect cu proprietatea $p$ și există un obiect cu proprietatea $q$” poate folosi două obiecte diferite. Afirmația „există un obiect care are ambele proprietăți” cere un singur obiect pentru amândouă. Cuvântul „și” apare în ambele formulări, dar gruparea condițiilor este diferită.

Pentru $\exists x\in D,(p(x)\wedge q(x))$, verificăm cele două condiții pe același rând al tabelului. Nu împrumutăm confirmarea celei de-a doua proprietăți de la alt obiect. Această atenție este importantă în selecții, în probleme cu parametri și în orice cerință care leagă mai multe proprietăți de aceeași valoare.

Pe un domeniu nevid, dacă fiecare element satisface o condiție, atunci există și un element care o satisface: alegem oricare dintre cele admise. Sensul invers nu este garantat. Un martor favorabil nu ne spune nimic despre toate celelalte elemente până când ele nu sunt acoperite de un argument.

Lucrăm aici cu un cuantificator aplicat unei condiții, uneori compuse. Nu avem nevoie de alternări lungi de simboluri sau de notații suplimentare pentru unicitate. Putem spune în cuvinte când o problemă cere exact o valoare, fără să confundăm această cerință suplimentară cu sensul obișnuit al existenței.

7. Cum arată o justificare completă și scurtă?

Pentru un martor, scrie valoarea aleasă, verificarea domeniului și calculul favorabil. Pentru un contraexemplu, procedezi asemănător, dar calculul trebuie să infirme proprietatea. O valoare prezentată fără explicație îl obligă pe cititor să reconstruiască singur ideea și poate ascunde o alegere inadmisibilă.

Într-un enunț universal cu implicație, contraexemplul trebuie să respecte ipoteza și să încalce concluzia. Reia implicația „dacă… atunci…” dacă această condiție pare surprinzătoare. Un caz cu ipoteză falsă nu infirmă regula materială, indiferent cât de neobișnuit este exemplul ales.

Dacă ai terminat calculele, recitește întrebarea înainte de concluzie. Ai dovedit că există un element sau ai aflat toate elementele? Ai respins universalitatea ori ai demonstrat inexistența? Aceste rezultate pot cere eforturi diferite și nu se înlocuiesc unul pe celălalt printr-un cuvânt grăbit.

Exemple rezolvate

Exemplul 1. Două afirmații despre patru fotografii

Într-un exercițiu avem exact fotografiile A, B, C și D. Numărul reperelor distincte vizibile este, în această ordine, $3,5,5,2$. Verifică: „fiecare fotografie are cel puțin trei repere” și „există o fotografie cu exact cinci repere”.

Prima afirmație este falsă: fotografia D are numai două repere. Ea aparține colecției și nu îndeplinește condiția cerută. Celelalte trei fotografii nu pot compensa această excepție.

A doua afirmație este adevărată: B este un martor, fiindcă are cinci repere. Și C ar putea fi folosită. Existența a două alegeri favorabile nu strică răspunsul, deoarece afirmația nu pretinde că fotografia potrivită este unică.

Concluziile privesc cele patru fotografii declarate, nu orice fotografie realizată la microscop. Am folosit un model finit, cu date complete și cu un criteriu de numărare deja precizat.

Exemplul 2. Ce permite o verificare incompletă?

Un jurnal are șase pagini. Sunt examinate numai paginile unu, trei și șase, iar fiecare dintre ele conține un desen. Un elev spune: „Toate paginile au desene”. Ce concluzie este justificată de date?

Nu știm ce conțin celelalte trei pagini, deci universalitatea nu este demonstrată. Nu este nici infirmată: este posibil ca și paginile neexaminate să conțină desene. Verdictul acestei propoziții nu poate fi stabilit din informațiile primite.

În schimb, putem afirma că există o pagină cu desen. Pagina unu, de exemplu, este un martor suficient. Am obținut o concluzie pozitivă precisă, fără să transformăm lipsa informației în falsitate și fără să extindem observațiile peste cazurile controlate.

Pentru a vedea de ce verdictul universal rămâne nedecis, imaginează două completări ale datelor. În prima, și paginile rămase au desene. În a doua, una dintre ele nu are desen. Ambele completări respectă observațiile primite, dar conduc la verdicte universale diferite. Tocmai această posibilitate împiedică alegerea unui verdict fără informații suplimentare.

Exemplul 3. Un argument care acoperă toate valorile

Verifică propoziția $\forall x\in \mathbb{R},4(x+2)=4x+8$.

Pentru un număr real oarecare, distributivitatea înmulțirii față de adunare dă $4(x+2)=4x+4\cdot 2=4x+8$. Nu am impus o valoare specială lui $x$, iar operațiile sunt definite pentru orice număr real. Propoziția este adevărată.

O verificare pentru zero ar fi oferit doar un caz favorabil. Calculul simbolic de mai sus arată de ce toate cazurile funcționează. Rolul universalului este tocmai să ceară această acoperire, nu o colecție cât mai lungă de înlocuiri numerice.

Exemplul 4. Un martor găsit prin estimare

Există un număr natural $n$ pentru care $3^n>500$?

Nu avem o ecuație de rezolvat, dar putem urmări puterile: fiecare se obține din precedenta înmulțind cu trei. Avem $3^4=81$, $3^5=243$ și $3^6=729$. Numărul $6$ este natural, iar $729>500$, deci $n=6$ este un martor, iar existența este adevărată.

Nu era nevoie de cel mai mic martor: orice exponent mai mare decât șase ar fi convenit și el, fiindcă puterile lui trei cresc. Dacă o problemă ar cere cel mai mic astfel de număr, ar trebui arătat în plus că $3^5=243$ nu depășește $500$; aceasta este o cerință suplimentară, nu o parte a existenței.

Exemplul 5. Martori separați și martor comun

Pe $D=\{10,15,21\}$, notăm $p(x)$: „$x$ este divizibil cu cinci” și $q(x)$: „$x$ este divizibil cu șapte”. Există un martor pentru fiecare condiție? Există un martor comun?

Zece și cincisprezece verifică prima condiție, iar douăzeci și unu o verifică pe a doua. Prin urmare, cele două existențe separate sunt adevărate.

Niciun element al listei nu verifică ambele condiții. Zece și cincisprezece nu sunt divizibile cu șapte, iar douăzeci și unu nu este divizibil cu cinci. Așadar, nu există martor comun în domeniul dat. Nu adăugăm treizeci și cinci în listă doar fiindcă ar satisface ambele cerințe: domeniul a fost fixat.

Exemplul 6. Exemplu tip Bacalaureat M2

Arată că există un număr real care satisface simultan $4x-9=5$ și $x>2$.

Prima condiție impune $4x=14$, deci alegem $x=\frac{7}{2}$. Acesta este un număr real. Înlocuirea în ecuație dă $4\cdot \frac{7}{2}-9=5$, iar comparația $\frac{7}{2}>2$ este adevărată. Același martor verifică ambele condiții, deci existența cerută este demonstrată.

Nu era suficient să rezolvăm ecuația și să omitem inegalitatea. Un candidat trebuie să îndeplinească întregul predicat. Exercițiul este un antrenament propriu pentru justificările de la Bacalaureatul M2, fără atribuirea sa unui subiect oficial ori unei poziții obligatorii în probă.

Să exersăm

1. Scrie cu cuantificator: „Pentru fiecare număr întreg $n$, numărul $2n$ este par”.

2. Scrie cu simboluri și verifică: „Există un număr natural care, adunat cu opt, dă douăzeci și trei”.

3. Pe $D=\{-6,-1,4,8\}$, este adevărată propoziția $\forall x\in D,x<9$? Justifică.

4. Pe $D=\{2,6,9,13\}$, găsește un martor pentru existența unui număr divizibil cu trei.

5. Respinge propoziția $\forall x\in \mathbb{R},x^2\ne 4$ printr-o valoare admisă.

6. Un laborator a măsurat perioadele de oscilație ale exact trei pendule: $1,2$ s, $1,5$ s și $1,9$ s. Este adevărată propoziția „există două pendule ale căror perioade diferă cu mai puțin de $0,3$ s”? (Problemă aplicată.)

7. Pe $D=\{-4,0,4\}$, stabilește adevărul propozițiilor $\forall x\in D,x^3=16x$ și $\exists x\in D,x^3\ne 16x$.

8. Pe un domeniu $D$: „Dacă $\forall x\in D,p(x)$ și $\forall x\in D,q(x)$ sunt adevărate, atunci $\forall x\in D,(p(x)\wedge q(x))$ este adevărată”. (Adevărat/Fals cu motivare.)

9. Pe un domeniu nevid, pot fi adevărate „fiecare element convine” și „niciun element nu convine” pentru aceeași condiție? Explică.

10. Justifică $\forall n\in \mathbb{Z},n+2>n$, fără să înlocuiești variabila prin câteva valori.

11. Stabilește dacă $\exists x\in \mathbb{R},x^2+7=0$, folosind un argument pentru toate numerele reale.

12. Verifică dacă $x=\frac{6}{5}$ este un contraexemplu la „pentru orice real $x$, dacă $x>1$, atunci $x^2>2$”.

13. Prezintă un martor rațional pentru $5x+1=18$ și verifică-l. (Exercițiu tip Bacalaureat M2.)

14. Justifică $\forall x\in \mathbb{R},(x-3{)}^2+2\ge 2$. (Exercițiu tip Bacalaureat M2.)

15. Arătați că există un număr real $x$ pentru care $x^2-7x+13<2$. (Exercițiu tip Bacalaureat M2.)

16. Pe $D=\{1,2\}$, ambele elemente verifică $p$, dar numai doi verifică $q$. Sunt adevărate $\forall x\in D,p(x)$ și $\exists x\in D,q(x)$? Rezultă că fiecare element verifică $q$?

17. Pentru $\exists x\in \{3,6,9\},x<5$, un elev propune martorul zero. Corectează justificarea, păstrând afirmația inițială.

18. Fie $D=\{-2,1,4\}$. Pentru fiecare $m\in \{0,2,5\}$, decide adevărul propozițiilor $\forall x\in D,x<m$ și $\exists x\in D,x<m$. (Provocare.)

Răspunsuri și explicații

1. $\forall n\in \mathbb{Z},2n$ este par. Forma $2n$ exprimă chiar un multiplu întreg al lui doi, astfel încât proprietatea este justificată pentru fiecare element.

2. $\exists n\in \mathbb{N},n+8=23$. Alegerea $n=15$ este admisă și verifică $15+8=23$, deci afirmația este adevărată.

3. Da. Fiecare dintre cele patru numere este mai mic decât nouă. Lista este întregul domeniu, astfel încât verificarea ei este completă.

4. De exemplu, șase: $6=3\cdot 2$. Nouă ar fi un alt martor, dar nu este nevoie să îi dăm pe toți pentru a confirma existența.

5. Alegem $x=2$. Atunci $x^2=4$, deci relația $x^2\ne 4$ este falsă. Numărul ales este real.

6. Falsă. Lista are trei perechi, iar diferențele sunt $1,5-1,2=0,3$, $1,9-1,5=0,4$ și $1,9-1,2=0,7$ secunde. Niciuna nu este mai mică decât $0,3$ s: cea mai mică este chiar egală cu pragul, iar egalitatea nu satisface o comparație strictă. Existența este respinsă după controlul tuturor perechilor.

7. Pentru $-4$: $(-4{)}^3=-64=16\cdot (-4)$; pentru $0$, ambii membri sunt zero; pentru $4$: $4^3=64=16\cdot 4$. Universala este adevărată, fiind verificată pe toată lista, iar existențiala este falsă, fiindcă nu rămâne niciun element care să o confirme.

8. Adevărat. Fie $x$ un element oarecare al lui $D$. Prima universală îi asigură proprietatea $p$, a doua proprietatea $q$, deci $x$ le are pe amândouă. Spre deosebire de existență, la universală nu apare problema martorului comun: fiecare element este acoperit de ambele afirmații.

9. Nu. Alegem un element al domeniului nevid. Prima propoziție îi atribuie proprietatea, iar a doua i-o respinge, deci nu pot fi simultan adevărate.

10. Din $2>0$, adunând același întreg $n$, obținem $n+2>n$. Argumentul nu cere o valoare particulară pentru $n$.

11. Nu. Pentru fiecare real, $x^2\ge 0$, deci $x^2+7\ge 7>0$. Egalitatea cu zero este imposibilă pe domeniul real.

12. Da. $\frac{6}{5}>1$, dar ${\left(\frac{6}{5}\right)}^2=\frac{36}{25}<\frac{50}{25}=2$. Ipoteza este adevărată și concluzia falsă.

13. Alegem $x=\frac{17}{5}\in \mathbb{Q}$. Calculul $5\cdot \frac{17}{5}+1=18$ confirmă martorul.

14. Pătratul $(x-3{)}^2$ este nenegativ pentru fiecare număr real. Adăugând doi, rezultă inegalitatea cerută, inclusiv cazul de egalitate la $x=3$.

15. Alegem $x=3$, un număr real. Atunci $3^2-7\cdot 3+13=9-21+13=1$, iar $1<2$. Martorul verifică inegalitatea, deci existența este demonstrată; nu era nevoie să rezolvăm inecuația.

16. Primele două propoziții sunt adevărate. Afirmația universală despre $q$ este falsă, deoarece unu nu verifică $q$. Existența martorului doi nu schimbă acest fapt.

17. Zero nu este admis. Alegem trei, care aparține domeniului și satisface $3<5$. Afirmația rămâne adevărată, dar justificarea inițială trebuia reparată.

18. Pentru $m=0$ și $m=2$, universalul este fals, fiindcă patru nu este mai mic decât limita. Pentru $m=5$, universalul este adevărat. Existențialul este adevărat în toate cele trei cazuri, cu același martor $x=-2$.

De reținut

• Cuantificatorul stabilește întinderea cerinței, păstrând condiția și domeniul.
• O universală adevărată trebuie justificată pentru întregul domeniu.
• Un martor admis confirmă existența fără să promită unicitate.
• O încercare nereușită nu demonstrează inexistența unei soluții.
• Condițiile simultane trebuie verificate de același martor.

Greșeli frecvente

• Tratarea datelor incomplete drept verdict negativ. Spune ce se poate decide și ce rămâne necunoscut.
• Confundarea unei liste complete cu un eșantion. Citește dacă obiectele enumerate reprezintă întregul domeniu.
• Folosirea unor martori diferiți pentru o condiție simultană. Verifică ambele cerințe pentru aceeași valoare.
• Martorul luat din afara domeniului. O valoare care nu aparține mulțimii date nu confirmă existența, chiar dacă verifică proprietatea.
• Oprirea la un rezultat fără concluzia cerută. Precizează dacă ai confirmat existența, ai respins universalitatea sau ai acoperit toate cazurile.

Aplică acasă

1. Desenează șase fotografii simbolice pe bilețele și atribuie fiecăreia un număr de repere. Ascunde două bilețele. Formulează o concluzie pe care cele vizibile o justifică și una pentru care mai ai nevoie de informații.
2. Construiește două liste finite pentru aceeași condiție numerică: pe prima să funcționeze toate valorile, iar pe a doua numai unele. Scrie propozițiile cuantificate și explică fiecare verdict.
3. Pregătește două criterii de selecție și o colecție în care fiecare criteriu are un martor, dar nu există martor comun. Modifică apoi un singur obiect astfel încât să apară un martor comun.

Pentru părinți și profesori

Întrebarea utilă este „ce acoperă justificarea ta?”. Cereți o propoziție finală precisă după fiecare calcul. Exersați separat recunoașterea unui martor admis, citirea unei liste complete și explicarea unui argument pentru întregul domeniu. Elevul ar trebui să poată continua util și când datele nu permit toate concluziile cerute, fără să inventeze verdictul lipsă.

Programa și examenul. Cuantificatorii sunt prevăzuți î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. Ei apar și în programa de Bacalaureat M2 pentru 2027–2029, stabilită prin OMEN nr. 4430/2014. Modelul oficial pentru 2026 folosește formulări generale în probleme, fără să ofere o cerință separată de recunoaștere a cuantificatorilor.

Continuați cu negarea propozițiilor cu cuantificatori și cu testul de logică matematică și metode de demonstrație M2. Versiunea pentru mate-info (M1) a acestei lecții: cuantificatorii universal și existențial include și dezvoltări care nu sunt necesare exercițiilor de aici.

Întrebări frecvente

Ce pot decide când am primit numai o parte a tabelului?

Poți folosi orice caz cunoscut care este suficient pentru concluzie: un martor favorabil confirmă existența, iar unul nefavorabil respinge universalitatea. Pentru concluziile care cer toate cazurile, datele parțiale pot fi insuficiente. Precizează domeniul real al afirmației și nu confunda lipsa informațiilor cu dovada că proprietatea este falsă.

Trebuie să prezint toți martorii după ce am găsit unul?

Numai dacă problema cere toate valorile sau numărul lor. Pentru confirmarea unei existențe, un martor verificat este suficient. Totuși, încheie calculul și arată că valoarea este admisă. Dacă enunțul adaugă o cerință despre unicitate, aceasta trebuie justificată separat; simbolul existențial obișnuit nu o conține.

Cum justific faptul că o existență este falsă?

Trebuie să excluzi întregul domeniu. Pe o listă finită completă, verifici fiecare element și arăți că niciunul nu convine. Pe un domeniu infinit, folosești o proprietate generală sau dovedești că orice candidat ar fi neadmis. Câteva încercări nereușite oferă doar indicii, nu închid demonstrația.

De ce două existențe separate nu garantează un obiect comun?

Fiecare propoziție existențială poate fi confirmată de alt element. Când cerința leagă două condiții în interiorul aceluiași predicat, ele trebuie satisfăcute de aceeași valoare. Compară rândurile unui tabel: o proprietate confirmată pe primul rând și alta pe al doilea nu produc automat un rând care le confirmă pe amândouă.

Cum este organizat aici studiul cuantificatorilor față de M1?

Parcursul M2 urmărește enunțuri cu domeniu explicit, liste finite și argumente generale accesibile. Accentul cade pe alegerea dovezii, pe date incomplete și pe verificarea martorului comun. Nu dezvoltăm simboluri pentru existență unică sau alternări de cuantificatori. Păstrăm explicațiile necesare citirii corecte a problemelor întâlnite în acest traseu.

La ce subiect de Bacalaureat M2 trebuie să mă aștept la cuantificatori?

Nu există o poziție fixă promisă de programă. Modelul oficial pentru 2026 conține formulări precum „pentru orice”, în interiorul unor probleme de algebră și analiză, fără un exercițiu separat despre simboluri. Antrenamentul de aici te ajută să înțelegi întinderea cerinței și să alegi între un martor și un argument general.