which is used to reach a conclusion in a formal proof?
A. measurement
B. Syllogism
C. experimentation
D. deductive reasoning