n. type of deductive reasoning containing two premises and a conclusion, logical argument in the form of: "if A=C and A=B then B=C" (Logic); deductive reasoning