Sanan sequent käännös englanti-suomi

seuraus
perättäinenkolme perättäistä vuotta kolme vuotta, jotka seuraavat toinen toistaan

That comes after in time or order; subsequent
That follows on as a result, conclusion etc.; consequent , ,
Recurring in succession or as a series; successive, consecutive
Something that follows in a given sequence
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.[http://logicinaction.org logicinaction.org], Chapter 8 (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
A follower
A sequential calculus

A sequent $a, b \vdash c, d$ could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be
~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as "a and b give c or d".

Ilmainen Sanakirja

IlmainenSanakirja.fi