Con la lógica moderna, podemos distinguir la proposición que dice que Pedro es un hombre, que le atribuye un predicado a Pedro, de la que dice que es más grande que Pablo, que establece una relación entre dos términos.