sequent
# 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.

# sequent
## Anglais
### 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).

# sequent
## Anglais
### Nom commun
#### Apparentés étymologiques

* subsequent