sequents

noun
  1. things that follow in order or as a result; consequences
  2. Usage: formal
  3. in logic, the conclusion part of a conditional statement
  4. Usage: logic; technical

Examples