(no subject)
Jun. 5th, 2019 01:04 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsLast 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.
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.
