SOLUTION: How do I prove:
P, ~(P&Q) ⊢ ~Q
Algebra.Com
Question 1005719: How do I prove:
P, ~(P&Q) ⊢ ~Q
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Step 1) Use De Morgan's Law to go from ~(P&Q) to ~P v ~Q
Step 2) Use the disjunctive syllogism property with ~P v ~Q and P (which is really ~~P) to get ~Q
Step 3) If you assume the complete opposite of the conclusion, we will assume ~~Q is true. That's the same as saying Q is true
Step 4) From step 3, we assume Q is true. But step 2) says that ~Q is true. They both can't be true at the same time. If Q is true, then ~Q is false or vice versa. This is a contradiction. So that invalidates the assumption made in step 3. So the complete opposite must be true. Otherwise we get a contradiction.
In short, if you assume Q to be true, then we end up with a contradiction. So ~Q must be true. This wraps up the proof.
RELATED QUESTIONS
how do I factor
(p+q)squared-2(p+q)-15
thank... (answered by richwmiller)
how do i factorise the equation (p+q)^2 +... (answered by Alan3354)
how do I solve
q+4/q-1 + q/q+1... (answered by Theo)
Given ¬(p∧q), prove... (answered by Edwin McCravy)
I know that these two conjuncts are equivelant, but I do not know how to solve/show this!
(answered by jim_thompson5910)
How do I provide a proof in regards to(P→Q)v(Q→P) ? propositional... (answered by stanbon)
How do I do this problem? I am lost.
Construct a truth table for ~q -> (~q ^... (answered by Mathtut)
How do I solve: 3p-2=-q
-q+2p=3... (answered by MathLover1)
Q=45-3P how do I solve for P and how do I graph... (answered by aaronwiz)