答案

兩直線都平行于第三條直線，這兩直線互相平行

解析

由題意得出：命題“如果兩條直線都與第三條直線平行，那么這兩條直線也互相平行”的題設是兩直線都平行于第三條直線，結論是這兩直線互相平行．

故答案為：兩直線都平行于第三條直線，這兩直線互相平行．

考點名稱：命題，定理

命題的概念：

判斷一件事情的語句，叫做命題。

命題的概念包括兩層含義：

（1）命題必須是個完整的句子；

（2）這個句子必須對某件事情做出判斷。

公理：

人們在長期實踐中總結出來的得到人們公認的真命題，叫做公理。

定理：

通過真命題（公理或其他已被證明的定理）出發，經過受邏輯限制的演繹推導，證明為正確的結論的命題或公式，例如“平行四邊形的對邊相等”就是平面幾何中的一個定理。

一般來說，在數學中，只有重要或有趣的陳述才叫定理，證明定理是數學的中心活動。相信為真但未被證明的數學敘述為猜想，當它被證明為真后便是定理。它是定理的來源，但并非唯一來源。一個從其他定理引伸出來的數學敘述，可以不經過證明成為猜想的過程，成為定理。

如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。

在命題邏輯中，所有已證明的敘述都稱為定理。

經過長期實踐后公認為正確的命題叫做公理，用推理的方法判斷為正確的命題叫做定理。