Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03133387n
Noun Concept
Categories: Logique mathématique, Logique
FR
formule bien formée  formule logique  Formule bien fondée  Formule bien formee  formule
FR
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Wikipedia
Definitions
Relations
Sources
FR
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Wikipedia
assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité Wikidata
IS A
formule logique
PART OF
langage formel
HAS KIND
formule propositionnelle
phrase
formule atomique
forme canonique
EN
open formula
HAS INSTANCE
forme normale négative
DIFFERENT FROM
formule logique
Wikipedia
FR
formule logique
Wikidata
FR
formule bien formée
Wikipedia Redirections
FR
Formule bien fondée, Formule bien formee, formule bien formée
Wikipedia Translations
FR
formule, formule bien formée

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License