Metoda diagramelor Venn

Metoda diagramelor Venn de verificare a validității unui mod silogistic se bazează pe următoarea lege: în caz de validitate, concluzia se poate citi pe diagramă ca urmare a reprezentării premiselor.

Pașii aplicării acestei metode sunt:

• Desenăm diagrama Venn – trei cercuri intersectate, fiecare corespunzând unui termen din silogism

• Dacă avem două premise universale, începem prin a reprezenta premisa majoră și continuăm prin a reprezenta premisa minoră. Propozițiile categorice universale se reprezintă prin hașurarea zonei vide corespunzătoare astfel:

a) Pentru o propoziție universală afirmativă (de tip SaP, Toți S sunt P), hașurăm porțiunea din cercul S care nu se află în intersecție cu P. Știm că toți S sunt P, deci toate elementele S sunt incluse în zona de intersecție dintre S și P. Zona exterioară intersecției este vidă, nu conține niciun S. Despre zona lui P exterioară intersecției nu știm nimic. 

b) Pentru o propoziției universală negativă (...