“至少有一种金属不是固体”，这个判断属于性质判断（）中的（）判断。