相继式
维基百科,自由的
encyclopedia
在
证明论
中,
相继式
(sequent)是对在规定
演绎
的
演算
的时候经常用到的可证明性的形式陈述。