Negarea cuantificatorilor (M2, științe ale naturii)

Un raport afirmă că fiecare măsurare dintr-un set respectă criteriul cerut. Pentru a respinge raportul nu trebuie să arătăm că toate măsurările sunt nepotrivite: este suficientă una care încalcă acel criteriu. În clasa a IX-a, la științe ale naturii (M2), negarea cuantificatorilor exprimă exact ce dovadă trebuie căutată. Noțiunea este prevăzută în programa aplicată din 2026–2027 și susține justificările din pregătirea pentru Bacalaureatul M2 pentru 2027–2029.

Folosim cuantificatorii universal și existențial și regulile de negare ale lui De Morgan. Dacă este nevoie, reia compararea numerelor raționale din clasa a VI-a. Vom păstra domeniul, vom nega condiția întreagă și vom verifica ce spun datele. Scrierea unei negații corecte este o sarcină diferită de demonstrarea adevărului ei.

Ce vei învăța

• Vei ști să identifici domeniul și condiția înainte de negarea enunțului.
• Vei ști să schimbi cuantificatorul și să negi predicatul fără omisiuni.
• Vei ști să formulezi dovada care ar respinge o afirmație generală.
• Vei ști să tratezi condițiile compuse și implicațiile din interiorul cuantificării.
• Vei ști să verifici dacă un martor este admis și atacă proprietatea cerută.
• Vei ști să distingi un verdict justificat de o concluzie încă nedecisă din date.

Hai să descoperim împreună

1. Ce părți ale enunțului trebuie citite împreună?

O propoziție cuantificată are un domeniu, o variabilă și o condiție aplicată obiectelor acelui domeniu. Cuantificatorul spune dacă este vorba despre fiecare element sau despre existența cel puțin a unuia. Înainte de negare, scrie aceste trei repere; altfel poți produce o frază corectă gramatical care vorbește despre altă problemă.

Domeniul rămâne același la negare. Dacă propoziția se referă la numere întregi, negația nu caută un număr real oarecare. Dacă se referă la măsurările de dimineață, negația nu poate folosi o măsurare din altă zi. Identitatea obiectelor și cadrul verificării sunt parte din sensul enunțului.

O restricție a domeniului nu este o condiție pe care o răsturnăm la întâmplare. Dacă variabila este aleasă dintre numerele cuprinse între două limite, martorul negației trebuie să fie tot între acele limite. Căutarea unui număr din exterior ar testa alt domeniu, chiar dacă relația din predicat ar deveni falsă acolo.

Poți nota domeniul într-o casetă separată pe caiet și îl poți copia neschimbat sub noul cuantificator. Această operație simplă ajută mai ales când restricția este descrisă în cuvinte la începutul problemei, iar formula apare câteva rânduri mai jos. Nicio parte a enunțului nu devine opțională doar fiindcă nu este repetată în fiecare linie.

Negația unui enunț cuantificat este propoziția care respinge exact afirmația inițială, pe același domeniu. O construim schimbând universalul cu existențialul, sau invers, și negând condiția din interior. Cele două schimbări se fac împreună. Schimbarea numai a simbolului din față lasă proprietatea neschimbată și, în general, nu respinge propoziția.

Lucrăm cu domenii nevide și predicate definite pentru fiecare valoare admisă. Nu folosim expresii cu numitor zero pentru a construi presupuse contraexemple. O valoare neadmisă ori o expresie fără sens nu oferă un verdict fals al predicatului; ea arată că verificarea a ieșit din cadrul problemei.

2. Ce înseamnă că afirmația despre toate elementele este falsă?

Afirmația $\forall x\in D,p(x)$ spune că nu există excepții. Pentru a o respinge, trebuie să existe măcar un element al aceluiași domeniu la care condiția eșuează. Prin urmare:

$$\neg (\forall x\in D,p(x))\iff \exists x\in D,\neg p(x).$$

Regula nu cere ca fiecare element să încalce proprietatea. Într-o colecție pot exista multe cazuri favorabile și o singură excepție. În această situație propoziția universală este falsă, iar negația ei adevărată. Numărul mare al cazurilor favorabile nu anulează excepția.

