EnglishEspañolFrançaisDeutschItalianoPortuguêsРусский日本語한국어العربيةहिन्दीTürkçe
🔍

Sequent

Adjective

Definiciones

1.AdjectiveThat comes after in time or order; subsequent.
2.AdjectiveThat follows on as a result, conclusion etc.; consequent to, on, upon.
3.AdjectiveRecurring in succession or as a series; successive, consecutive.
4.NounSomething that follows in a given sequence.
5.NounA 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 sequent a , b ⊢ c , d {\displaystyle 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"."
6.NounA follower.
7.NounA sequential calculus
🔗 Find words with "sequent" in A2Z Word Finder
The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.
Free forever · unsubscribe anytime · all 14 newsletters
That email did not go through — please check it and try again.