El juicio aristotélico se interpreta como un enunciado que se formaliza como proposición y se simboliza como una Fórmula bien formada o Expresión bien formada, (EBF), de un cálculo lógico entendido éste como lógica de clases.