Pe o listă completă, poți marca elementele care verifică proprietatea și pe cele care nu o verifică. Dacă a doua categorie conține un element, ai un martor pentru negație. Acel element este numit contraexemplu față de enunțul universal inițial. Cele două denumiri descriu roluri diferite ale aceleiași valori.

Formularea „nu toate obiectele au proprietatea” înseamnă „cel puțin un obiect nu o are”. Nu înseamnă că majoritatea eșuează și nici că nu există vreun obiect favorabil. Negarea trebuie să cuprindă exact situațiile respinse de original, fără să adauge o informație despre câte excepții sunt.

3. Ce cere respingerea unei existențe?

Afirmația $\exists x\in D,p(x)$ are nevoie de cel puțin un martor favorabil. Pentru a o respinge, trebuie să nu rămână niciun astfel de martor. Fiecare element admis trebuie să încalce condiția:

$$\neg (\exists x\in D,p(x))\iff \forall x\in D,\neg p(x).$$

Observă diferența de întindere. Dacă încerci un număr și condiția este falsă, ai exclus numai acel candidat. Altele ar putea funcționa. Negarea existenței se confirmă printr-o verificare completă a domeniului finit sau printr-un argument care exclude toate valorile unui domeniu infinit.

Expresia „niciun element nu are proprietatea” reprezintă această situație. În limbaj matematic o putem citi drept „pentru fiecare element, proprietatea este falsă”. Cuvintele negative din limba română nu se numără mecanic ca simboluri. Contează propoziția completă pe care o exprimă împreună.

Poți scrie negația înainte de a ști dacă ea este adevărată. Regula este o transformare a sensului logic. Un calcul sau datele unui tabel stabilesc ulterior care dintre original și negație este adevărat. Nu prezenta forma negată drept o concluzie demonstrată numai pentru că ai construit-o corect.

4. Cum negăm condiția din interior?

După schimbarea cuantificatorului, punem negația pe întregul predicat. Pentru o comparație simplă, schimbăm relația cu cea care o respinge exact. Pentru un predicat compus, aplicăm regulile operațiilor logice. Domeniul și variabila rămân aceleași în toate componentele.

De exemplu, negarea unei afirmații care cere pentru fiecare $x$ simultan $a(x)$ și $b(x)$ are forma $\exists x\in D,(\neg a(x)\vee \neg b(x))$. Un martor poate încălca numai una dintre condiții. Nu trebuie să fie un obiect care le încalcă pe amândouă.

În schimb, negarea existenței unui $x$ pentru care $a(x)\vee b(x)$ cere $\forall x\in D,(\neg a(x)\wedge \neg b(x))$. Aici fiecare obiect trebuie să respingă ambele alternative. Dacă una singură ar rămâne adevărată pentru un obiect admis, acel obiect ar confirma existența inițială.

O metodă de redactare în doi pași păstrează controlul. Mai întâi scrii noul cuantificator și negația blocului, fără să desfaci condiția. Apoi rescrii blocul cu De Morgan sau cu regula relației numerice. Astfel poți localiza separat o greșeală de cuantificator și una de operator.

5. Cum respingem o regulă formulată prin implicație?

O regulă generală poate avea forma $\forall x\in D,(a(x)\Rightarrow b(x))$. Negarea caută un element din domeniu pentru care implicația este falsă. Din lecția implicației știm că acest lucru se întâmplă când ipoteza este adevărată și concluzia falsă.

Rezultă $\exists x\in D,(a(x)\wedge \neg b(x))$. Nu negăm ipoteza și nu păstrăm o săgeată în locul conjuncției. Contraexemplul trebuie să intre în categoria despre care regula promite concluzia. Un obiect aflat în afara acelei categorii nu încalcă promisiunea.

De exemplu, dacă o regulă vorbește despre instrumentele cu un anumit marcaj, un instrument fără acel marcaj nu îi respinge concluzia. Trebuie identificat un instrument marcat care nu satisface urmarea cerută. Domeniul general și ipoteza au roluri diferite, dar ambele trebuie respectate la alegerea contraexemplului.

Pentru o regulă numerică, scrie cele două verificări în același loc: relația care confirmă ipoteza și relația care infirmă concluzia. Dacă dai numai valoarea, poți rata un semn sau o limită. Justificarea completă rămâne scurtă, fiindcă verifică exact condițiile necesare.

6. Cum folosim corect datele finite?

