sequent
Définition, traduction, prononciation, anagramme et synonyme sur le dictionnaire libre Wiktionnaire.
 Voir aussi : séquent |
Sommaire |
[modifier] Anglais
Étymologie
- De l’ancien français sequent, du latin sequens, participe présent de sequi (« suivre ») emprunté au grec ancien έπεσθαι (« suivre »).
Nom commun
| Singulier | Pluriel |
|---|---|
| sequent /ˈsiːkwənt/ |
sequents /ˈsiːkwənts/ |
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).
