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)