succedent

我的DELPHI日志 ... preceding 在前的, 前述的 succedent 随后的 destory 即可保存设置. ...

...的所在；第二、五、八、十一宫类比于固定宫，称之为“续宫”（Succedent） ，是个人坚持、成果的所在；第三、六、九、十 …

它不是语言中的符号，而用来讨论证明的元语言中的符号。在相继式中，Γ 叫做相继式的前件(antecedent)而 Σ 叫做相继式的后 …