===== PROPOSIÇÃO FUNCIONAL =====
(in. Functional proposition; fr. Proposition fonctionelle, al. Funktionellsatz; it. Proposizione funzionale).

Dá-se [[lexico:e:esse|esse]] [[lexico:n:nome|nome]] às proposições moleculares (ou seja, proposições complexas, compostas de proposições [[lexico:s:simples|simples]] através dos [[lexico:c:conectivos-logicos|conectivos lógicos]] ‘[[lexico:n:nao|não]]’, ‘ou’, ‘e’, ‘implica’), cuja [[lexico:v:verdade|verdade]] (ou [[lexico:f:falsidade|falsidade]]) seja unicamente [[lexico:f:funcao|função]] da verdade ou falsidade das proposições componentes. A [[lexico:q:questao|questão]] de existirem ou não proposições moleculares não funcionais foi amplamente discutida na [[lexico:l:logica|Lógica]] contemporânea, contra a [[lexico:t:tese|tese]] [[lexico:e:extensional|extensional]], defendida principalmente por [[lexico:w:wittgenstein|Wittgenstein]], segundo a qual todas as proposições moleculares são funções-verdade das componentes; [[lexico:r:russell|Russell]] e outros defenderam a [[lexico:p:possibilidade|possibilidade]] de proposições compostas que não sejam funções, como p. ex., "A crê em p" (onde ‘A’ é um nome de [[lexico:p:pessoa|pessoa]] e ‘p é uma [[lexico:p:proposicao|proposição]]).