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

（1）这是一个必要条件假言推理，其逻辑形式是：（（p←q）∧）→
（2）这一逻辑形式无效。因为必要条件假言推理的规则指出：“否定后件，不能否定前件。”而这一推理，恰好是由否定后件进而否定前件了。

略