顶[0] 分享 评论[0] 编辑 分享到 腾讯微博 开心001 人人网 新浪微博 QQ空间 微信 印象笔记 同一性 在逻辑中,同一(identity)关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词"=",使得对于所有x和y,"x=y"为真,当且仅当x和y是同一个事物。 同一是传递的、对称的和自反的。 它是最常见的模态逻辑的一个公理,对于所有x,如果x=x则必然x=x。 附件列表 下载次数:0 0 词条内容仅供参考,如果您需要解决具体问题(尤其在法律、医学等领域),建议您咨询相关领域专业人士。 如果您认为本词条还有待完善,请 编辑 上一篇 变形性 下一篇 同义突变