Chercher aussi sur: Web Actualités Encyclopédie Images
Collins

sequent

  

      adj  
1    following in order or succession  
2    following as a result; consequent  
      n  
3    something that follows; consequence  
4      (Logic)   a formal representation of an argument. The inference of A from A & B is written A & B <turns1> A. The sequent <turns1> A represents the derivation of A from no assumptions and thus indicates that A is a theorem  
     (C16: from Latin sequens, from sequi to follow)  
  sequently      adv  
Dictionnaire anglais Collins English definition-Thesaurus  
Ajouter votre entrée dans le Dictionnaire Collaboratif .

Publicité