符号化下面命题并给出构造推理证明 任给两条直线x，y，有（1）若x平行于y，则y平行于x。（2）若x平行于y，y平行于z，则x平行于z。 请证明：若直线a平行于直线b，直线b平行于直线c，则a平行于c。

命题符号化：

(1) ∀x,y [x || y → y || x]
(2) ∀x,y,z [(x || y ∧ y || z) → x || z]

推理证明：

假设直线a平行于直线b，直线b平行于直线c。

根据(1)得出，直线b平行于直线a。

以及根据(2)，有（a || b ∧ b || c）→ a || c。

因此，由前提(a || b ∧ b || c)可以推出结论(a || c)。

因此，得证若直线a平行于直线b，直线b平行于直线c，则a平行于c。