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

March 2026

S M T W T F S
1 2 34 5 67
8 9 101112 13 14
15 16 1718192021
22232425262728
293031    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Mar. 18th, 2026 04:43 pm
Powered by Dreamwidth Studios