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 (pourquoi ? résoudre le problème).

Nom commun

SingulierPluriel
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

Cet article est issu de Wiktionnaire. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.