Deductive reasoning, the mental process of drawing inferences in which the truth of their premises ensures the truth of their conclusion
Natural deduction, a class of proof systems based on simple and self-evident rules of inference that aim to closely mirror how reasoning actually occurs