Search results

Given: 1. (A v B) -> ~(C v D) 2. (~C.E) -> (F.~O) 3. (F v ~H) -> (J.~K) Need to Show: (A.E) -> ~K I solved the problem using Conditional Proof technique. But now I am trying to solve the problem just with the rules of replacement i.e Modus Ponents, Modus Tolens, Hypothetical Syllogism...