sequent

== Anglais == === Étymologie === De l’ancien français sequent, du latin sequens, participe présent de sequi (« suivre ») emprunté au grec ancien έπεσθαι (« suivre ») référence nécessaire (résoudre le problème). === Nom commun === sequent \ˈsiːkwənt\ (Logique) Un élément d'une séquence, habituellement une séquence dans laquelle chaque entrée est un axiome ou peut être inféré des éléments précédents. (Logique) Une entité de la théorie des séquents, qui est un système logique de démonstration, qui constitué d'une ensemble de proposition, l'antécédent et d'une proposition le conséquent (ou la conséquence). ==== Apparentés étymologiques ==== subsequent