An inference in which a proposition follows necessarily from two other propositions is referred to as ______.
deductive reasoning
inductive reasoning
a syllogism
a proposition
