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

June 2026

S M T W T F S
  1 234 5 6
7 89 10 11 1213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 13th, 2026 05:23 am
Powered by Dreamwidth Studios