Kamus

シークエント（英: Sequent）あるいは推件式（すいけんしき）とは、演繹による証明過程を示すためによく使われる形式表現である。 シークエントは次の形式を持つ。 Γ ⊢ Σ {\displaystyle \Gamma \vdash \Sigma } ここで、Γ と Σ は論理式の列である（その個数と順序が重要である）。記号