A09 - Propoziții matematice și valori de adevăr

Ideea lecției

Logica matematică ne obligă să distingem între o frază care poate fi adevărată sau falsă și una care nu are încă o valoare de adevăr. Această disciplină este esențială pentru demonstrații: înainte să demonstrăm ceva, trebuie să știm exact ce afirmăm.

Î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

  • O propoziție matematică este un enunț căruia i se poate atribui una dintre valorile „adevărat” sau „fals”.
  • Un enunț cu variabilă liberă, precum \(x+2=5\), nu are valoare de adevăr pînă nu precizăm \(x\) sau un cuantificator.
  • Un contraexemplu este suficient pentru a arăta că o afirmație universală este falsă.

Reguli și legături importante

  • Nu confunda întrebările sau comenzile cu propozițiile logice.
  • Pentru o afirmație universală, caută mai întîi un contraexemplu simplu înainte de a încerca o demonstrație lungă.
  • O propoziție adevărată rămîne adevărată indiferent de forma în care este reformulată echivalent.

Înțelegere pas cu pas

  1. Pasul 1. Identifică dacă enunțul are o valoare de adevăr bine determinată.
  2. Pasul 2. Dacă are, testează exemple simple și cazuri-limită.
  3. Pasul 3. Dacă pare universal adevărat, caută argumentul general.
  4. Pasul 4. Dacă găsești un singur contraexemplu, propoziția universală este falsă.

Exemplu rezolvat lent

Problemă. Analizează afirmația: „Pentru orice număr real \(x\), \(x^2\ge x\)”.

Pasul 1. Afirmația este universală, deci un contraexemplu ar fi suficient pentru a o respinge.

Pasul 2. Alegem \(x=\displaystyle\frac12\). Atunci \(x^2=\displaystyle\frac14<\displaystyle\frac12=x\).

Pasul 3. Am găsit un contraexemplu, deci afirmația este falsă.

Concluzie. Propoziția este falsă.

Greșeală frecventă

Mai multe exemple care confirmă o afirmație nu constituie automat o demonstrație; un singur contraexemplu însă este suficient pentru a respinge o afirmație universală.

Verificare rapidă

  • „\(2+3=5\)” este propoziție?
    Vezi răspunsul

    Da, și este adevărată.

  • „Rezolvă ecuația!” este propoziție logică?
    Vezi răspunsul

    Nu.

  • Ce poate respinge o afirmație universală?
    Vezi răspunsul

    Un singur contraexemplu valid.

Exerciții

1
Stabiliește valoarea de adevăr: „7 este număr prim”.
2
„\(x+1=4\)” fără precizarea lui x este propoziție cu valoare de adevăr fixă?
3
Dă un contraexemplu pentru „orice număr real are pătratul mai mare decît 1”.
4
„\(2+3=5\)” este propoziție?
5
„Rezolvă ecuația!” este propoziție logică?
6
Ce poate respinge o afirmație universală?
7
Rezolvă fără a consulta exemplul-model: Analizează afirmația: „Pentru orice număr real \(x\), \(x^2\ge x\)”.
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: „Mai multe exemple care confirmă o afirmație nu constituie automat o demonstrație; un singur contraexemplu însă este suficient pentru a respinge o afirmație universală.” Este metoda elevului sigură în toate cazurile?
10
Formulează regula/definiția centrală a lecției într-o propoziție matematică precisă.