Post a New Question

logic

posted by .

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

Answer This Question

First Name
School Subject
Your Answer

Related Questions

More Related Questions

Post a New Question