# logic

posted 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

posted 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