transitive
The transitive property of logic is
Where is the conditional truth function. From this we can derive that
| Title | transitive👁 Mathworld 👁 Planetmath 👁 Planetmath 👁 Planetmath |
|---|---|
| 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 |
