Siendo S el sujeto, P el predicado y M el término medio, el silogismo es ahora interpretado como lógica de clases, y su esquema lógico sería del tipo siguiente: