Accueil > Dictionnaire > Définitions du mot « séquent »
Séquent
Sommaire
Définitions de « séquent »
Définition - La langue française
Le mot « séquent » fait référence à un élément clé en logique et en mathématiques, plus précisément dans la théorie des preuves.
Un séquent est une expression qui représente une relation entre deux ensembles d'énoncés : les prémisses et la conclusion. Il s'écrit généralement sous la forme "A1, A2, ..., An ⊢ B", où A1, A2,..., An sont les prémisses et B est la conclusion. Le symbole "⊢" indique que si toutes les prémisses sont vraies, alors la conclusion doit également être vraie.
Le but de l'utilisation des séquents est de déterminer si un raisonnement est valide ou non, c'est-à-dire si la conclusion découle logiquement des prémisses. Dans ce contexte, un séquent est dit valide si sa conclusion peut être prouvée à partir de ses prémisses en utilisant les règles de la logique formelle.
Phonétique du mot « séquent »
| Mot | Phonétique (Alphabet Phonétique International) | Prononciation |
|---|---|---|
| séquent | sek |
Fréquence d'apparition du mot « séquent » dans le journal Le Monde
Source : Gallicagram. Créé par Benjamin Azoulay et Benoît de Courson, Gallicagram représente graphiquement l’évolution au cours du temps de la fréquence d’apparition d’un ou plusieurs syntagmes dans les corpus numérisés de Gallica et de beaucoup d’autres bibliothèques.
Évolution historique de l’usage du mot « séquent »
Source : Google Books Ngram Viewer, application linguistique permettant d’observer l’évolution au fil du temps du nombre d'occurrences d’un ou de plusieurs mots dans les textes publiés.
Citations contenant le mot « séquent »
-
La beauté du séquent réside dans sa simplicité : en analysant un énoncé, on peut déterminer si celui-ci mérite notre attention ou doit être relégué au rang des absurdités.
Pierre Lefèvre — Citation fictive générée à l'aide d'intelligence artificielle -
Le séquent est le pivot qui permet de juger la solidité d'une affirmation, et sert ainsi de gardien à la porte du savoir.
Henri Dubois — Citation fictive générée à l'aide d'intelligence artificielle
Traductions du mot « séquent »
| Langue | Traduction |
|---|---|
| Anglais | sequent |
| Espagnol | consecuente |
| Italien | sequent |
| Allemand | sequent |
| Chinois | 顺序的 |
| Arabe | متسلسل |
| Portugais | sequente |
| Russe | последовательный |
| Japonais | シーケント |
| Basque | sequent |
| Corse | sequente |
Combien de points fait le mot séquent au Scrabble ?
Nombre de points du mot séquent au scrabble : 15 points