En Frege y en la lógica de primer orden contemporánea, la verdad de las proposiciones es función de los elementos que la constituyen.