三段论 (sān duàn lùn) – syllogism (deduction in logic)