Diagrame Venn la BAC: verificarea silogismelor

Metoda diagramelor Venn verifică un silogism prin reprezentarea premiselor și citirea concluziei din ceea ce este deja reprezentat. Nu desenezi concluzia ca informație nouă. Dacă ea apare obligatoriu după marcarea premiselor, argumentul este valid în interpretarea și condițiile utilizate.

La BAC, folosești trei cercuri care se intersectează, câte unul pentru S, P și M. Hașurarea marchează o regiune vidă, iar un X marchează existența unui element. Diferența dintre „nu există” și „nu știm dacă există” este esențială pentru rezolvare.

Cele opt regiuni ale universului

Trei clase împart universul în opt combinații de apartenență. Tabelul de mai jos este o hartă textuală exactă a regiunilor; îl poți folosi pentru a verifica desenul făcut pe ciornă. „Da” înseamnă apartenență, iar „nu” absență din clasa respectivă.

Regiune	În S?	În P?	În M?
1	Da	Da	Da
2	Da	Da	Nu
3	Da	Nu	Da
4	Da	Nu	Nu
5	Nu	Da	Da
6	Nu	Da	Nu
7	Nu	Nu	Da
8	Nu	Nu	Nu

Numerotarea este o convenție a acestei lecții, nu o numerotare obligatorie în bareme. Important este să identifici corect combinațiile. Cercurile nu trebuie să aibă suprafețe proporționale cu efectivele claselor; metoda reprezintă relații logice, nu cantități statistice.

Cum reprezinți cele patru forme

Pentru SaP, hașurezi partea lui S aflată în afara lui P. În tabel, regiunile 3 și 4 sunt vide. Pentru SeP, hașurezi intersecția S cu P, adică regiunile 1 și 2.

Pentru SiP, plasezi un X în intersecția S cu P. Dacă nu știi dacă elementul este M, nu alegi arbitrar între regiunile 1 și 2; marchezi incertitudinea pe granița lor. Pentru SoP, X se află în S din afara lui P, între regiunile 3 și 4 când apartenența la M este necunoscută.

O regiune nehașurată nu este automat nevidă. Ea este doar permisă de informația disponibilă. Dacă adaugi un X într-o regiune numai fiindcă este liberă, introduci o existență care poate să nu rezulte din premise.

Exemplu valid: AAA-1

Schema este MaP, SaM, deci SaP. Din MaP, hașurăm partea lui M din afara lui P: regiunile 3 și 7. Din SaM, hașurăm partea lui S din afara lui M: regiunile 2 și 4.

Concluzia SaP cere ca partea lui S din afara lui P să fie vidă. Aceasta este formată din regiunile 3 și 4. Ambele sunt deja hașurate prin premise, deci concluzia este reprezentată fără nicio adăugare. Silogismul este valid.

Nu este nevoie de un X pentru această concluzie universală. Metoda arată includerea lui S în P. Dacă S ar fi vid într-o interpretare modernă, concluzia universală ar rămâne respectată; nu am afirmat existența unor S.

Exemplu valid cu o particulară: AII-1

Schema este MaP, SiM, deci SiP. Mai întâi reprezentăm universala MaP, hașurând regiunile 3 și 7. Apoi SiM cere un element în intersecția S cu M, adică în regiunea 1 sau 3.

Regiunea 3 este deja vidă, deci X trebuie plasat în regiunea 1. Acolo elementul aparține atât lui S, cât și lui P. Concluzia SiP este astfel garantată de același X, iar schema este validă.

Ordinea de lucru, universala înaintea particularei, ajută la plasarea exactă a existenței. Dacă marchezi particulara prima, trebuie să revii după hașurare și să restrângi poziția posibilă a lui X. Nu lăsa un X într-o regiune declarată vidă.

Exemplu nevalid: AAA-2

Schema este PaM, SaM, deci SaP. Din PaM, hașurăm partea lui P din afara lui M: regiunile 2 și 6. Din SaM, hașurăm partea lui S din afara lui M: regiunile 2 și 4.

Concluzia SaP ar cere hașurarea regiunilor 3 și 4. Regiunea 4 este vidă, dar regiunea 3 a rămas permisă. Premisele nu exclud un S care este M și nu este P. Concluzia nu este garantată, deci schema este nevalidă.

Poți construi un contraexemplu plasând un element în regiunea 3 și, dacă dorești clasele nevide, un alt element în regiunea 5. Toate elementele S și P sunt M, dar elementul din regiunea 3 infirmă includerea lui S în P.

Existența în interpretarea tradițională

Două premise universale hașurează regiuni, dar nu introduc singure un X în interpretarea modernă. Dacă urmărești o concluzie particulară într-un mod tradițional cu import existențial, trebuie să precizezi ce clasă este presupusă nevidă.

De exemplu, din MaP și MaS, cu M nevid, rezultă SiP. Existența unui M îl plasează în intersecția S cu P, deoarece ambele universale îi exclud celelalte poziții. Fără existența lui M, cercul poate fi gol și particulara nu rezultă.

Nu adăuga un X doar pentru că „în manual se obține o particulară”. Explică presupunerea existențială care autorizează marcarea lui. Astfel, metoda rămâne coerentă și poți distinge convenția tradițională de lectura fără import existențial.

Greșeli de desen și interpretare

O hașurare trebuie să acopere întreaga regiune cerută, inclusiv porțiunile tăiate de al treilea cerc. Pentru SaP, nu hașura doar partea vizibilă din afara ambelor P și M; trebuie exclusă toată zona S din afara lui P.

Un X aflat pe o graniță exprimă incertitudine între două regiuni, nu două obiecte diferite. Două premise particulare pot cere două existențe distincte; nu le uni într-un singur X fără justificare. Această confuzie poate face să pară valid un silogism nevalid.

În final, citește concluzia fără să modifici desenul. Dacă mai trebuie să hașurezi o zonă sau să adaugi un X pentru a obține concluzia, acea informație nu era încă garantată de premise.

Exerciții originale și soluții

1. Ce regiuni sunt vide pentru SeP în tabelul lecției? 1 și 2, deoarece ambele aparțin simultan lui S și P. Apartenența la M nu schimbă interdicția de intersecție dintre S și P.

2. Pentru MaP și SiM, unde ajunge X? În regiunea 1. MaP exclude regiunea 3, iar SiM permite inițial 1 sau 3. Rămâne numai 1, care justifică SiP.

3. O regiune nehașurată conține obligatoriu un element? Nu. Ea poate fi goală sau nevidă. Existența trebuie afirmată de o particulară sau introdusă printr-o presupunere explicită justificată în interpretarea utilizată.

4. De ce nu desenăm concluzia înaintea verificării? Am introduce ca dată tocmai informația care trebuie demonstrată. Metoda cere reprezentarea premiselor și citirea consecinței din ele, fără completări inspirate de rezultatul dorit.

Întrebări frecvente

Coperta poate fi folosită drept diagramă de rezolvare?

Nu. Coperta este o ilustrație conceptuală. Pentru rezolvare, construiește cercurile și marcajele după formule; tabelul regiunilor oferă controlul exact al apartenențelor.

Cum îmi verific desenele?

Compară fiecare marcaj cu formula și cu subiectele BAC. Explicația în cuvinte sprijină înțelegerea; poți cere feedback unui profesor de logică.

Reper de programă

Verificarea silogismelor este relevantă pentru programa oficială. Exemplele și numerotarea regiunilor sunt originale; verifică cerințele sesiunii tale.