A10 - Cuantificatori și negarea propozițiilor

Ideea lecției

Cuantificatorii spun „cît de multe” elemente trebuie să satisfacă o proprietate. \(\\forall\) înseamnă „pentru orice”, iar \(\exists\) înseamnă „există cel puțin unul”. Negarea corectă schimbă simultan cuantificatorul și proprietatea.

În această lecție lucrăm intenționat în pași mici: mai întâi sensul noțiunii, apoi regula, apoi metoda de aplicare. Scopul este să poți explica de ce funcționează o transformare, nu doar să reproduci o formulă.

Noțiuni-cheie

  • \(\forall x\in A\;P(x)\) se citește „pentru orice \(x\) din \(A\), proprietatea \(P(x)\) este adevărată”.
  • \(\exists x\in A\;P(x)\) se citește „există cel puțin un \(x\) din \(A\) pentru care \(P(x)\) este adevărată”.
  • Negarea lui \(\forall x\,P(x)\) este \(\exists x\,\neg P(x)\); negarea lui \(\exists x\,P(x)\) este \(\forall x\,\neg P(x)\).

Reguli și legături importante

  • „Nu toate” înseamnă „există cel puțin una care nu”.
  • „Nu există niciun” înseamnă „pentru toate, proprietatea nu este verificată”.
  • La negarea unei inegalități: \(\neg(x>3)\) înseamnă \(x\le3\), nu doar \(x<3\).

Înțelegere pas cu pas

  1. Pasul 1. Identifică cuantificatorul exterior.
  2. Pasul 2. Înlocuiește \(\\forall\) cu \(\exists\) sau invers.
  3. Pasul 3. Neagă proprietatea din interior, inclusiv egalitățile/inegalitățile.
  4. Pasul 4. Recitește enunțul în limbaj obișnuit pentru a verifica sensul.

Exemplu rezolvat lent

Problemă. Neagă: „Pentru orice \(x\in\mathbb R\), \(x^2\ge0\)”.

Pasul 1. Cuantificatorul universal \(\forall\) devine existențial \(\exists\).

Pasul 2. Negăm condiția \(x^2\ge0\), obținînd \(x^2<0\).

Pasul 3. Negarea este: „Există \(x\in\mathbb R\) astfel încît \(x^2<0\)”.

Concluzie. Negarea este falsă, ceea ce confirmă că propoziția inițială este adevărată.

Greșeală frecventă

Nu nega doar propoziția din interior și nu lăsa cuantificatorul neschimbat.

Verificare rapidă

  • Ce înseamnă \(\forall\)?
    Vezi răspunsul

    „Pentru orice” sau „pentru toate”.

  • Negarea lui \(x\ge2\) este?
    Vezi răspunsul

    \(x<2\).

  • Negarea lui „există un \(x\) cu \(P(x)\)” începe cu?
    Vezi răspunsul

    „Pentru orice \(x\), nu \(P(x)\)”.

Exerciții

1
Neagă \(x>5\).
2
Neagă „pentru orice \(x\), \(P(x)\)”.
3
Neagă „există \(x\in\mathbb R\) cu \(x^2=-1\)”.
4
Ce înseamnă \(\forall\)?
5
Negarea lui \(x\ge2\) este?
6
Negarea lui „există un \(x\) cu \(P(x)\)” începe cu?
7
Rezolvă fără a consulta exemplul-model: Neagă: „Pentru orice \(x\in\mathbb R\), \(x^2\ge0\)”.
8
Scrie, în ordinea corectă, pașii metodei de lucru pentru tipul de problemă studiat în această lecție.
9
Un elev ignoră următoarea atenționare: „Nu nega doar propoziția din interior și nu lăsa cuantificatorul neschimbat.” Este metoda elevului sigură în toate cazurile?
10
Formulează regula/definiția centrală a lecției într-o propoziție matematică precisă.
Înapoi Următor