Teoria demonstratiei: demonstratii directe, indirecte (reductio ad absurdum), conditionalizare

Teoria demonstratiei, o ramura fundamentala a logicii, se ocupa cu studiul metodelor prin care putem stabili validitatea unei concluzii pe baza unor premise. In rationamentul formal, o demonstratie (sau proba) este un sir finit de propozitii, fiecare fiind fie o premisa, fie derivata din propozitiile anterioare prin reguli de inferenta bine definite. Scopul este de a arata ca o concluzie urmeaza in mod necesar din ipoteze.

Exista trei metode principale de demonstratie, esentiale pentru pregatirea Bacalaureatului si pentru dezvoltarea gandirii critice:

1. Demonstratia directa: Pornind de la premise, se aplica reguli de inferenta (modus ponens, modus tollens, silogismul etc.) pentru a ajunge pas cu pas la concluzie. De exemplu, daca stim ca 'Daca ploua, atunci strada este udata' si 'Ploua', atunci direct concluzionam 'Strada este udata'. Este cea mai intuitiva metoda.

1. Demonstratia indirecta (reductio ad absurdum): Se presupune falsitatea concluziei (sau negarea ei) si, prin rationamente valide, se ajunge la o contradictie cu premisele sau cu un adevar cunoscut. Aceasta contradictie arata ca presupunerea initiala este falsa, deci concluzia este adevarata. De exemplu, pentru a demonstra ca √2 este irational, presupunem ca este rational, ceea ce duce la o contradictie matematica.

1. Conditionalizarea (introducerea conditiei): Este o tehnica prin care, pentru a demonstra un enunt conditional (daca P, atunci Q), se presupune temporar antecedentul P ca ipoteza suplimentara si se incearca derivarea consecventului Q. Daca reusim, putem concluziona 'Daca P, atunci Q' fara a mai depinde de P. Aceasta metoda este foarte utila in demonstratiile matematice.

Aceste metode nu sunt doar abstractii: ele modeleaza modul in care gandim in stiinta, in matematica si in viata de zi cu zi. In lectia de fata, vom explora fiecare metoda prin exemple concrete si exercitii structurate, punand accent pe claritatea pasilor si pe evitarea erorilor logice.

Exemple

• Exemplul 1 (demonstratie directa): Sa se demonstreze ca, daca un numar intreg n este par, atunci n^2 este par.

Demonstratie: Presupunem ca n este par, deci n = 2k pentru un intreg k. Atunci n^2 = (2k)^2 = 4k^2 = 2(2k^2), care este de forma 2 * (un intreg), deci n^2 este par. Concluzia este obtinuta direct din definitia paritatii.

• Exemplul 2 (demonstratie indirecta - reductio ad absurdum): Sa se demonstreze ca √2 este irational.

Demonstratie: Presupunem, prin absurd, ca √2 este rational, deci √2 = a/b, unde a si b sunt numere intregi, coprime, b ≠ 0. Atunci 2 = a^2/b^2, deci a^2 = 2b^2. Rezulta ca a^2 este par, deci a este par.

Scriem a = 2c, atunci (2c)^2 = 2b^2 => 4c^2 = 2b^2 => 2c^2 = b^2. Deci b^2 este par, deci b este par. Astfel, a si b sunt ambele pare, ceea ce contrazice presupunerea ca sunt coprime.

Prin urmare, presupunerea initiala este falsa, deci √2 este irational.

• Exemplul 3 (conditionalizare): Sa se demonstreze, prin conditionalizare, ca: daca x > 2, atunci x^2 > 4.

Demonstratie: Presupunem temporar ipoteza x > 2. Inmultind ambii membri ai inegalitatii cu x (care este pozitiv, deoarece x > 2 > 0), obtinem x * x > 2 * x, adica x^2 > 2x. Deoarece x > 2, avem 2x > 4. Prin tranzitivitate, x^2 > 4. Astfel, sub ipoteza x > 2, am derivat concluzia x^2 > 4. Prin conditionalizare, putem afirma 'Daca x > 2, atunci x^2 > 4'.

Concepte cheie: Demonstratie directa, Reductio ad absurdum (demonstratie indirecta), Conditionalizare (introducerea conditiei), Reguli de inferenta (modus ponens, modus tollens), Contradictie, Propozitii coprimate (numere coprime)