En lógica proposicional y lógica de primer orden (y en menor medida en las lenguas naturales) existe una forma de clasificar las proposiciones de acuerdo a su estructura interna.