Formule atomique
- Formule atomique
-
En logique mathématique, une formule atomique ou atome, est une formule qui ne contient pas de sous-formules. Cette définition varie selon la logique considérée, p.ex. en logique des propositions les formules atomiques sont les variables propositionnelles.
Les atomes sont les formules les plus simples dans le système logique utilisé, les formules bien formées dans le système logique sont typiquement définies récursivement, en identifiant toutes les formules atomiques valides, puis en donnant les règles pour créer des formules bien formées à partir d'autres formules bien formées. Les formules construites à partir de formules atomiques sont des formules composées.
Avec les formules atomiques ou atomes, on forme les littéraux qui sont des formules atomiques ou des négations de formules atomiques.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Formule atomique de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Formule Atomique — En logique mathématique, une formule atomique ou atome, est une formule qui ne contient pas de sous formules. Cette définition varie selon la logique considérée, p.ex. en logique des propositions les formules atomiques sont les variables… … Wikipédia en Français
formule — (for mu l ) s. f. 1° Forme d expression qui contient les termes mêmes dans lesquels un acte doit être conçu. Formules des actes judiciaires. Formule de testament. Formule de serment. Formules de prières. Terme de diplomatique. Formules… … Dictionnaire de la Langue Française d'Émile Littré
Formule De Rydberg — La formule de Rydberg (ou de Rydberg Ritz) est utilisée en physique atomique pour déterminer le spectre complet de la lumière émise par l hydrogène ; elle fut plus tard généralisée à tout élément chimique. Le spectre est l ensemble des… … Wikipédia en Français
Formule de Rydberg-Ritz — Formule de Rydberg La formule de Rydberg (ou de Rydberg Ritz) est utilisée en physique atomique pour déterminer le spectre complet de la lumière émise par l hydrogène ; elle fut plus tard généralisée à tout élément chimique. Le spectre est l … Wikipédia en Français
Formule de rydberg — La formule de Rydberg (ou de Rydberg Ritz) est utilisée en physique atomique pour déterminer le spectre complet de la lumière émise par l hydrogène ; elle fut plus tard généralisée à tout élément chimique. Le spectre est l ensemble des… … Wikipédia en Français
Formule De Bethe — La formule de Bethe décrit la perte d énergie de particules chargées rapides (protons, particules alpha, ions atomiques mais pas électrons) en traversant la matière (ou le pouvoir d arrêt du matériau). La version non relativiste fut créée par… … Wikipédia en Français
Formule de bethe — La formule de Bethe décrit la perte d énergie de particules chargées rapides (protons, particules alpha, ions atomiques mais pas électrons) en traversant la matière (ou le pouvoir d arrêt du matériau). La version non relativiste fut créée par… … Wikipédia en Français
Formule De Balmer — La formule de Balmer permet de connaître la longueur d onde des photons émis lors des transitions des niveaux excités de l atome d hydrogène de ou vers le niveau fondamental … Wikipédia en Français
Formule de balmer — La formule de Balmer permet de connaître la longueur d onde des photons émis lors des transitions des niveaux excités de l atome d hydrogène de ou vers le niveau fondamental … Wikipédia en Français
Formule de Rydberg — La formule de Rydberg (ou de Rydberg Ritz) est utilisée en physique atomique pour déterminer le spectre complet de la lumière émise par l hydrogène ; elle fut plus tard généralisée à tout élément chimique. Le spectre est l ensemble des… … Wikipédia en Français
