Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Formule (mathématiques)
Résumé
En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines.
Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes :
un seul élément de E de poids 0 est une formule ;
si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.
On reconnaît les « mots significatifs » qui forment un sous-ensemble du monoïde libre Lo(E) construit sur E.
La notation théorique introduite ici est celle dite de Łukasiewicz ou « notation polonaise » ; mais la notation communément utilisée en algèbre et en analyse est celle à parenthèses t(F2, ...., Fn) ; si t est de poids 2, on écrit (F1)t(F2) au lieu de tF1F2, et
[r(F1, ...., Fm)] t [s(G1, ...., Gn)] au lieu de trF1 ....FmsG1....Gn.
Étant donné une formule F, tout intervalle de F qui est une formule en est une sous-formule. Ainsi, F1, rF1....Fm, sG1....Gn sont des sous-formules de trF1 ....FmsG1....Gn.
Si F = tF1F2....Fn, les Fi 1≤i≤n sont les sous-formules immédiates de F.
Dans tout ensemble de formules, la relation binaire « F est une sous-formule de G » est une relation d'ordre : réflexive, antisymétrique et transitive.
Si F est une formule et M un mot non vide, alors FM n’est pas une formule.
Corollaire - Si F1, F2, ...., Fm, G1, G2, ...., Gn sont des formules et si F1F2...Fm = G1G2...Gn, alors m = n et pour tout i ≤ n, Fi = Gi.
En effet, d’après le théorème précédent, on ne peut avoir Fi = GiM ou Gi = FiM à moins que M ne soit vide.
Soient F une formule et t un signe de poids p ; alors les signes qui suivent t dans F se répartissent de façon unique en un nombre m≥p d’occurrences de sous-formules consécutives et disjointes.
Étant donné deux occurrences de sous-formules de F, ou bien elles sont disjointes, ou bien l’une est incluse dans l’autre.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées (14)
State-to-state surface scattering of methane studied by bolometric infrared laser tagging detection
State-to-state molecule/surface scattering experiments prepare the incident molecules in a specific quantum state and measure the quantum state distribution of the scattered molecules. The comparison
EPFL2022Momentum space CFT correlators for Hamiltonian truncation
We consider Lorentzian CFT Wightman functions in momentum space. In particular, we derive a set of reference formulas for computing two- and three-point functions, restricting our attention to three-p
2020Personnes associées (6)
Concepts associés (27)
Géométrie
La géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Formule (mathématiques)
En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes : un seul élément de E de poids 0 est une formule ; si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.
Algèbre
L'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Cours associés (3)
MATH-213: Differential geometry
Ce cours est une introduction à la géométrie différentielle classique des courbes et des surfaces, principalement dans le plan et l'espace euclidien.
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
PHYS-201(d): General physics: electromagnetism
The topics covered by the course are concepts of fluid mechanics, waves, and electromagnetism.
Séances de cours associées (66)
Marches auto-évitantes
Explore les marches auto-évitantes dans l'espace et les fonctions de corrélation.
Décadence rapide des fonctions Whittaker
Couvre la désintégration rapide des fonctions de Whittaker pour les bouleversements, en se concentrant sur l'hypothèse de Vize 1.
Fin de la dérivation M-step
Couvre la dérivation de l'étape M pour mu_k et Sigma_k, en se concentrant sur les quantités clés et les matrices.
MOOCs associés (2)
Parallel programming
With every smartphone and computer now boasting multiple processors, the use of functional ideas to facilitate parallel programming is becoming increasingly widespread. In this course, you'll learn th
Parallel programming
With every smartphone and computer now boasting multiple processors, the use of functional ideas to facilitate parallel programming is becoming increasingly widespread. In this course, you'll learn th