Proofs in Propositional Logic. Show that each of the
following arguments is valid by constructing a proof.
4.
D
~D∨(E≡F)
~E⊃~F