如果有两个角是对顶角，那么这两个角相等

∵原命题的条件是：“两个角是对顶角”，结论是：“这两个角相等”，

∴命题“对顶角相等”写成“如果…那么…”的形式为：“如果两个角是对顶角，那么两个角相等”．