Asked by Elaine

I need help proving these arguments using rules of inference, please.

(S>B) > (SvK)
(Kv~D) ~ (H>S)
~S.W / ~H



~A > (B>~C)
~D > (~C >A)
D v ~A
~D
There are no human answers yet.
There are no AI answers yet. The ability to request AI answers is coming soon!