等值

數學公式之一

等值是一種數學公式。

由前所述,資金有時間價值,即使金額相同,因其發生在不同時間,其價值就不相同。反之,不同時點絕對不等的資金在時間價值的作用下卻可能具有相等的價值。這些不同時期、不同數額但其“價值等效”的資金稱為等值,又叫等效值。資金等值計算公式和複利計算公式的形式是相同的。

離散數學定義


設A、B為兩命題公式,若等價式是重言式,則稱A與B是等值的,記作.
注意,定義中引進的符號“"與“=”或“”混為一談。
另外,不難看出命題公式之間的等值關係是自反的,對稱的和傳遞的,因而是等價的關係。
根據定義判斷兩命題公式是否等值可用真值表法,但可以將真值表簡化。設A、B為兩命題公式,由定義判斷A與B是否等值,應判斷是否為重言式,若的真值表的最後一列全為1,則為重言式,因而當且僅當在各賦值之下,A與B的真值相同,因而判斷A與B是否等值等價於判斷A、B的真值表是否相同。

重要公式


用真值表法驗證許多等值式,其中有些是很重要的,它們是通常所說的布爾代數邏輯代數的重要組成部分。24個重要等值式,是學好數理邏輯的關鍵之一。
公式中A、B、C仍代表任意的命題公式。
摩根律
吸收律
零律
同一律
排中律
矛盾律
蘊涵等值式
等價等值式
假言易位
等價否定等值式
歸謬論
雙重否定律
等冪律
交換律
結合律
分配律