)同一性
在逻辑中，同一(identity)关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词"="，使得对于所有x和y，"x=y"为真，当且仅当x和y是同一个事物。
同一是传递的、对称的和自反的。
它是最常见的模态逻辑的一个公理，对于所有x，如果x=x则必然x=x。
在逻辑中，同一(identity)关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词"="，使得对于所有x和y，"x=y"为真，当且仅当x和y是同一个事物。
同一是传递的、对称的和自反的。
它是最常见的模态逻辑的一个公理，对于所有x，如果x=x则必然x=x。
互动百科的词条（含所附图片）系由网友上传，如果涉嫌侵权，请与客服联系，我们将按照法律之相关规定及时进行处理。如需转载，请注明来源于www.hudong.com。
