Lógica categórica con Diagrams de Venn. Proposiciones