单词 | sequent |
释义 | Word Frequency sequent(ˈsiːkwənt) adjective 1. following in order or succession 2. following as a result; consequent noun 3. something that follows; consequence 4. logic a formal representation of an argument. The inference of A from A &B is written A & B ⊢ A. The sequent ⊢ A represents the derivation of A from no assumptions and thus indicates that A is a theorem Derived forms sequently (ˈsequently) adverb Word origin C16: from Latin sequēns, from sequī to follow |
随便看 |
|
英语词典包含233703条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。