Cuando la referencia de instanciación existencial es con respecto a los individuos,: los juicios aristotélicos pueden formalizarse de la siguiente manera como lógica de predicados: