‘’相似三角形的周长相等‘’的否命题是真命题吗