三段论：由两个含有一个共同项的性质判断作前提得出一个新的性质判断为结论的演绎推理。演绎推理是由普遍性的前提推出特殊性结论的推理。根据以上定义，下列属于三段论的是( )。