Când domeniul are câteva elemente, negarea poate fi verificată într-un tabel. Păstrează pentru fiecare obiect verdictul proprietății și, dacă este necesar, verdictul negației. Apoi citește cuantificatorul exterior: îți trebuie un rând favorabil sau toate rândurile favorabile?

Un tabel incomplet poate fi suficient pentru a confirma negația unei universale, dacă arată deja o excepție admisă. Același tabel poate fi insuficient pentru a confirma negația unei existențe, fiindcă un obiect neverificat ar putea avea proprietatea. Informația necesară este dictată de forma propoziției negate.

Consideră, pentru control, un domeniu cu patru obiecte, dintre care exact două au proprietatea. Afirmația că toate o au este falsă, iar negația sa este adevărată. Afirmația că există un obiect care o are este adevărată, iar negația acesteia este falsă. Aceeași colecție poate astfel confirma o existență și respinge o universalitate, fără contradicție.

Este util să citești separat cele două perechi: fiecare propoziție împreună cu propria negație. Nu compara automat universalul pozitiv cu universalul negativ ca și când ar fi mereu opuse. În colecția descrisă, ambele sunt false, deoarece există atât obiecte favorabile, cât și obiecte nefavorabile. Tocmai cazurile amestecate arată de ce schimbarea cuantificatorului este indispensabilă.

Deosebește „toate obiectele verificate au eșuat” de „toate obiectele domeniului au eșuat”. Prima afirmație se poate referi la o parte a listei. Ca să o folosești pentru negarea existenței în întregul domeniu, trebuie să știi că verificările acoperă chiar toate elementele admise.

Datele se citesc potrivit convenției exercițiului. Dacă valorile sunt prezentate ca exacte, comparăm acele valori. Nu adăugăm presupuneri despre erori de măsurare, despre alte momente sau despre proprietăți biologice care nu sunt precizate. Lecția urmărește relația logică dintre afirmație și datele oferite.

7. Cum verificăm rezultatul negării?

Recitește forma obținută și întreabă-te dacă poate fi adevărată împreună cu originalul. O negație exactă nu permite acest lucru. Întreabă-te apoi dacă există o situație în care ambele ar fi false. Nici acest lucru nu trebuie să se întâmple, când enunțurile sunt bine definite pe același domeniu.

Într-o problemă numerică, valorile de la limită sunt probe bune pentru semnele de comparație. O afirmație strictă poate fi infirmată chiar prin egalitate. Nu trece direct de la „mai mare” la „mai mic”, fiindcă ai putea pierde tocmai această posibilitate de respingere.

O a doua negare trebuie să refacă sensul propoziției inițiale. Cuantificatorul revine la forma sa, iar condiția negată de două ori revine la condiția de pornire. Acest control verifică structura rezultatului, dar calculele folosite pentru martori trebuie în continuare justificate separat.

Procedeul se aplică și când propoziția de pornire este formulată negativ. „Nu există un obiect cu proprietatea cerută” afirmă că fiecare obiect o încalcă. Dacă negăm acest enunț întreg, revenim la existența unui obiect favorabil. Nu schimbăm numai primul cuvânt al frazei, ci identificăm întâi ce afirmă propoziția completă.

La citirea unei soluții, poți verifica acest lucru prin două titluri scurte pe caiet: „original” și „negație”. Scrie fiecare formulare integral sub titlul potrivit. Când unul dintre enunțuri începe deja cu un cuvânt negativ, această separare te ajută să nu pierzi nivelul la care se aplică noua negare și să nu atribui același verdict ambelor propoziții.

Mai departe, validarea logică a unui raționament va folosi asemenea enunțuri pentru a analiza concluzii. Aici ne oprim la formularea și verificarea negației, pe exemple simple, fără alternări de mai mulți cuantificatori.

Exemple rezolvate

Exemplul 1. O limită atinsă și o limită depășită

Într-un model numeric avem exact patru măsurări: A = $10,0$, B = $10,2$, C = $10,3$, D = $9,9$. Valorile sunt considerate exacte pentru exercițiu. Afirmația spune că fiecare se află între $9,8$ și $10,2$, inclusiv. Formulează negația și verific-o.

Negația spune: există o măsurare mai mică decât $9,8$ sau mai mare decât $10,2$. Am schimbat universalul în existențial și am negat condiția simultană privind limitele.

