sequent

Voir aussi : séquent

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

.

Nom commun

Singulier	Pluriel
sequent \ˈsiːkwənt\	sequents \ˈsiːkwənts\

sequent \ˈsiːkwənt\

1. (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.
2. (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