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
syllogism
Last revised on January 28, 2015 at 17:41:06. See the history of this page for a list of all contributions to it.