deductive reasoning
method of reasoning by which premises understood to be true produce logically certain conclusions
natural deduction
kind of proof calculus
syllogism
type of logical argument
method of reasoning by which premises understood to be true produce logically certain conclusions