Demonstratii si scheme de deductie

Demonstratia in logica matematica este un sir finit de propozitii (enunturi bine formate) in care fiecare propozitie fie este o axioma, fie este o ipoteza, fie este obtinuta din propozitii anterioare prin aplicarea unei reguli de inferenta. Scopul demonstratiei este de a stabili validitatea unei concluzii pe baza premiselor, intotdeauna in mod riguros si fara erori. Schemele de deductie sunt tipare general-valabile care permit trecerea de la un set de premise la o concluzie.

Cele mai importante scheme sunt: modus ponens (daca p → q si p sunt adevarate, atunci q este adevarata), modus tollens (daca p → q si ¬q sunt adevarate, atunci ¬p este adevarata), silogismul hipotetic (daca p → q si q → r, atunci p → r), silogismul disjunctiv (daca p ∨ q si ¬p, atunci q), si reductio ad absurdum (daca o presupunere duce la o contradictie, atunci presupunerea este falsa). In contextul liceului (clasele 9-12 si Bacalaureat), se pune accent pe aplicarea acestor scheme in probleme de tip „dati seama daca argumentul este valid” sau in constructia de demonstratii pas cu pas. De exemplu, pentru a demonstra ca o afirmatie A implica B, putem presupune A si folosi reguli de deductie pentru a deriva B.

De asemenea, notiunea de consistenta a unui set de propozitii este importanta: un set este consistent daca nu exista o demonstratie care sa derive o contradictie din el. In demonstratiile formale, se folosesc adesea tabele de adevar pentru a verifica tautologii, dar schemele de deductie ofera o cale mai rapida si mai eleganta. Elevii trebuie sa inteleaga ca o demonstratie corecta nu depinde de adevarul factual al premiselor, ci doar de respectarea regulilor logice.

De exemplu, daca premisele sunt false dar structura deductiva este valida, demonstratia este totusi corecta din punct de vedere formal. In plus, se studiaza notiunea de derivare: un sir de propozitii in care fiecare pas este justificat (de exemplu, prin aplicarea modus ponens sau prin introducerea unei ipoteze). Pentru Bacalaureat, problemele tipice implica identificarea schemei de deductie intr-un enunt, completarea unui sir deductiv cu pasii lipsa, sau demonstrarea validitatii unui argument folosind reguli simple.

Exemple

• Exemplul 1: Modus Ponens. Se dau premisele: (1) Daca ploua, atunci strada este udata. (2) Ploua. Concluzia: Strada este udata. Demonstratie: Notam P = 'ploua', Q = 'strada este udata'. Avem P → Q si P. Aplicam modus ponens: din P si P → Q obtinem Q. Asadar demonstratia este: 1. P (premisa), 2. P → Q (premisa), 3. Q (modus ponens 1,2).
• Exemplul 2: Modus Tollens. Premise: (1) Daca un numar este par, atunci este divizibil cu 2. (2) Numarul n nu este divizibil cu 2. Concluzia: n nu este par. Fie P = 'n este par', Q = 'n este divizibil cu 2'. Avem P → Q si ¬Q. Aplicam modus tollens si obtinem ¬P. Pasii: 1. P → Q, 2. ¬Q, 3. ¬P (modus tollens 1,2).
• Exemplul 3: Silogismul disjunctiv si reductio ad absurdum. Premise: (1) Sau Ion merge la cinema, sau la teatru. (2) Ion nu merge la cinema. Concluzia: Ion merge la teatru. Fie C = 'Ion merge la cinema', T = 'Ion merge la teatru'. Premise: C ∨ T si ¬C. Aplicam silogismul disjunctiv: din C ∨ T si ¬C rezulta T. Alternativ, putem face o reductio: presupunem ca ¬T (nu merge la teatru). Atunci din C ∨ T si ¬T rezulta C (prin silogismul disjunctiv), dar avem ¬C, contradictie. Deci presupunerea ¬T este falsa, deci T.

Concepte cheie: Modus ponens, Modus tollens, Silogism hipotetic, Silogism disjunctiv, Reductio ad absurdum, Validitate vs. adevar, Demonstratie formala, Reguli de inferenta