相繼式
維基百科,自由的
encyclopedia
在
證明論
中,
相繼式
(sequent)是對在規定
演繹
的
演算
的時候經常用到的可證明性的形式陳述。