Difference between revisions of "Trinary index"
From Maths
(Created page with "A trinary index is a way of indexing lists of theorems by their properties. It works as follows: {| class="wikitable sortable" border="1" |- ! Theorem ! class="unsortable" |...") |
(No difference)
|
Revision as of 20:25, 22 June 2015
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.
