Embedded Conditionals

Andrew Alterio

In his video on EC, JY discusses the example A ----> (B---> C), where the embedded part is second, and it becomes A + B ----> C. But what if the embedded conditional is first [(A--->B) ----> C], what would the mechanical rule be then? Do we say that A----> B + C?

EveryCookCanGovern

Also interested in this. Frequently I'd come upon the latter embedded and realize it's not the same structure and can't make the translation.