公理定義
亦稱“公設(shè)定義”、“隱定義”。通過在公理系統(tǒng)中使用被定義項(xiàng),由此自然而然地明確被定義項(xiàng)的語(yǔ)法作用和特征的定義方法。如一些命題邏輯系統(tǒng)以“﹁”(否定)和“→”(蘊(yùn)涵)作為初始概念,不加定義,而通過公理,在公理系統(tǒng)中使用它們,明確其意義作用,這就是公理定義。
海量資源,盡在掌握
公理定義
亦稱“公設(shè)定義”、“隱定義”。通過在公理系統(tǒng)中使用被定義項(xiàng),由此自然而然地明確被定義項(xiàng)的語(yǔ)法作用和特征的定義方法。如一些命題邏輯系統(tǒng)以“﹁”(否定)和“→”(蘊(yùn)涵)作為初始概念,不加定義,而通過公理,在公理系統(tǒng)中使用它們,明確其意義作用,這就是公理定義。