C confirmă negația, deoarece $10,3>10,2$. B nu este o excepție: valoarea sa este permisă de limita inclusivă. Originalul este fals, iar negația adevărată. Nu trebuie să căutăm și o măsurare sub limita inferioară; una dintre cele două alternative este suficientă.

Exemplul 2. Un contraexemplu care nu aparține domeniului

Un elev vrea să respingă $\forall x\in [0,+\infty ),2x+1>0$ folosind $x=-2$. Este corect? Scrie negația și stabilește adevărul ei.

Minus doi nu aparține domeniului, deci alegerea nu poate respinge afirmația. Negația corectă este $\exists x\in [0,+\infty ),2x+1\le 0$.

Pentru fiecare valoare admisă, avem $x\ge 0$, deci $2x+1\ge 1>0$. Negația este falsă, iar originalul adevărat. Faptul că expresia ar putea fi negativă în afara domeniului nu modifică acest verdict. Controlul apartenenței precedă calculul contraexemplului.

Exemplul 3. Negarea unei existențe cu două condiții

Pe $D=\{-9,-4,2,8\}$, fie afirmația „există $x$ pentru care $x>-5$ și $x<3$”. Scrie negația și decide care dintre cele două propoziții este adevărată.

Negația este $\forall x\in D,(x\le -5\vee x\ge 3)$. Ea cere ca fiecare valoare să eșueze la cel puțin una dintre cele două cerințe inițiale.

Numărul $-4$ este în domeniu și satisface $-5<-4<3$. El confirmă existența inițială și respinge negarea universală. Numărul doi ar fi un alt martor. Originalul este adevărat, iar negația falsă, chiar dacă minus nouă și opt nu satisfac condiția inițială.

Exemplul 4. Respingerea unei reguli despre numere negative

Neagă și verifică afirmația: „pentru orice real $x$, dacă $x<-2$, atunci $x^2>9$”.

Negația caută $\exists x\in \mathbb{R},(x<-2\wedge x^2\le 9)$. Alegem $x=-\frac{5}{2}$. Acesta este mai mic decât minus doi, iar pătratul său este $\frac{25}{4}$, care este mai mic decât nouă.

Am verificat simultan ipoteza și eșecul concluziei. Negația este adevărată, deci regula inițială este falsă. O valoare precum zero nu ar fi fost potrivită pentru această respingere, deoarece nu respectă ipoteza despre numerele mai mici decât minus doi.

Exemplul 5. O condiție interioară negată prea slab

Pe domeniul format din obiectele U și V, proprietatea $p$ este adevărată numai pentru U, iar $q$ numai pentru V. Un elev neagă $\exists x,(p(x)\vee q(x))$ prin $\forall x,(\neg p(x)\vee \neg q(x))$. De ce este greșit?

Existența inițială este adevărată, deoarece U verifică $p$. Formula propusă este și ea adevărată: U nu verifică $q$, iar V nu verifică $p$. Cele două propoziții pot fi simultan adevărate, deci nu sunt una negația celeilalte.

Forma corectă este $\forall x,(\neg p(x)\wedge \neg q(x))$, pe același domeniu. Ea este falsă, deoarece fiecare obiect are una dintre proprietăți. Eroarea era operatorul din interior, nu schimbarea cuantificatorului.

Diagnosticul folosește două etape care merită păstrate distincte. Mai întâi am construit o situație în care originalul și formula propusă sunt adevărate împreună; acest lucru este incompatibil cu negarea exactă. Apoi am verificat forma corectă pe aceeași situație. Nu am schimbat proprietățile obiectelor pentru a face noua formulă să pară potrivită.

Exemplul arată și de ce expresia „fiecărui obiect îi lipsește cel puțin una dintre proprietăți” nu respinge existența unui obiect cu măcar o proprietate. Un obiect poate avea prima proprietate și să îi lipsească a doua. Negarea existenței inițiale trebuie să excludă fiecare alternativă favorabilă, pentru fiecare obiect.

Exemplul 6. Exemplu tip Bacalaureat M2

Se consideră propoziția $\forall x\in \mathbb{R},(x+4{)}^2>0$. Scrie negația, apoi stabilește adevărul celor două propoziții.

