2 ms·
>Oh, that article is especially trollish, but there are articles like that in both camps Do you have any examples? >Sometimes you need to prove `A ∨ B ⇒ C`; t
by joel_ms 10y ago
>Oh, that article is especially trollish, but there are articles like that in both camps
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.
- pron 10y ago> Do you have any examples? https://existentialtype.wordpress.com/2011/03/16/languages-and-machines/ https://existentialtype.wordpress.com/2011/03/16/languages-a... https://www.quora.com/What-is-Lambda-Calculus-in-laymans-terms/answer/Robert-Harper 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-when-we-talk-about-computation/ https://pressron.wordpress.com/2016/08/30/what-we-talk-about...