“对顶角相等”是________命题（真、假），写成“如果…，那么…”的形式为________．