Answer to Question #103660 in Discrete Mathematics for GARRETT STREALY

Discrete Mathematics

Question #103660

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

Expert's answer

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)

Learn more about our help with Assignments: Discrete Math

Comments

No comments. Be the first!

Leave a comment

Related Questions

1. ‘A is sufficient for B’ is equivalent to ‘the negative of A is necessary for the negative of
2. Let R be a relation on ℤ given by xRy if and only if x²-y² is divisible by 3. Show that this re
3. Using the method of "searching for a falsifying truth assignment" prove the De Morgan
4. 1. To access your Webwork account you are required to input the correct user- name and password. Su
5. If A= (a,b,c) then generate P(A) and 3 partition sets for A.
6. 1. Construct a proof for the five color theorem for every planar graph. 2. Discuss how efficiently
7. 1. State the Dijkstra’s algorithm for a directed weighted graph with all non-negative edge weights