Símbolo tradicional que se aplica a las proposiciones categóricas particulares afirmativas, del tipo «Algún S es P», que pueden formularse de diversas maneras:
Existe algo S y P
Existe algo S que a la vez es P
Hay cosas S que son P
Algo es S y P a la vez
Existen cosas S que son P
Algo S es también P
Hay por lo menos un S que es P
Los enunciados de tipo I se representan de la siguiente manera en los diagramas de Venn:
Donde la zona de intersección SP no está vacía, porque se afirma precisamente que existen cosas que son, a la vez, S y P.