Parte de la lógica moderna que estudia la estructura lógica de las proposiciones y sus relaciones.