SYMBOLIC LOGIC use a constructive proof to valididate the fo

SYMBOLIC LOGIC

use a constructive proof to valididate the following argument:

please use symbolic logic to answer the question not words/sentences and indent the assumed conditional proof please

1. (A v B) <-> (C · D)    Premise

2. (~ A v ~ B) E        Premise    CONCLUSION: (~ C v ~ D) E

?? 3. ~Cv~D (assume for the conditional proof) ??

4. ?

Solution

3. ~Cv~D --> E

from #1 and #2