命题与逻辑!如果一个三角形那么这个三角形是等腰三角形?为什么是真命题呢?不是等腰直角呢?