a type of logical argument that uses deductive reasoning to conclude based on two premises claimed or supposed to be true