Negația este $\exists x\in \mathbb{R},(x+4{)}^2\le 0$. Alegem $x=-4$, pentru care $(x+4{)}^2=0$. Egalitatea cu zero confirmă relația nestrictă din negație și infirmă relația strictă din original.

Prin urmare, originalul este fals și negația adevărată. Nu era nevoie să găsim o valoare care produce un pătrat negativ; o asemenea valoare reală nu există. Acesta este un exercițiu propriu de antrenament pentru Bacalaureatul M2, fără atribuirea sa unui subiect oficial.

Să exersăm

1. Neagă $\forall x\in \mathbb{R},x<17$ și dă un martor pentru negație.

2. Scrie negația lui $\exists x\in \mathbb{R},6x-1=8$, păstrând domeniul.

3. Neagă „Niciuna dintre cele patru plăcuțe din cutie nu este zgâriată”.

4. Formulează fără începutul „nu toate”: „Nu toate capacele din set sunt fixate”.

5. Pe $D=\{-1,2,5\}$, neagă $\forall x\in D,x^2<20$ și verifică negația.

6. Pe $D=\{3,7,11\}$, neagă „există un număr par” și stabilește adevărul negației.

7. Neagă $\exists x\in \mathbb{R},(x<-7\vee x>12)$.

8. Neagă $\forall x\in \mathbb{R},(x\ge -1\wedge x\le 6)$.

9. Neagă „orice număr natural divizibil cu paisprezece este par”. Este negația adevărată? Justifică.

10. Neagă $\exists x\in [2,9],(x-2)(x-9)>0$ și verifică negația pe tot intervalul.

11. Un elev neagă $\forall x\in \mathbb{R},2x\ne 1$ prin $\exists x\in \mathbb{Z},2x=1$. Identifică schimbarea nepermisă și corectează.

12. Adevărat sau fals? „Pe $D=\{-3,0,3\}$, negațiile propozițiilor $\forall x\in D,x^2>0$ și $\forall x\in D,x>0$ sunt ambele adevărate și au exact aceiași martori.” Motivează.

13. Neagă $\forall x\in \mathbb{R},x^2+11>0$ și justifică verdictul negației. (Exercițiu tip Bacalaureat M2.)

14. Neagă $\exists x\in \mathbb{R},8x-3=13$ și arată de ce negația este falsă. (Exercițiu tip Bacalaureat M2.)

15. Neagă „pentru orice real $x$, dacă $x>3$, atunci $2x>7$”. Verifică negația la $x=\frac{7}{2}$. (Exercițiu tip Bacalaureat M2.)

16. Un raport despre o seră afirmă: „În cel puțin una dintre cele șase ore de observație, umiditatea aerului a depășit $80\%$.” Jurnalul complet al celor șase ore arată, în ordine, $72\%$, $78\%$, $80\%$, $79\%$, $75\%$ și $77\%$. Scrie negația raportului și decide, cu justificare, care dintre cele două propoziții este adevărată. (Problemă aplicată.)

17. Pe domeniul U, V, W, perechile $(v(p),v(q))$ sunt $(1,0)$, $(1,1)$, $(0,0)$. Neagă afirmația că fiecare obiect verifică $p\Rightarrow q$ și indică un martor.

18. Domeniul are exact patru elemente. Negația propoziției „există un element care verifică $p$” este falsă. Primele trei elemente nu verifică $p$. Ce poți deduce despre al patrulea? (Provocare.)

Răspunsuri și explicații

1. $\exists x\in \mathbb{R},x\ge 17$. Martorul $x=17$ este admis și verifică egalitatea cu limita; nu trebuie să alegem neapărat un număr mai mare.

2. $\forall x\in \mathbb{R},6x-1\ne 8$. Am schimbat cuantificatorul și am negat egalitatea, fără să modificăm domeniul.

3. „Există cel puțin o plăcuță zgâriată între cele patru din cutie.” Negația respinge lipsa totală a unui astfel de obiect.

4. „Există cel puțin un capac din set care nu este fixat.” Nu afirmăm că toate capacele sunt nefixate.

5. Negația este $\exists x\in D,x^2\ge 20$. Este adevărată: $x=5$ aparține domeniului și $25\ge 20$.

6. „Fiecare număr din $D$ este impar.” Negația este adevărată: cele trei numere sunt impare, iar lista reprezintă întregul domeniu.

