「公理」意思是什麼?公理造句有哪些?公理的解釋、用法、例句


想知道公理意思是什麼?公理的造句有哪些?或是想知道公理的注音、漢語拼音以及公理的用法及例句有哪些嗎?在單詞意思解釋辭典通通找得到。

公理的意思

釋意1.眾人所公認具有一定客觀性和真理性的道理。
2.經過長期反覆驗證而為人所公認的定論,常被用來解決問題和證明其他陳述。如A=B,B=C則A+B=A+C。

公理的用法、造句

用法、例句[例]公理自在人心,任憑強辭狡辯,也無濟於事。

公理的注音

注音(1)ㄍㄨㄥ ㄌㄧˇ

公理的漢語拼音

漢語拼音(1)gōng lǐ

公理的筆畫

筆畫gōng lǐ
拆解字詞>>
以上資料來於教育部國語辭典簡編本

公理造句、例句

  1. 存在著唯一的真理,而任何一個命題只能是真或假。
  2. 若A等於B,B等於C,那麼A等於C,這是幾何公理的基礎。
  3. 一個集合中的元素只能出現一次,這是集合公理的定義。
  4. 兩個平行線永遠不會相交,這是幾何公理之一。
  5. 任何兩個整數的和都是一個整數,這是加法公理。
  6. 在同一平面上,通過一點只能有一條直線與其平行,這是平面幾何公理。
  7. 等量物體在等量的約束下保持相等,這是質量守恆定律的本質。
  8. 兩個垂直線之間的夾角是90度,這是幾何公理之一。
  9. 一個空集是一個集合,其中沒有元素,這是集合公理的定義。
  10. 不存在最大的素數,這是數學公理之一。

「公理」的維基百科解釋

在傳統邏輯中,公理(英語:axiom)是沒有經過證明,但被當作不證自明的一個命題。因此,其真實性被視為是理所當然的,且被當做演繹及推論其他(理論相關)事實的起點。當不斷要求證明時,因果關係畢竟不能無限地追溯,而需停止於無需證明的公理。通常公理都很簡單,且符合直覺,如「a+b=b+a」。

不同的系統,會預計不同的公理。例如非歐幾何的公理,和歐氏幾何的公理就有一點不同;另外,集合論的選擇公理在許多系統的建構中,也富有爭議。有些系統堅持不預設選擇公理。也有一些數學家在建構系統時,刻意排除掉皮亞諾公理中的數學歸納法,以確保所有的證明,都可以直接演算。

在數學中,公理這一詞被用於兩種相關但相異的意思之下——邏輯公理和非邏輯公理。在這兩種意義之下,公理都是用來推導其他命題的起點。和定理不同,一個公理(除非有冗餘的)不能被其他公理推導出來,否則它就不是起點本身,而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。

邏輯公理通常是被視為普遍為真的陳述(如 (A ∧ B) → A),而非邏輯公理(如a + b = b + a)則實際上是在一特定數學理論(如算術)中的定義性的性質。在後者的意思之下,公理又可被稱為「公設」。一般而言,非邏輯公理並不是一個不證自明的事實,而應該說是在建構一個數學理論的過程中被用來推導的一個形式邏輯表示式。要公理化一個知識系統,就是要去證明該系統的主張都可以由數目不多而又可明確理解的陳述(公理)推導出來。一般來說都有多種方法來公理化一個給定的數學領域。

然而,邏輯公理系統也並非唯一。直覺主義邏輯、模糊邏輯等新的邏輯結構,都建立在略有差異的公理上。因此,與其把公理看作不證自明的事實,不如看作是在一個特定的數學或邏輯系統中,先於一切證明的前設。

以上資料來自維基百科

參考資料