A proposition is a truth-function of elementary propositions.
Unha proposición es unha función da verdade das proposicións elementais.