Adevăr și validitate la BAC: diferența explicată

Adevărul privește propozițiile, iar validitatea privește legătura dintre premise și concluzie într-un argument deductiv. O propoziție poate fi adevărată sau falsă. Un argument deductiv este valid dacă nu există o situație în care toate premisele sale sunt adevărate și concluzia este falsă.

La BAC, această diferență te ajută să eviți o eroare importantă: să declari valid un argument doar fiindcă îi recunoști concluzia ca adevărată. Concluzia trebuie să rezulte din premise. Faptul că este adevărată din alte motive nu dovedește corectitudinea trecerii logice.

Schema distincției

Ce evaluăm	Întrebarea potrivită	Termeni utilizați
O propoziție	Corespunde situației analizate?	Adevărată sau falsă
Un argument deductiv	Este imposibil ca premisele adevărate să ducă la concluzie falsă?	Valid sau nevalid
Un argument valid cu premise adevărate	Sunt îndeplinite și forma corectă, și premisele?	Concluzia este garantat adevărată

În limbajul obișnuit, „argument adevărat” poate fi folosit vag. Într-o rezolvare de logică, formulează precis: propozițiile au valori de adevăr, iar inferența are sau nu are validitate. Precizia vocabularului face explicația verificabilă.

Argument valid cu premise adevărate

„Toți multiplii de patru sunt numere pare. Toți multiplii de opt sunt multipli de patru. Prin urmare, toți multiplii de opt sunt numere pare.” În universul numerelor întregi, premisele sunt adevărate.

Structura este MaP, SaM, deci SaP, cu M = multipli de patru, S = multipli de opt și P = numere pare. Includerea lui S în M și a lui M în P garantează includerea lui S în P. Argumentul este valid, iar premisele adevărate garantează concluzia adevărată.

Observă că validitatea nu depinde de numerele concrete folosite. Dacă înlocuim clasele cu alte clase păstrând aceeași structură, concluzia continuă să fie necesară ori de câte ori premisele sunt adevărate.

Argument valid cu premise false

Construim un exemplu deliberat: „Toate cercurile sunt pătrate. Toate triunghiurile sunt cercuri. Prin urmare, toate triunghiurile sunt pătrate.” În geometria obișnuită, premisele și concluzia sunt false.

Structura este însă aceeași: MaP, SaM, deci SaP. Dacă premisele ar fi adevărate într-o interpretare, concluzia ar trebui să fie adevărată. De aceea, forma argumentului este validă, chiar dacă propozițiile concrete alese sunt false în interpretarea geometrică obișnuită.

Nu înseamnă că acceptăm premisele false ca descrieri ale geometriei. Separăm două întrebări: ce spun propozițiile despre obiecte și dacă legătura formală dintre ele conservă adevărul. Validitatea singură nu dovedește adevărul premiselor.

Argument nevalid cu concluzie adevărată

„Toate pătratele sunt dreptunghiuri. Toate pătratele sunt patrulatere. Prin urmare, toate dreptunghiurile sunt patrulatere.” În geometria obișnuită, toate cele trei propoziții sunt adevărate. Totuși, concluzia nu rezultă numai din structura celor două premise.

Schema este MaS, MaP, deci SaP. Premisele spun că o clasă M este inclusă atât în S, cât și în P. Nu spun că fiecare S este P. Modelul M = {1}, S = {1, 2}, P = {1} are premisele adevărate și concluzia falsă din cauza elementului 2.

Așadar, argumentul concret are o concluzie adevărată, cunoscută din geometrie, dar forma sa este nevalidă. Pentru a demonstra acea concluzie, ai nevoie de alte premise sau de altă structură. Adevărul rezultatului nu repară o justificare defectuoasă.

Combinația interzisă pentru validitate

Un argument valid nu poate avea toate premisele adevărate și concluzia falsă. Aceasta este singura combinație exclusă de validitate. Dacă cel puțin o premisă este falsă, validitatea nu stabilește singură dacă concluzia concretă va fi adevărată sau falsă.

De exemplu, o structură validă poate porni de la premise false și poate avea întâmplător concluzie adevărată. Nu deduce „premise false, deci concluzie falsă”. Conservarea adevărului nu este o regulă care obligă orice falsitate să se transmită concluziei.

În verificare, caută simultan adevărul tuturor premiselor. Un model cu o premisă adevărată, una falsă și concluzie falsă nu este un contraexemplu la validitate. Premisa falsă face ca testul decisiv să nu fie îndeplinit.

De ce un singur contraexemplu este suficient

Validitatea afirmă că nu există niciun caz cu premise adevărate și concluzie falsă. Un singur model de acest tip infirmă afirmația universală. Nu trebuie să demonstrezi că argumentul greșește în toate situațiile.

În schimb, un exemplu favorabil nu dovedește validitatea. Dacă găsești o situație în care premisele și concluzia sunt adevărate, ai verificat doar acel caz. Pentru o dovadă generală, folosești o regulă validă, legile silogismului sau o metodă adecvată formei argumentului.

Această asimetrie explică de ce modelele mici sunt atât de utile. Ele pot respinge rapid o inferență suspectă fără să presupună cunoștințe speciale despre subiectul ei. Dar o colecție de exemple favorabile nu înlocuiește demonstrația formei.

Exerciții originale și rezolvări

1. Un argument are concluzie adevărată. Este automat valid? Nu. Trebuie verificat dacă premisele garantează concluzia. Exemplul cu pătrate, dreptunghiuri și patrulatere arată o concluzie adevărată într-o schemă nevalidă.

2. Un argument valid are toate premisele adevărate. Ce știm despre concluzie? Este adevărată. Dacă ar fi falsă, am avea exact combinația pe care validitatea o exclude. Această garanție cere ambele condiții: formă validă și premise adevărate.

3. Un argument are o premisă falsă și concluzie falsă. Poți declara forma nevalidă? Nu numai din aceste valori. O formă validă poate avea asemenea interpretări. Trebuie analizată legătura sau găsit un model cu toate premisele adevărate și concluzia falsă.

4. Pentru MaS, MaP, deci SaP, construiește un contraexemplu. M = {a}, S = {a, b}, P = {a}. Ambele premise sunt adevărate, fiindcă a este în S și P. Concluzia este falsă, fiindcă b este S și nu este P.

Pentru autocorectare, rescrie verdictul într-o propoziție completă: „Schema este nevalidă deoarece modelul ales face toate premisele adevărate și concluzia falsă”. Această formulare te obligă să verifici exact criteriul decisiv. Dacă nu poți indica modelul sau regula formală, verdictul are încă nevoie de justificare.

Întrebări frecvente

O propoziție poate fi „validă”?

În această lecție despre argumente categorice, folosim adevărat sau fals pentru propozițiile concrete și valid sau nevalid pentru inferențe. Alte capitole pot utiliza termeni tehnici suplimentari, dar nu trebuie amestecate fără explicație.

Cum aplic distincția la exerciții?

Separă pe ciornă valorile propozițiilor de forma argumentului. Exersează pe subiecte BAC, folosește învățarea prin explicații și, dacă ai nevoie, cere feedback unui profesor de logică.

Reper de programă

Analiza argumentelor deductive este inclusă în programa oficială. Exemplele sunt originale, iar documentele sesiunii tale stabilesc evaluarea aplicabilă.