deductive reasoning, deduction
hypothesis/context/antecedent ⊢\vdash conclusion/consequence/succedent
inductive type, higher inductive type
logos, Science of Logic
philosophy of physics
Edit this sidebar
Deductive reasoning is the process of passing from premises to conclusions in such a way that the truth of the former necessitates the truth of the latter. In other words, deductive logic studies what it is for an argument to be valid.
A formalization of the process of deductive reasoning are deductive systems in logical frameworks such as natural deduction and sequent calculus.