已停用 啟用查詢紀錄
等式
děng shì
解釋
以等號連結成相等的兩個代數式。如5X－2＝4X＋1。
國語辭典簡編本
解釋
相等的兩個代數式，以等號相連結的，稱為「等式」。如3X＋7＝2X＋12。
重編國語辭典
解釋
在數學的領域中，若兩個數學對象在各個方面都相同，則稱他們是相等的. 這就定義了一個二元謂詞等於，寫作“ y當且僅當x和y相等. 通常意義上，等於是通過兩個元素間的等價關係來構造的. 將兩個表達式用等於符號連起來，就構成了等式，例如6-2 B”並不表示等式. 例如，T(n) ”不滿足若且唯若的定義，所以它不等於等於符號；實際上，O(n^2) y當且僅當對任意謂詞P ，P(x)當且僅當P(y). 然而，在一階邏輯中，不能對謂詞進行量化. 因此，需要使用下述公理： :對任意x和y，若x等於y，則P(x)當且僅當P(y). 這條公理對任意單變量的謂詞P都有效，但只定義了萊布尼茨律的一個方向：若x和y相等，則它們具有相同的性質. 可以通過簡單的假設來定義萊布尼茨律的另一個方向： :對任意x，x等於x. 則若x和y具有相同的性質，則特定的它們關於謂詞P是相同的. 這裡謂詞P為：P(z)當且僅當x y（' 'P的變量為y）. 對任意量a和b和任意表達式F(x)，若a F(b)（設等式兩邊都有意義）. 在一階邏輯中，不能量化像F這樣的表達式（它可能是個函數謂詞）. 一些例...閱讀更多
中文維基百科