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