a form of reasoning in which a conclusion is reached from two statements

deductive reasoning