Deductive reasoning

method of reasoning by which premises understood to be true produce logically certain conclusions