Las proposiciones aristotélicas son afirmaciones que expresan la relación entre dos clases a través del verbo "ser". Existen cuatro tipos de proposiciones aristotélicas (tipo A, E, I, u O) dependiendo del cuantificador utilizado (todos, ninguno, algunos, o no todo). Las proposiciones aristotélicas pueden graficarse utilizando un mentefacto para mostrar la relación entre las dos clases.