Solution Found!
Show that the equivalence can be derived using resolution
Chapter 7, Problem 32E(choose chapter or problem)
QUESTION:
Show that the equivalence \(p \wedge \neg p \equiv \mathbf{F}\) can be derived using resolution together with the fact that a conditional statement with a false hypothesis is true. [Hint: Let \(q=r=\mathbf{F}\) in resolution.]
Equation Transcription:
Text Transcription:
p wedge neg p equiv F
q=r=F
Questions & Answers
QUESTION:
Show that the equivalence \(p \wedge \neg p \equiv \mathbf{F}\) can be derived using resolution together with the fact that a conditional statement with a false hypothesis is true. [Hint: Let \(q=r=\mathbf{F}\) in resolution.]
Equation Transcription:
Text Transcription:
p wedge neg p equiv F
q=r=F
ANSWER:
Solution:
Step 1 :
We have to show that can be derived using resolution.