Using Rules of Inference, can you show step by step that this argument is valid? NOT(IF p THEN q) AND p = NOT(q)
The Answer to the Question
is below this banner.
Here's the Solution to this Question
1)NOT(IF p THEN q) Premise
3)p AND NOT(q) Negating a Conditional(1)
4)NOT(q) Conjunction elimination(3)