Trinary index
From Maths
A trinary index is a way of indexing lists of theorems by their properties. It works as follows:
| Theorem | [ilmath]A[/ilmath] | [ilmath]B[/ilmath] | [ilmath]C[/ilmath] | [ilmath]\longrightarrow[/ilmath] | [ilmath]X[/ilmath] | [ilmath]Y[/ilmath] | [ilmath]Z[/ilmath] |
|---|---|---|---|---|---|---|---|
| Theorem fff-mmt | F | F | F | [ilmath]\iff[/ilmath] | M | M | T |
| Theorem ffm-ttf | F | F | M | [ilmath]\implies[/ilmath] | T | T | F |
| Theorem ttf-tmf | T | T | F | [ilmath]\implies[/ilmath] | T | M | F |
| Theorem ttt-tmf | T | T | T | [ilmath]\implies[/ilmath] | T | M | F |
Notice the way the keys are sorted.
Editors notes
- The key values are empty-false-maybe-true in that order
