deductive reasoning, deduction

sequent

hypothesis/context/antecedent $\vdash$ conclusion/consequence/succedent

logical framework

deductive system,

natural deduction

sequent calculus

inductive reasoning

induction, recursion

inductive type, higher inductive type

In logic, a deduction or derivation is a part of a proof, drawing a conclusion from certain premises. See:

deductive reasoning

induction