运算律：a+b=b+a ab=ba 命题交换题设和结论不一定成立，如： 两直线平行，同位角相等。 交换后：同位角相等，两直线平行（都是真命题） 但“对顶角相等 ”交换后为“相等的角是对顶角”，前者是真命题，后者是假命题。
