设条件p：两直线平行
再设结论q：同位角相等
则这个命题就是q→p,
其否命题：非q→非p,
翻译过来就是,两直线不平行,同位角不相等.
q→p的否定是q→非p
翻译过来就是,两直线平行,同位角相等.
其中命题和它的否定具有相反的真假性.