恰克圖條約

[拼音]：tongyilü

[英文]：law of identity

傳統邏輯基本規律之一。通常表述為A是A。在傳統邏輯裡，同一律首吸a href='http://www.baiven.com/baike/224/276460.html' target='_blank' >仁親魑攣鐗墓媛商岢隼吹模湟饈僑我皇攣鍤鞘裁淳褪鞘裁矗慈我皇攣鎘胱隕磽弧Ｆ浯危宦捎質撬嘉墓媛桑饢我幻饈欽嫻木褪欽嫻摹Ｍ宦苫貢槐硎鑫恢止賾諶鮮痘疃墓娣緞緣墓媛桑慈嗣僑綣隙騁幻猓陀Ω枚隙ㄕ庖幻狻Ｍ宦珊罄椿貢豢闖陝嘸鏌宓墓媛桑叢諭簧舷攣鬧校揮鉲駛蠐錁漵Φ北硎鐾凰枷搿Ｗ魑罅街止媛桑宦殺蝗銜欠樂僱禱桓拍罨蜃坡厶獾母藎蛑渤１懷莆宦傻囊蟆Ｎシ賜宦梢蟮乃枷胍歡ㄊ腔炻液痛砦蟮摹Ｍ宦梢笏枷氡３秩範ㄐ裕環袢蝦團懦饈攣鍩蛩枷氳謀浠⒄埂Ⅻ/p>

亞里士多德在建立傳統邏輯體系時，雖然沒有明確提出同一律，但在他的某些言論中已有關於同一律的思想和應用。例如，他在《前分析篇》中說：“任何真實的事物，必定在每一方面與它自身一致”。在現代邏輯中，A→A（讀為如果A則A），可以看作是同一律在命題邏輯中的體現； x=x可以看作是同一律在帶等詞的謂詞邏輯中的體現。