Jump to content

Transitivity of identity

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Evercat (talk | contribs) at 18:03, 14 June 2003 (''See also:'' transitivity, identity). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The transitivity of identity is the logical principle that, if A = B, and B = C, then A = C.

For example, if you know that the morning star is the same thing as the evening star, and you know that the evening star is Venus, you can conclude that the morning star is Venus.

See also: transitivity, identity