× Annonce

Chers usagers du portail lexical du CNRTL,

Après vingt ans de bons et loyaux services, la version actuelle du portail sera prochainement remplacée par une nouvelle version au 1er juillet 2026. Cette nouvelle version apporte une refonte complète de l'interface adaptée à tous les supports (ordinateurs, tablettes, smartphones) et inclut également de nouvelles ressources.

Vous pouvez d'ores et déjà vous familiariser avec la nouvelle version ici : Portail lexical

En vous remerciant,

L'équipe du CNRTL
Police de caractères:

Surligner les objets textuels
Colorer les objets :
 
 
 
 
 
 

Entrez une forme

options d'affichagecatégorie :
fonction-énoncé n.f. LOG. - ø t. lex. réf. ; absent TLF.
1973 - «De même, des systèmes de concepts peuvent être répartis en admissibles et en inadmissibles au moyen de ce qu'on pourrait appeler une 'équation-énoncé'. On obtient une équation-énoncé à partir d'une fonction propositionnelle ou fonction-énoncé [...] ; il s'agit d'un énoncé incomplet dans lequel apparaissent un ou plusieurs 'blancs'.» N. Thyssen-Rutten et Ph. Devaux, trad. : K.R. PopperLa Logique de la découverte scientifique, 71 (Payot) - Y.G.
équation-énoncé n.f. LOG. - ø t. lex. réf. ; absent TLF.
1973 - «De même, des systèmes de concepts peuvent être répartis en admissibles et en inadmissibles au moyen de ce qu'on pourrait appeler une 'équation-énoncé'. On obtient une équation-énoncé à partir d'une fonction propositionnelle ou fonction-énoncé [...] ; il s'agit d'un énoncé incomplet dans lequel apparaissent un ou plusieurs 'blancs'.» N. Thyssen-Rutten et Ph. Devaux, trad. : K.R. PopperLa Logique de la découverte scientifique, 71 (Payot) - Y.G.