Reprezentarea propozițiilor categorice prin diagrame
Propozițiile categorice indică raportul dintre extensiunile a doi termeni, iar reprezentarea lor vizuală ne ajută să înțelegem relațiile logice mai ușor. Extensiunea unui termen reprezintă mulțimea obiectelor la care se referă acel termen.
Diagramele Euler sunt metoda clasică de reprezentare a mulțimilor, pe care probabil o știi din gimnaziu. La propozițiile categorice, vom reprezenta cele două mulțimi conform relației indicate și vom hașura zonele în care există elemente.
Cele patru tipuri de propoziții categorice în diagrame Euler:
- SaP ("Toți S sunt P") - mulțimea S este inclusă complet în mulțimea P
- SeP ("Niciun S nu este P") - mulțimile S și P nu au elemente comune
- SiP ("Unii S sunt P") - intersecția dintre S și P este hașurată pentru a arăta că există elemente comune
- SoP ("Unii S nu sunt P") - partea din S care nu este în P este hașurată pentru a indica existența elementelor
💡 Poți gândi diagramele Euler ca pe niște hărți care îți arată exact unde se află elementele mulțimilor și cum se raportează acestea una la cealaltă.














































