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?

1

1 comments

  • Wednesday, Oct 02 2019

    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.

    0

Confirm action

Are you sure?