若p则q的形式为：若两条直线同时平行于同一直线，则两直线平行．为真命题．逆命题：若两直线平行，则两条直线同时平行于同一直线，为真命题．否命题：若两条直线不同时平行于同一直线，则两直线不平行．为真命题．逆否命题：若两直线不平行，则两条直线不同时平行于同一直线，为真命题．
