“所有数学系的学生都要学习逻辑，数学系的学生是理科生，所以，理科生要学习逻辑。”这是一个有效的三段论推理。