由前所述,资金有时间价值,即使金额相同,因其发生在不同时间,其价值就不相同。反之,不同时点绝对不等的资金在时间价值的作用下却可能具有相等的价值。这些不同时期、不同数额但其“价值等效”的资金称为等值,又叫等效值。资金等值计算公式和复利计算公式的形式是相同的。
离散数学定义
设A、B为两命题公式,若等 价式A B是重言式,则称A与B是 等值的,记作A<=>B.
注意,定义中引进的符号“<=>"与“=”或“ ”混为一谈。
另外,不难看出命题公式之间的等值关系是自反的,对称的和传递的,因而是等价的关系。
根据定义 判断两命题公式是否等值可用真值表法,但可以将真值表简化。设A、B为两命题公式,由定义判断A与B是否等值,应判断A B是否为重言式,若A B的真值表的最后一列全为1,则A B为重言式,因而A<=>B当且仅当在各赋值之下,A与B的真值相同, 因而判断A与B是否等值等价于判断A、B的真值表是否相同。
重要等值式
用真值表法验证许多等值式,其中有些是很重要的,它们是通常所说的布尔代数逻辑代数的重要组成部分。24个重要等值式,是学好数理逻辑的关键之一。
公式中A、B、C仍代表任意的命题公式。
德摩根律 | |
吸收律 | |
零律 | |
同一律 | |
排中律 | |
矛盾律 |
蕴涵等值式 | |
等价等值式 | |
假言易位 | |
等价否定等值式 | |
归谬论 |
双重否定律 | |
等幂律 | |
交换律 | |
结合律 | |
分配律 | |