等量公理

等量公理(axioms of equality)是代数中的多个公理,其创建于:“相等”具有自反性(reflexivity)、对称性(对称性)、传递性(transitivity);等量公理可用于解方程序。严格来说,等量公理并非真正的公理,因为它们可从更基本的公理,特别是莱布尼茨定律推导出来[1]

描述

三数,若得,则:

反之,若:

其中一者成立,则

(在等号两边同除以一个数【不为零】等式依然成立 )

移项法则

移项法则为等量公理的应用,常用于计算中。

例题

求未知数,并使用到等量公理:

参考

  1. . [2023-02-15]. (原始内容存档于2023-03-27).

参见

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.