Totul și nimic în diagramele Venn din logica categorială