Do you have any examples?
>Sometimes you need to prove `A ∨ B ⇒ C`; that's your proof goal. To do that, you prove `A ⇒ C` and `B ⇒ C`. That's all.
Yeah, I was just confused, it's just or-elimination with a different notation.
https://existentialtype.wordpress.com/2011/03/16/languages-a...
https://www.quora.com/What-is-Lambda-Calculus-in-laymans-ter...
I wrote about some aspects of this mutual... hmm... let's call it skepticism here: https://pressron.wordpress.com/2016/08/30/what-we-talk-about...
Do you have any examples?
>Sometimes you need to prove `A ∨ B ⇒ C`; that's your proof goal. To do that, you prove `A ⇒ C` and `B ⇒ C`. That's all.
Yeah, I was just confused, it's just or-elimination with a different notation.