The type of reasoning which starts with a given set of rules and conditions to determine what must be true is:
Deductive Reasoning.
Deductive Reasoning--
It is a logical reasoning that starts with a general set of premises or statements and reach to a specific conclusion.
It is different from the inductive reasoning in the way that the inductive reasoning starts with a set of specific set of rules and reach to a general conclusion.
