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

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}