这是两个不同的命题了,全称命题否定后是存在命题,不能再表述为“若p则q”的形式了.
你写的非m2：“若一个整数末尾数字是5,则这个数不能被5整除”表示的是所有末尾数字是5的整数都不能被5整除.
而非m1表达的是：不是所有末尾数字是5的整数都能被5整除,换言之,至少有一个末尾数字是5的整数不能被5整除.所有的都能被5整除或者有一部分不能被5整除都可以.
一个表示的“所有的...都不...”,一个表示的是“至少有一个...不...”,范围明显不一样.
像这种命题要想准确描述,需要引入量词这样一个概念,全称量词Any,存在量词Exist.