klassenlogica: diagrammen van Venn