Indicate whether the following are valid or possibly invalid. 1. {A} code {E} 2. {C} code {D}

If invalid, explain why

A, B, C, D, E, F are logical conditions (logical formulas). The following are true: B => D (B implies D, i.e., B is stronger than D) C => D D => F A => E {F} code {B}