相繼式- 維基百科，自由的百科全書 - Wikipedia

相繼式 維基百科，自由的百科全書 在中，相繼式（sequent）是對在規定的的時候經常用到的可證明性的形式陳述。

目錄 解釋[] 相繼式有如下形式 Γ ⊢ Σ {\displaystyle\Gamma\vdash\Sigma} 這裡的Γ和Σ二者是公式的（就是說公式的數目和出現次序都是重要的）。

符號 ⊢ {\displaystyle\vdash} 通常被稱為十字轉門（turnstile）或T型符號（tee），並經常被讀做