La langue française

Accueil > Dictionnaire > Définitions du mot « séquent »

Séquent

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.

© lalanguefrancaise.com

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 »

  • Il y a vingt ans, Norbert Alter conceptualisait «l’acteur marginal séquent». Celui qui appartient concomitamment à plusieurs réseaux, les mettant en relation et diffusant ainsi informations et connaissances entre des équipes qui sans son intervention seraient demeurées isolées. 
    Quatre axes pour développer le management trans-silos | Agefi.com
  • 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
  • Pour décrypter les mystères de la logique formelle, il faut maîtriser l'art du séquent, cet instrument qui révèle la cohérence cachée derrière les mots.
    Jeanne Martin — 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
Source : Google Translate API

Combien de points fait le mot séquent au Scrabble ?

Nombre de points du mot séquent au scrabble : 15 points

Séquent

Retour au sommaire ➦