若二直线平行,则同位角相等.
简单的逻辑联结词的“非”就是对命题的结论的否定
若二直线平行,则同位角不相等.
命题的否命题是对命题的条件和结论的否定
若二直线不平行,则同位角不相等.