Sequent 发音

释义 Definition

sequent（形容词，较少用）：随后的、跟随发生的；相当于 following / subsequent。
（另外也可作名词，用于逻辑学/证明论：sequent 指“序列式（推理式）”。）

发音 Pronunciation (IPA)

/sikwnt/

例句 Examples

The sequent page explains the rule in simple terms.
后面那一页用简单的话解释了这条规则。

The initial error seemed minor, but the sequent delays affected the entire project schedule.
最初的错误看起来不大，但随后发生的延误影响了整个项目的进度安排。

词源 Etymology

来自拉丁语 sequi（“跟随”），经由中古法语与英语词形演变而来；核心语义始终围绕“在后、跟随发生”。

相关词 Related Words

• Consequent
• Subsequent
• Following
• Succeeding
• Sequential
• Sequence
• Sequel
• Antecedent

文学与作品 Literary Works

• Principia Mathematica（Alfred North Whitehead & Bertrand Russell）在逻辑与证明讨论中使用 sequent 等相关术语。
• Proof Theory（Gaisi Takeuti）证明论语境中常见 sequent（作名词）如 “sequent calculus”。
• Structural Proof Theory（Sara Negri & Jan von Plato）大量出现 sequent（序列式/推理式）相关表述。