Teza
Propoziția al cărei adevăr trebuie stabilit.
← Înapoi la Logică
BacHub • Logică
Demonstrația
Învață cum se fundamentează adevărul unei teze, cum deosebești demonstrația directă de cea indirectă și cum depistezi erorile dintr-o demonstrație.
Noțiunea de bază
Ce este demonstrația?
Demonstrația este procedeul logic prin care stabilim adevărul unei teze pornind de la un fundament acceptat și folosind inferențe corecte. Nu este suficient ca teza să fie adevărată: trebuie arătat cum rezultă ea din premise.
Fundamentul
Propozițiile acceptate pe care se sprijină demonstrația.
Procedeul
Pașii inferențiali care leagă fundamentul de teză.
Deosebire importantă: argumentarea este activitatea mai largă de a susține sau respinge o idee; demonstrația urmărește să fundamenteze adevărul tezei prin premise acceptate și un procedeu corect. Un argument poate fi relevant fără să ofere o demonstrație deductivă completă.
Două căi de justificare
Demonstrație directă și indirectă
Derivare din premise
Demonstrația directă
Teza este dedusă din fundament printr-o succesiune de pași inferențiali corecți.
P1: Toți multiplii lui 4 sunt pari.
P2: 12 este multiplu de 4.
Teza: 12 este par.
Aplicăm regula generală cazului 12; dacă premisele sunt adevărate, teza rezultă necesar.
Reducere la absurd
Demonstrația indirectă
Presupunem negația tezei și arătăm că, împreună cu premisele acceptate, ea conduce la o contradicție.
Teza: nu există un cel mai mare număr natural.
Presupunere opusă: există un cel mai mare număr natural n.
Consecință: n + 1 este tot natural și este mai mare decât n.
Contradicție: n nu poate fi cel mai mare.
Negația se respinge, iar teza inițială este susținută.
Contradicția trebuie să fie logică, nu doar o consecință improbabilă, neobișnuită sau greu de acceptat.
Directă: premisele conduc la teză.
Indirectă: negația tezei conduce la contradicție.
Condiții de corectitudine
Reguli pentru o demonstrație
Verifică separat propoziția de demonstrat, premisele și legătura inferențială. O problemă într-una dintre aceste componente compromite demonstrația.
Reguli pentru teză
- Formuleaz-o clar și fără ambiguități.
- Păstreaz-o aceeași pe tot parcursul demonstrației.
- Evită o teză contradictorie sau imposibil de determinat în context.
Reguli pentru fundament
- Folosește premise adevărate sau acceptate în cadrul stabilit.
- Asigură-te că premisele sunt relevante și suficiente pentru teză.
- Nu presupune teza în fundament; evită circularitatea.
Reguli pentru procedeu
- Folosește pași inferențiali corecți și expliciți.
- Nu introduce premise ascunse fără justificare.
- În reducerea la absurd, derivă o contradicție autentică.
Acceptabilitate
Sunt premisele adevărate sau admise în cadrul demonstrației?
Relevanță și suficiență
Susțin premisele teza și oferă destul sprijin pentru ea?
Corectitudinea inferenței
Urmează teza din premise conform regulii folosite?
Analiză critică
Găsește eroarea
Fiecare exemplu indică o problemă posibilă în teză, fundament sau procedeu. Distinge între o inferență nevalidă și premise neacceptate.
1. Circularitate
Fundament„Teza: 12 este par. «Demonstrație: 12 este par, deci teza este adevărată.»”
Concluzia este repetată ca premisă. Nu se oferă un fundament independent care să susțină teza.
2. Schimbarea tezei
Teză„Teza inițială: toate păsările pot zbura. La final se concluzionează doar că vrăbiile pot zbura.”
Chiar dacă afirmația despre vrăbii ar fi demonstrată, ea nu stabilește teza mai generală despre toate păsările.
3. Premisă neacceptată
Fundament„«Toți elevii care repetă lecția iau nota 10. Mara a repetat lecția. Deci Mara ia nota 10.»”
Forma ar fi validă dacă premisele ar fi adevărate, dar prima premisă este nejustificată și exagerat de generală. Validitatea formei nu repară un fundament fals sau neacceptat.
4. Premisă irelevantă
Fundament„«Pământul se rotește în jurul Soarelui. Deci 2 + 2 = 4.»”
Ambele propoziții sunt adevărate, însă premisa nu oferă sprijin pentru teză. Adevărul separat nu este demonstrație.
5. Inferență nevalidă
Procedeu„«Dacă plouă, strada este udă. Strada este udă. Deci plouă.»”
Strada se poate uda și din alte cauze. Din consecință nu rezultă automat antecedentul; procedeul inferențial este incorect.
6. Contradicție doar aparentă
Procedeu indirect„«Presupunem că numărul n este impar. Atunci n nu este divizibil cu 2. Am ajuns la ceva neașteptat, deci presupunerea este falsă.»”
Consecința este chiar compatibilă cu definiția numărului impar. Faptul că pare surprinzătoare nu o transformă în contradicție.
7. Echivocarea unui termen
Procedeu„«Banca este o instituție financiară. M-am așezat pe o bancă. Deci m-am așezat pe o instituție financiară.»”
Cuvântul «bancă» își schimbă sensul între premise și concluzie. Termenul nu este folosit univoc, deci inferența nu susține teza.
8. Probabilitate prezentată drept certitudine
Fundament și procedeu„«Trenul a ajuns la timp în ultimele șapte zile, deci va ajunge sigur la timp în fiecare zi viitoare.»”
Observațiile pot susține o concluzie probabilă, nu certitudinea formulată. Forța concluziei depășește forța fundamentului inductiv.
Aplică metoda
Exerciții rezolvate
Încearcă mai întâi să răspunzi, apoi deschide soluția pentru a compara analiza.
1.Identifică teza, fundamentul și procedeul: «Toți multiplii lui 4 sunt pari. 12 este multiplu de 4. Prin urmare, 12 este par.»Arată rezolvarea +
Teza: 12 este par. Fundamentul: toți multiplii lui 4 sunt pari; 12 este multiplu de 4. Procedeul: aplicarea regulii generale la cazul lui 12, printr-o inferență deductivă validă.
2.Este demonstrația directă? «Toate triunghiurile au trei laturi. Figura F este triunghi. Deci F are trei laturi.» Explică pașii.Arată rezolvarea +
Da. Fundamentul conține regula generală și faptul că F este triunghi. Din acestea se deduce direct teza «F are trei laturi».
3.Reconstruiește demonstrația directă: orice număr divizibil cu 10 este divizibil cu 5; 40 este divizibil cu 10.Arată rezolvarea +
Teza: 40 este divizibil cu 5. Fundament: orice număr divizibil cu 10 este divizibil cu 5; 40 este divizibil cu 10. Procedeu: instanțierea regulii generale pentru 40.
4.Într-o demonstrație indirectă a tezei «n nu este cel mai mare număr natural», ce presupui și ce contradicție obții?Arată rezolvarea +
Presupui negația tezei: există un cel mai mare număr natural n. Dar n + 1 este tot număr natural și este mai mare decât n. Asta contrazice presupunerea că n este cel mai mare; deci negația se respinge.
5.De ce nu este suficient să spui că o concluzie din demonstrația indirectă este «foarte improbabilă»?Arată rezolvarea +
Reducerea la absurd cere o contradicție logică derivată din negația tezei, nu doar o consecință rară, surprinzătoare sau improbabilă.
6.Analizează: «Toate mamiferele respiră. Balena este mamifer. Deci balena respiră.» Ce trebuie să verifici despre fundament și procedeu?Arată rezolvarea +
Verifici dacă premisele sunt acceptabile în context și dacă teza rămâne aceeași. Procedeul este o inferență deductivă validă: dacă ambele premise sunt adevărate, concluzia urmează.
7.Găsește problema: «Teza este că pătratul are patru laturi. Pătratul are patru laturi, deoarece orice pătrat are patru laturi.»Arată rezolvarea +
Enunțul general folosit ca fundament afirmă deja teza pentru toate pătratele. Dacă tocmai acesta era lucrul de demonstrat și nu este susținut independent, apare circularitatea.
8.Evaluează demonstrația: «Dacă un număr este multiplu de 8, este par. 14 este par. Deci 14 este multiplu de 8.»Arată rezolvarea +
Procedeul este nevalid: afirmă consecventul. Faptul că multiplii lui 8 sunt pari nu arată că orice număr par este multiplu de 8; 14 este un contraexemplu.
Pași de lucru
Cum verifici o demonstrație
- 1
Notează exact teza care trebuie demonstrată.
- 2
Identifică premisele și verifică dacă sunt acceptabile.
- 3
Urmărește fiecare pas inferențial, fără să sari peste justificări.
- 4
Verifică relevanța și suficiența fundamentului.
- 5
Caută circularitatea, echivocurile și schimbarea tezei.
- 6
Dacă raționamentul este indirect, cere o contradicție reală.
Recapitulare
Reține în 60 de secunde
Teza
Propoziția al cărei adevăr trebuie stabilit.
Fundamentul
Premisele acceptate care susțin teza.
Procedeul
Inferențele corecte dintre premise și teză.
Directă
Teza rezultă nemijlocit din fundament.
Indirectă
Negația tezei conduce la contradicție.
Reguli
Teză clară, premise acceptabile, inferență corectă.
Atenție
Nu confunda improbabilul cu imposibilul logic.
Control
Verifică acceptabilitatea, relevanța și suficiența.
Verificare rapidă
Verifică ce ai învățat
Alege un singur răspuns pentru fiecare item. După verificare vezi punctajul și explicațiile.