Answer to Question #103660 in Discrete Mathematics for GARRETT STREALY

Question

Using Rules of Inference, can you show step by step that this argument is valid?
NOT(IF p THEN q) AND p = NOT(q)

Answer 1

1)NOT(IF p THEN q) Premise

2)p Premise

3)p AND NOT(q) Negating a Conditional(1)

4)NOT(q) Conjunction elimination(3)