命题全等三角形是相似三角形的否命题.