Feedback
Sequent
Meaning
Adj
●
That
comes after
in time
or order; subsequent.
●
That
follows on
as a result
,
conclusion
etc.;
consequent
to, on, upon.
●
Recurring in
succession
or as a
series
;
successive
, consecutive.
Noun
●
Something that
follows
in a given sequence.
●
In Logic:
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)".)
●
A follower.
●
In Mathematics:
A
sequential
calculus
Sourced from
Wiktionary
Origin
sequent
English
sequent
Old French (842-ca. 1400)
sequentem
Latin
Sourced from
Etym
Related
Coproducts
Quaternion
Perturbation Theory
Hyperbolic Geometry
Join 10 million students and professionals writing 70% faster at QuillBot.com
Start writing better