Logical constantIn logic, a logical constant or constant symbol of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.
Règle d'inférenceDans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes. Une règle d'inférence est une fonction qui prend un -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
Ensemble videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
Foncteur adjointL'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».
Clôture (mathématiques)On parle de clôture ou de fermeture en mathématiques dans des contextes très divers. Quelques exemples sont listés ci-dessous. En mathématiques, on dit qu'une partie A d'un ensemble E est stable (ou close) pour une opération définie sur E si cette opération, appliquée à des éléments de A, produit toujours un élément de A. Par exemple, l'ensemble des nombres réels est stable par soustraction, tandis que l'ensemble des entiers naturels ne l'est pas (la différence de deux entiers naturels est parfois un entier relatif strictement négatif).
Image (mathématiques)En mathématiques, la notion d’image est reliée à la notion d’application avec plusieurs définitions distinctes. Étant donné une application : pour tout élément x de E, l’unique élément qui lui est relié dans F est appelé image de x par f, et dans ce cas on dit que x est un antécédent de par f ; l’ensemble des images des éléments de E est appelé de f, ou simplement image de f, et se note ; vignette|f(X) est en jaune.
Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Symbole (logique)alt=Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels. Les symboles et les chaînes de symboles peuvent être divisés en formules bien formées. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être divisé en théorèmes et non-théorèmes.|vignette|Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels.
Théorème d'existenceEn mathématiques, un théorème d'existence est un théorème qui affirme l'existence d'un certain objet mathématique, c'est-à-dire que les conclusions du théorème auront la forme « il existe tel objet vérifiant telles propriétés », ou plus généralement, l'objet en question pouvant dépendre d'autres objets, eux-mêmes soumis à certaines conditions, « pour tous x, y, ... tels que ... il existe ... ».
Idéographiethumb|Page de titre de l'ouvrage de Frege de 1879, Begriffschrift (Idéographie). L'idéographie (Begriffsschrift) est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique. Le projet d'un langage entièrement formalisé n'est pas nouveau : Leibniz en avait développé un, qui n'aboutit pas, sous le nom de caractéristique universelle.
