指出下列判断的种类，并写出其逻辑形式。 1、如果不及时出发，就不能赶上火车了。 2、有的金属不是固体。