已停用 啟用查詢紀錄
xiāng děng
相同。例一公斤的棉花及一公斤的鐵,重量是相等的。
相同。《初刻拍案驚奇》卷五:「如此小娘子該配此才郎!況且年貌相等,門閥相當。」
在數學的領域中,若兩個數學對象在各個方面都相同,則稱他們是相等的. 這就定義了一個二元謂詞等於,寫作“ 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這樣的表達式(它可能是個函數謂詞). 一些例...閱讀更多
MD5 | SHA1 |
---|---|
36f3f71c3830a65c677cf8dfd065a418 | 6a69fd718415d2c27a3b49df05e5741b095f05cd |
什麼是雜湊 |