“优选法是有用的方法，优选法是数学方法，所以，凡数学方法都是有用的方法。” (1)写出上述推理的形式； (2)指出该推理的格和式； (3)用逻辑规则检查它是否有效。