Învață alături de noi cum să reprezinți grafic inferențele imediate și raporturile dintre propozițiile categorice la logică prin intermediul unei diagrame Venn!
Fragment din text
Diagramele Venn au fost concepute de John Venn, un logician din secolul al XIX-lea și ilustrează cele patru tipuri fundamentale de propoziții categorice prezentate anterior.
În logică, metoda prin care vom verifica dacă o inferență este sau nu validă se numește metoda diagramelor Venn.
- Cercurile reprezentate în diagrama Venn desemnează sfera de obiecte (extensiunea) a subiectului și predicatului din premisă, respectiv sfera de obiecte a subiectului și predicatului din concluzie.
- Cercurile diagramelor Venn mereu vor fi intersectate, chiar dacă nu vor exista elemente comune în cele două propoziții categorice.
- O zonă hașurată va însemna că acea zonă reprezintă o mulțime vidă.
- În cazul în care o mulțime are măcar un element, zona respectivă va fi marcată cu un X (sau cu un asterisc).
Vom avea patru regiuni reprezentate prin diagrame Venn și anume:
- SP̅, elementele care sunt S, dar nu și P
- SP, elementele care sunt și S și P
- S ̅ P, elementele care sunt P, dar nu și S
- S ̅ P̅, elementele care nu sunt nici S, dar nici P.
Cu ajutorul acestor regiuni, vom putea reprezenta cele patru tipuri de propoziții categorice prin diagrame Venn:
