将命题“过一点有且只有一条直线与已知直线垂直”改写成“如果…那么…”的形式:,这是一个命题．（填“真”或“假”）