“除非懂数学，才能成为天文学家；老张不是天文学家；所以，老张不懂数学。”请分析该推理的逻辑形式是什么？其逻辑形式是否有效？为什么？