sequent

You will most often meet "sequent" in logic. There, it means a formal statement that shows how one thing follows from another, usually how a conclusion comes from given premises. In older or rare uses, it can also mean "following" or "coming next" in order. It is not a common everyday word, but it appears in books and discussions about logic, proofs, and careful reasoning.

The word "sequent" lives mostly in the world of logic, where it has a clear and technical job. A sequent is a formal statement that shows that one set of statements leads to another. In simple terms, it tells you, "from these starting points, this result follows." You may see it written with symbols, such as one side for the assumptions and another side for what can be concluded.

There is also an older and much rarer use of "sequent" as an adjective meaning "following" or "coming next." That sense connects to the idea of sequence, but it is not the meaning most learners will run into. In modern English, especially outside specialist writing, this adjective use is uncommon.

So if you meet "sequent" in a textbook, article, or lecture, the safest guess is usually the logic meaning. It points to the relationship between premises and conclusion, and it helps people talk about proofs in a precise way. The word carries the idea of order and result, but in real use it is mainly a technical term rather than an everyday description.