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 8910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 9th, 2026 05:31 pm
Powered by Dreamwidth Studios