Quote: equivalent terms are terms that can be substituted without altering the truth of any statement.

Quotation Skeleton

Definition 1. Terms which can be substituted for … [salva veritate], are the same [eadem] or coincident [coincidentia]. For example, "triangle" … loss of truth. A=B [Leibniz writes A.infinity.B ...] signifies that A … straight line YX … , XY = YX, or the shortest pat … [point] moving from X to Y coincides with that from Y … be substituted for one another, are different [diversa]. Such as "circle" and "triangle" … A.notEqual.B signifies that A and B are different … Proposition 1. If A=B, then also B=A. If … since A=B (by hyp.), it follows (by def. … A for B; hence we have B=A. … Proposition 3. If A=B and B=C, then A=C. … A=B (true by hyp.) C be substituted for …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: equivalent terms are reflexive and transitive; i.e., A=B implies B=A, and, A=B and B=C imply A=C

Related Topics

Topic: object and value equivalence (60 items)