Provjera kategoričkih silogizama Vennovim dijagramom

Odaberi vrstu suda i redoslijed pojmova. Prva premisa koristi samo P i M, druga premisa samo S i M, a zaključak samo S i P. Univerzalni sudovi A i E iscrtkavaju prazno područje. Partikularni sudovi I i O postavljaju X. Ako se X ne može jednoznačno smjestiti jer nijedan dio nije eliminiran kao prazan skup, X ide na granicu između mogućih regija.

1. premisa

2. premisa

Zaključak

Brzi primjeri

Dopušteni pojmovi

1. premisa: samo P i M. 2. premisa: samo S i M. Zaključak: samo S i P. Redoslijed može biti obrnut, pa se mogu provjeriti različite figure silogizma.

✓
Silogizam je valjan.
Iscrtkano = prazan skup
X = postoji barem jedan član
Žuto = područje koje zaključak traži

Trenutni zapis

  3. Dakle:

Regije koje zaključak provjerava

Ova verzija koristi pravilne kružnice i računalno određuje regije, umjesto ručno nacrtanih približnih oblika. Zato je grafički bliža standardnom Vennovu dijagramu.