Objeto de aprendizaje en el cual se abordan los diagramas de Venn, con el propósito de traducir proposiciones del lenguaje natural a proposiciones categóricas en su forma estándar, mediante estos diagramas.