Hi,

I just reviewed the embedded conditional lecture by J.Y.

I now understand why A -> (B->C) becomes A and B -> C

I was wondering what happens if (A->B) -> C appears in the stimulus.

When I tried to translate the conditional by myself

I got this.

(A->B) -> C

~(A->B) or C

~(~A or B) or C

(A and ~B) or C

~A or B -> C

Is this correct? I think there is something wrong about this... but I don't seem to get the exact reason why...

Please help me out 7sagers! :)