transitive (original) (raw)
The transitive property of logic is
| (a⇒b)∧(b⇒c)⇒(a⇒c) |
|---|
Where ⇒ is the conditional truth function. From this we can derive that
| (a=b)∧(b=c)⇒(a=c) |
|---|
| Title | transitive |
|---|---|
| Canonical name | Transitive1 |
| Date of creation | 2013-03-22 12:14:16 |
| Last modified on | 2013-03-22 12:14:16 |
| Owner | akrowne (2) |
| Last modified by | akrowne (2) |
| Numerical id | 5 |
| Author | akrowne (2) |
| Entry type | Definition |
| Classification | msc 03B05 |
| Synonym | transitive property |