(in. Molecular proposition; fr. Proposition moléculaire; al. Molekular Satz; it. Proposizione molecolaré).
Termo que entrou em uso com o Tractatus de Wittgenstein; correspondente à propositio hypothetica da Lógica de Boécio e dos escolásticos: é uma proposição formada por uma ou mais proposições atômicas ligadas por certas constantes lógicas, como “não”, “e”, “ou”, “implica” (“se…, …”) (negação, conjunção, disjunção, implicação) e outras. Na lógica de Russell as proposições funcionais correspondem às proposições moleculares. [Abbagnano]