Metoda diagramelor Venn reprezint o modalitate de verificare a validitii inferenelor (imediate i mediate) prin

reprezentri grafice.

Metoda n sine const n intersectarea unui numr de cercuri, fiecare cerc reprezint un termen al inferenei. Doi
termeni ai unei propoziii categorice de tipul "Toi S sunt P" - SaP, sunt reprezentai prin metoda diagramelor Venn
prin dou cercuri intersectate corespunztoare celor 2 termeni: S i P. ntruct raionamentul este de tipul SaP,
sfera lui S din afara sferei lui P este vid, i este haurat, partea de intersecie dintre S i P reprezint ntregul
univers de discurs al lui S - i implicit reprezentarea propoziiei categorice.

n cazul inferenelor mediate (silogismele), conform primei legi silogistice, exist trei termeni: termenii extremi S i
P i termenul mediu M. Reprezentarea grafica const n intersectarea celor trei cercuri corespunztoare
termenilor. Pe aceast diagram sunt reprezentate grafic, exclusiv premisele: modul silogistic corespunztor este
valid dac i numai dac prin reprezentarea grafic doar a premiselor a rezultat automat reprezentarea grafic a
concluziei.

Diagramele Venn au fost concepute n jurul anului 1880 de ctre logicianul englez John Venn.