7. $\forall x\in \mathbb{R},(x\ge -7\wedge x\le 12)$. Respingerea disjuncției cere ambele comparații negate pentru fiecare valoare.

8. $\exists x\in \mathbb{R},(x<-1\vee x>6)$. Un singur eșec al condițiilor simultane ajunge pentru martorul negației.

9. „Există un număr natural divizibil cu paisprezece care nu este par.” Negația este falsă: din $n=14k$ rezultă $n=2(7k)$, deci paritatea este obligatorie.

10. $\forall x\in [2,9],(x-2)(x-9)\le 0$. Negația este adevărată: pentru $2\le x\le 9$, primul factor este nenegativ, iar al doilea este nepozitiv, deci produsul lor este cel mult zero. Capetele intervalului dau chiar zero, așa că nici ele nu pot servi drept martori ai existenței inițiale; originalul este fals.

11. Domeniul a fost schimbat nepermis. Forma corectă este $\exists x\in \mathbb{R},2x=1$, adevărată pentru $x=\frac{1}{2}$. Această valoare nu este întreagă.

12. Fals. Ambele negații sunt adevărate, dar martorii diferă. Prima negație cere $x^2\le 0$ și are un singur martor, zero. A doua cere $x\le 0$ și are doi martori, $-3$ și $0$. Numărul $-3$ infirmă a doua universală, dar nu și pe prima, fiindcă pătratul lui este nouă, un număr pozitiv.

13. $\exists x\in \mathbb{R},x^2+11\le 0$. Negația este falsă: pentru fiecare real, expresia este cel puțin unsprezece, deci strict pozitivă.

14. $\forall x\in \mathbb{R},8x-3\ne 13$. Numărul doi infirmă această universală, deoarece $8\cdot 2-3=13$. Originalul este adevărat.

15. $\exists x\in \mathbb{R},(x>3\wedge 2x\le 7)$. La $x=\frac{7}{2}$, prima comparație este adevărată și $2x=7$, deci negația este adevărată.

16. Negația: „În fiecare dintre cele șase ore, umiditatea a fost cel mult $80\%$.” Jurnalul acoperă toate orele despre care vorbește raportul, iar fiecare valoare este cel mult optzeci; ora cu exact $80\%$ nu depășește pragul, fiindcă „a depășit” cere o valoare strict mai mare. Negația este adevărată, iar raportul este fals. Concluzia privește numai cele șase ore înregistrate.

17. Negația cere un obiect care verifică $p\wedge \neg q$. U este martorul, având valorile unu și zero. W nu încalcă implicația, deoarece ipoteza sa este falsă.

18. Al patrulea verifică $p$. Dacă negația existenței este falsă, existența este adevărată; cum primele trei posibilități au fost excluse, rămâne obligatoriu ultima.

De reținut

• La negare se schimbă cuantificatorul și se neagă întreaga condiție.
• Domeniul, obiectele și sensul datelor se păstrează.
• Martorul negației unei universale este un contraexemplu pentru original.
• Negarea unei existențe cere excluderea tuturor valorilor admise.
• O formă logică bine scrisă nu este automat o afirmație adevărată.

Greșeli frecvente

• Mutarea căutării în alt domeniu. Verifică apartenența martorului la mulțimea scrisă inițial.
• Folosirea formulei negate drept verdict. După rescriere, mai este nevoie de date sau de un argument pentru adevăr.
• Excluderea existenței după numai o parte a listei. Precizează dacă verificările acoperă toate obiectele.
• Schimbarea negației unui caz punctual într-o existență. O propoziție despre valoarea fixată se neagă pentru aceeași valoare.
• Negarea corectă a cuantificatorului, dar greșită a blocului. Lucrează separat cu operatorul interior și verifică fiecare componentă.

Aplică acasă

1. Construiește o listă de patru valori aflate aproape de un prag. Scrie o afirmație universală, negația ei și marchează exact valorile care pot fi martori ai negației.
2. Scrie o soluție imaginară în care un coleg folosește un martor din afara domeniului. Repară justificarea fără să schimbi problema; dacă nu există martor admis, explică acest lucru.
3. Pregătește patru bilețele cu verdicte ale aceleiași proprietăți și întoarce-le pe rând. Notează momentul în care ai suficiente informații pentru fiecare dintre cele două propoziții cuantificate și pentru negațiile lor.

