sequent
/ˈsiːkwənt/
noun
2つのサブセットに分割された論理式の分離集合。先行項と呼ばれる最初のサブセットは、偽と評価される式で構成され、後続項と呼ばれる2番目のサブセットは、真と評価される式で構成されます。
A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
