[拼音]：tongyilü
[外文]：law of identity
传统逻辑基本规律之一。通常表述为A是A。在传统逻辑里，同一律首�仁亲魑挛锏墓媛商岢隼吹模湟馐侨我皇挛锸鞘裁淳褪鞘裁矗慈我皇挛镉胱陨硗弧Ｆ浯危宦捎质撬嘉墓媛桑馕我幻馐钦娴木褪钦娴摹Ｍ宦苫贡槐硎鑫恢止赜谌鲜痘疃墓娣缎缘墓媛桑慈嗣侨绻隙骋幻猓陀Ω枚隙ㄕ庖幻狻Ｍ宦珊罄椿贡豢闯陕呒镆宓墓媛桑丛谕簧舷挛闹校挥锎驶蛴锞溆Φ北硎鐾凰枷搿Ｗ魑罅街止媛桑宦杀蝗衔欠乐雇祷桓拍罨蜃坡厶獾母荩蛑渤１怀莆宦傻囊蟆Ｎシ赐宦梢蟮乃枷胍欢ㄊ腔炻液痛砦蟮摹Ｍ宦梢笏枷氡３秩范ㄐ裕环袢虾团懦馐挛锘蛩枷氲谋浠⒄埂�
亚里士多德在建立传统逻辑体系时，虽然没有明确提出同一律，但在他的某些言论中已有关于同一律的思想和应用。例如，他在《前分析篇》中说：“任何真实的事物，必定在每一方面与它自身一致”。在现代逻辑中，A→A（读为如果A则A），可以看作是同一律在命题逻辑中的体现； x=x可以看作是同一律在带等词的谓词逻辑中的体现。