sequents

sequents

美 　英

• adj.继续的；连续的；随着…而发生的 (on； upon； to)
• n.接着发生的事；后果；结果
• 网络序列

词形变化

复数：sequents  

英汉解释

adj.	1. 继续的;连续的;随着...而发生的 (on; upon; to) 2. 继起的;继承的 3. 结果的
n.	1. 接着发生的事;后果;结果

英英解释

adj.	1. following as a consequence or result 2. following one after another
n.	1. a consequence or result 2. in logic, a formal representation of an argument showing that an element is a theorem