Jun. 5th, 2019

timelets: (Default)
Last night I mediated on this definition (from Strassburger):



wherein, A ⇒ B means B is a consequence of A.

It occurred to me that generalization/specification is a method of defining equivalence classes. Therefore, we can use it explicitly to construct a different skeleton over the same body of statements and generate a different path of consequences.

Profile

timelets: (Default)
timelets

January 2026

S M T W T F S
     1 2 3
4 5 67 8 9 10
1112 13 14 15 16 17
18 19 20 21 2223 24
25 26 27 28 2930 31

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 2nd, 2026 02:09 am
Powered by Dreamwidth Studios