A logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions.