Séquent

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.