sequent
/ˈsikwənt/ adj**Sequent** describes something that comes after another in a logical or temporal chain. In mathematics and philosophy it marks a statement that follows inevitably from earlier premises. When a philosopher writes that a conclusion is a **sequent** of the premises, the implication is airtight: the truth of the first guarantees the truth of the second. In proof theory the term labels a formal expression of this relationship, often written with a turnstile symbol. The adjective form conveys the same idea of order, as in a sequent series of experiments. Using **sequent** adds a touch of rigor, signaling that the items are directly related and linked by a definite succession.
【核心含义】指按逻辑或时间顺序紧随其后的事物，尤指数学和哲学中从前提出发必然推导出的结论。
常与“前提”“结论”“系列”等词搭配，强调严格推导关系而非简单时间先后。中文表达需注意突出其“必然结果”的严谨性，避免与普通“后续”混淆。
【Significado central】Un secuente es un enunciado o proposición que se deduce necesariamente de premisas anteriores dentro de una cadena lógica.
Es un término formal y técnico, propio de la lógica, la filosofía y las matemáticas. En teoría de la demostración, designa una expresión formal que representa una relación de inferencia y suele escribirse con el símbolo ⊢ (barra de secuente o "turnstile"). Cuando un filósofo afirma que una conclusión es un secuente de las premisas, está señalando que la verdad de las primeras garantiza de manera estricta e inevitable la verdad de la segunda, sin margen de duda. La forma adjetiva "secuente" conserva esta misma idea de sucesión ordenada y necesaria, como en "una serie secuente de experimentos". Fuera del ámbito académico es un vocablo de uso muy restringido; en contextos generales conviene preferir alternativas como "consecuente" o "posterior". No debe confundirse con "consecuencia", que tiene un uso mucho más amplio y coloquial, ni con "secuencia", que se refiere simplemente a una serie ordenada sin implicar necesariamente una relación lógica de deducción.
adj That comes after in time or order; subsequent.
The initial proposal and its sequent revisions were all carefully reviewed.
(形容词) 后续的；随后的
最初的提案及其后续修订都经过了仔细审查。
(adjetivo) subsiguiente; posterior; ulterior [Que viene después en tiempo u orden; subsiguiente.]
La propuesta inicial y sus revisiones subsecuentes fueron cuidadosamente revisadas.
(adjectif) subséquent; ultérieur; suivant; postérieur [Qui vient après dans le temps ou dans l'ordre ; subséquent, ultérieur.]
La proposition initiale et ses révisions **sequent** furent toutes examinées avec soin.
(Adjektiv) nachfolgend; anschließend [In zeitlicher oder logischer Reihenfolge folgend; anschließend.]
Der ursprüngliche Vorschlag und seine **sequent**en Überarbeitungen wurden sorgfältig geprüft.
(形容詞) 時間的または順序的に後に続く、その後の。
最初の提案とその後の修正案はすべて慎重に検討された。
(adjetivo) subsequente; posterior; seguinte; ulterior [Que vem depois no tempo ou na ordem; subsequente.]
A proposta inicial e suas revisões subsequentes foram todas cuidadosamente revisadas.
adj Recurring in succession or as a series; successive, consecutive.
The team achieved three sequent victories in the tournament.
(形容词) 连续的；接连的；相继的
该队在锦标赛中取得了连续三场胜利。
(adjetivo) sucesivo; consecutivo [Que se repite en sucesión o como una serie; sucesivo, consecutivo.]
El equipo logró tres victorias consecutivas en el torneo.
(adjectif) successif; consécutif [Qui se produit en succession ou en série ; successif, consécutif.]
L'équipe remporta trois victoires **sequent** durant le tournoi.
(Adjektiv) aufeinanderfolgend; hintereinander [In ununterbrochener Abfolge aufeinanderfolgend; nacheinander.]
Das Team erzielte drei **sequent**e Siege im Turnier.
(形容詞) 次々連続して起こる、引き続く。
チームは大会で3連勝を達成した。
(adjetivo) sucessivo; consecutivo; seguido; contínuo [Que se repete em sucessão ou em série; sucessivo, consecutivo.]
A equipe conquistou três vitórias consecutivas no torneio.
adj That follows on as a result, conclusion etc.; consequent to, on, upon.
The economic crisis was sequent to the sudden market collapse.
(形容词) 随之发生的；作为结果的
经济危机是市场突然崩溃的结果。
(adjetivo) consecuente; resultante [Que se sigue como resultado, conclusión, etc.; consecuente a, sobre.]
La crisis económica fue consecuencia del colapso repentino del mercado.
(adjectif) consécutif; résultant; conséquent [Qui résulte ou découle de quelque chose ; qui en est la conséquence.]
La crise économique fut **sequent** à l'effondrement soudain du marché.
(Adjektiv) folgend; resultierend [Als Folge oder logische Konsequenz aus etwas anderem hervorgehend.]
Die Wirtschaftskrise war **sequent** zum plötzlichen Zusammenbruch des Marktes.
(形容詞) 結果や結論として後に生じる、帰結としての。
経済危機は市場が突然崩壊した結果として起こった。
(adjetivo) consequente; resultante [Que se segue como resultado ou conclusão; consequente.]
A crise econômica foi consequente ao repentino colapso do mercado.
noun Something that follows in a given sequence. countable
In this mathematical series, each sequent is derived from the previous term.
(名词) 后续事物；后继项
在这个数学序列中，每一个后续项都是从前一项推导出来的。
(sustantivo) siguiente; consecuente [Algo que sigue en una secuencia dada.]
En esta serie matemática, cada elemento siguiente se deriva del término anterior.
(nom) suivant; successeur; terme suivant [Élément qui suit dans une séquence donnée ; ce qui succède à autre chose.]
Dans cette série mathématique, chaque **sequent** se déduit du terme précédent.
(Substantiv) Folgeglied; Folgendes [Etwas, das in einer bestimmten Reihenfolge auf ein anderes folgt.]
In dieser mathematischen Reihe wird jedes **sequent** aus dem vorherigen Term abgeleitet.
(名詞) ある決まった順序の中で後に続くもの。
この数学的級数では、各後続項は前の項から導出される。
(substantivo) consequente; seguinte; continuação; prosseguimento [Algo que segue em uma dada sequência.]
Nesta série matemática, cada termo sequente é derivado do termo anterior.
noun A follower. countable
The philosopher had many sequents who adopted his teachings.
(名词) 追随者
这位哲学家有许多追随者采纳了他的教义。
(sustantivo) seguidor; secuaz; adlátere; partidario [Un seguidor.]
El filósofo tuvo muchos seguidores que adoptaron sus enseñanzas.
(nom) suiveur; disciple; partisan; adepte; émule [Adepte ou disciple qui suit une personne ou une doctrine.]
Le philosophe comptait de nombreux **sequents** qui adoptèrent ses enseignements.
(Substantiv) Anhänger; Nachfolger [Jemand, der einer Person oder Lehre folgt, insbesondere als Anhänger.]
Der Philosoph hatte viele **sequent**s, die seine Lehren übernahmen.
(名詞) 後に従う人、追従者、信奉者。
哲学者には彼の教えを信奉する多くの後継者がいた。
(substantivo) sequaz; seguidor; partidário [Um seguidor.]
O filósofo tinha muitos seguidores que adotaram seus ensinamentos.
noun 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)".) countable
The logician analyzed the sequent to verify the validity of the argument.
(名词) 矢列式 【矢列式（逻辑公式集）】
逻辑学家分析了这个相继式以验证论证的有效性。
(sustantivo) secuente [Un conjunto disyuntivo de fórmulas lógicas que se divide en dos subconjuntos; el primer subconjunto, llamado antecedente, consiste en fórmulas que se evalúan como falsas, y el segundo subconjunto, llamado consecuente, consiste en fórmulas que se evalúan como verdaderas. (El conjunto se escribe sin corchetes de conjunto y la separación entre los dos subconjuntos se denota mediante un símbolo de doble barra vertical, que puede leerse como «implica»).]
El lógico analizó el secuente para verificar la validez del argumento.
(nom) séquent [En logique formelle, paire ordonnée composée d'un antécédent (formules supposées fausses) et d'un succédent (formules à déduire), séparés par un symbole de déduction.]
Le logicien analysa le **sequent** pour vérifier la validité de l'argument.
(Substantiv) Sequenz (logisch) [In der Logik: Eine disjunktive Menge von Formeln, die in zwei Teilmengen unterteilt ist – die Antezedens (als falsch bewertete Formeln) und die Sukzedens (als wahr bewertete Formeln), getrennt durch ein Turnstile-Symbol.]
Der Logiker analysierte den **sequent**, um die Gültigkeit des Arguments zu überprüfen.
(名詞) 論理学で、前件（偽と評価される式の集合）と後件（真と評価される式の集合）に分割される論理式の列。「⊢」記号で表される。
論理学者はそのシーケントを分析して、議論の妥当性を検証した。
(substantivo) sequente [Um conjunto disjuntivo de fórmulas lógicas que é particionado em dois subconjuntos; o primeiro subconjunto, chamado antecedente, consiste em fórmulas avaliadas como falsas, e o segundo subconjunto, chamado consequente (ou sucedente), consiste em fórmulas avaliadas como verdadeiras. (O conjunto é escrito sem colchetes de conjunto e a separação entre os dois subconjuntos é denotada por um símbolo de turnstile, que pode ser lido como 'implica'.)]
O lógico analisou o sequente para verificar a validade do argumento.
noun A sequential calculus countable
The proof was constructed using the rules of the sequent calculus.
(名词) 序列演算
这个证明是使用相继式演算的规则构建的。
(sustantivo) cálculo de secuentes [Un cálculo de secuentes.]
La prueba se construyó usando las reglas del cálculo de secuentes.
(nom) calcul des séquents [Calcul séquentiel ; système de déduction logique fondé sur la manipulation de séquents.]
La preuve fut construite selon les règles du **sequent** calculus.
(Substantiv) Sequenzenkalkül [Ein Kalkül der sequentiellen Logik, das zur formalen Herleitung von Schlüssen verwendet wird.]
Der Beweis wurde mithilfe der Regeln des **sequent** calculus konstruiert.
(名詞) シーケント（名詞） — シーケント計算
証明はシーケント計算の規則を用いて構築された。
(substantivo) cálculo de sequentes [Um cálculo de sequentes.]
A prova foi construída usando as regras do cálculo de sequentes.
Common collocations
Related words
Get offline access, pronunciation, spaced repetition, and learning games:
Download Syntaxiom →