(in. Functional proposition; fr. Proposition fonctionelle, al. Funktionellsatz; it. Proposizione funzionale).
Dá-se esse nome às proposições moleculares (ou seja, proposições complexas, compostas de proposições simples através dos conectivos lógicos ‘não’, ‘ou’, ‘e’, ‘implica’), cuja verdade (ou falsidade) seja unicamente função da verdade ou falsidade das proposições componentes. A questão de existirem ou não proposições moleculares não funcionais foi amplamente discutida na Lógica contemporânea, contra a tese extensional, defendida principalmente por Wittgenstein, segundo a qual todas as proposições moleculares são funções-verdade das componentes; Russell e outros defenderam a possibilidade de proposições compostas que não sejam funções, como p. ex., “A crê em p” (onde ‘A’ é um nome de pessoa e ‘p é uma proposição). [Abbagnano]