Pentru părinți și profesori

Cereți elevului să anunțe întâi ce trebuie să găsească: un singur martor sau un argument pentru toate valorile. Urmăriți dacă păstrează domeniul și dacă verifică partea interioară a enunțului, mai ales atunci când aceasta conține două condiții. Un tabel parțial este util pentru a vedea dacă elevul deosebește informația insuficientă de un verdict fals.

Pentru discutarea unei rezolvări greșite, localizați prima abatere. Dacă domeniul a fost schimbat, nu este util să începeți cu refacerea aritmeticii de la final. Dacă forma negației este corectă, dar martorul nu o verifică, păstrați partea bună și cereți controlul valorii alese. Elevul învață astfel să distingă redactarea logică de evaluarea numerică și poate repara exact pasul care nu susține concluzia.

Programa și examenul. Cuantificatorii și regulile de negare sunt prevăzute în Anexa 28 la OMEC nr. 6930/2025, aplicată progresiv din 2026–2027, și în domeniul Algebră pentru MAT_P2 din 2030. Programa de Bacalaureat M2 pentru 2027–2029, stabilită prin OMEN nr. 4430/2014, include predicate, cuantificatori și operații logice. Modelul oficial pentru 2026 nu conține o cerință separată de negare a cuantificatorilor; exemplele lecției formează deprinderi de justificare.

Pentru consolidare, folosiți testul de logică matematică și metode de demonstrație M2. Versiunea pentru mate-info (M1) a acestei lecții: negarea propozițiilor cu cuantificatori include dezvoltări suplimentare; aici sunt suficiente un cuantificator exterior și condiții simple ori compuse deja explicate.

Întrebări frecvente

Pot construi negația înainte să găsesc o valoare potrivită?

Da. Forma negației rezultă din structura enunțului, nu din succesul căutării unui martor. Păstrezi domeniul, schimbi cuantificatorul și negi condiția. După aceea verifici adevărul noii propoziții. Dacă negația este existențială și nu are niciun martor admis, ea este falsă și originalul adevărat. Dacă negația este universală, adevărul ei cere un argument care acoperă întregul domeniu; un singur caz favorabil nu ajunge.

Ce verific prima dată într-o soluție redactată de un coleg?

Compară domeniul din prima linie cu domeniul propoziției inițiale. Verifică apoi dacă schimbarea cuantificatorului este însoțită de negarea întregii condiții. La un martor propus, controlează apartenența înainte de calcul. Această ordine te ajută să localizezi eroarea, fără să respingi o rezolvare numai pentru că folosește alt exemplu decât al tău.

De ce un tabel parțial poate încheia o problemă, dar nu alta?

Unele concluzii cer numai un caz admis, iar altele cer întregul domeniu. Dacă ai găsit deja o excepție, poți confirma negația unei universale. Pentru a confirma că nu există niciun caz favorabil, trebuie excluse și obiectele neverificate. Citește cuantificatorul din propoziția pe care o demonstrezi, nu numai pe cel din original.

Cum desfac o condiție compusă fără să pierd cadrul cuantificării?

Scrie mai întâi noul cuantificator cu același domeniu și pune negația în fața predicatului întreg. Pe rândul următor aplică regula operatorului interior. Păstrează aceeași variabilă în toate componentele. Astfel vezi separat schimbarea întinderii afirmației și schimbarea condiției pe care trebuie să o verifice fiecare valoare.

Ce păstrează lecția M2 din temă, comparativ cu dezvoltările M1?

Păstrăm negarea universalului și existențialului, condițiile numerice, De Morgan și implicațiile cu ipoteză precisă. Exemplele folosesc un singur cuantificator exterior, fără alternări succesive sau definiții de analiză. Față de dezvoltările din M1, accentul este pe domeniu, date finite și explicația completă a unui martor admis.

Tema are o poziție fixă în subiectele de Bacalaureat M2?

Te ajută să înțelegi exact ce respinge o afirmație și ce trebuie demonstrat într-o justificare. Programa include cuantificatorii, însă nu le fixează o poziție separată în subiect. Modelul oficial pentru 2026 nu cere explicit negarea lor. Exercițiile marcate aici sunt antrenamente proprii pentru citirea condițiilor și construirea argumentelor.