Loading AI tools
assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité De Wikipédia, l'encyclopédie libre
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. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.
Les formules du langage sont interprétées, suivant la sémantique de la logique considérée, en leur attribuant une valeur de vérité. La syntaxe du calcul des prédicats nécessite d'introduire une autre notion, celle de terme, la syntaxe des termes du langage étant liée à une signature. Les termes sont eux interprétés par des objets (nombres, points, etc.).
Il est possible d'assembler les formules pour construire des démonstrations, suivant des règles formelles associées à un système de déduction.
L'appellation « formule bien formée » (traduction de (en)well-formed formula) pour formule, est une trace d'un usage ancien où on appelait formules les suites finies de caractères quelconques.
L'utilisation clé de formules est en logique propositionnelle, telle que la logique du premier ordre. Dans ce contexte, une formule est une chaîne de symboles φ pour lesquels il faut se demander «est ce que φ vrai?», une fois que toutes les variables libres dans φ ont été instancié. En logique formelle, les démonstrations peuvent être représentées par des suites de formules munis de certaines propriétés, et la formule finale est ce qui est prouvé.
Les formules sont des objets syntaxiques. Elles sont donnés par des interprétations. Par exemple, dans une formule propositionnelle, chaque variable propositionnelle peut être interprétée comme une proposition concrète, de sorte que la formule globale exprime une relation entre ces propositions.
Les formules issues du calcul des propositions, aussi appelées formules propositionnelles[1], sont des expressions de la forme . Leur définition commence par le choix arbitraire d'un ensemble V de variables propositionnelles. L'alphabet se compose des lettres de V avec les symboles correspondants aux conjonctions et aux parenthèses propositionnelles « ( » et « ) », qui sont tous supposés ne pas être en V. Les formules seront certaines expressions (c'est-à-dire des chaînes de symboles) sur cet alphabet. Les formules sont inductivement définies comme suit:
<alpha set> ::= p | q | r | s | t | u | ... (ensemble fini arbitraire de variables propositionnelles)
<form> ::= <alpha set> | <form> | (<form><form>) | (<form><form>) | (<form><form>) | (<form><form>)
En utilisant cette grammaire, la suite de symboles
n'est pas une formule, car elle ne se conforme pas à la grammaire.
Une formule complexe peut être difficile à lire, en raison, par exemple, de la prolifération des parenthèses. Pour remédier à ce problème, les règles de priorité (semblable à l'ordre mathématique standard des opérations) sont imposées entre les opérateurs, ce qui rend certains opérateurs plus contraignants que d'autres. Par exemple, en supposant que la priorité (du plus contraignant au moins contraignant) 1. 2. 3. 4. . Ainsi, la formule
Ceci est, cependant, seule une convention utilisée pour simplifier la représentation d'une formule écrite.
La définition d'une formule dans la logique du premier ordre est relative à sa signature de la théorie en question. Cette signature spécifie les symboles constants, de relation, et les symboles de fonction de la théorie, ainsi que les arités des symboles de fonction et de relation.
La définition d'une formule vient en plusieurs parties. Tout d'abord, l'ensemble des termes est défini de manière récursive. Les termes, de façon informelle, sont des expressions qui représentent des objets du domaine du discours.
L'étape suivante consiste à définir les formules atomiques.
Enfin, l'ensemble des formules est défini comme étant le plus petit ensemble contenant l'ensemble des formules atomiques tel que :
Si une formule n'a aucune occurrence de ou , pour toute variable , elle est alors appelée sans-quantificateur. Une formule existentielle est constituée d'une suite de quantifications existentielles suivie par une formule sans-quantificateur.
Une formule atomique est une formule qui ne contient pas de connecteurs logiques ni de quantificateurs. La forme précise de formules atomiques dépend du système formel en question; pour la logique propositionnelle, par exemple, les formules atomiques sont des variables propositionnelles. Pour le calcul des prédicats, les formules atomiques sont des symboles de prédicat avec leurs arguments, chaque argument étant un terme.
Selon sa terminologie, une formule ouverte est formée en combinant des formules atomiques en utilisant uniquement des connecteurs logiques, excluant les quantificateurs[2]. Elle ne doit pas être confondue avec une formule qui n'est pas fermée.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.