A followup to yesterday (?)'s post. I had an idea about how to be able to recognize the normal inference, but avoiding recognizing the other one if one so wants to. I don't particularly feel like this is the right way to go, but supposing someone wants to do it.
A small thing about enumerative induction #2
A small thing about enumerative induction #2
A small thing about enumerative induction #2
A followup to yesterday (?)'s post. I had an idea about how to be able to recognize the normal inference, but avoiding recognizing the other one if one so wants to. I don't particularly feel like this is the right way to go, but supposing someone wants to do it.