SOLUTION: I know that these two conjuncts are equivelant, but I do not know how to solve/show this!
prove ~(pvq) |- ~p &~q
Algebra.Com
Question 188797: I know that these two conjuncts are equivelant, but I do not know how to solve/show this!
prove ~(pvq) |- ~p &~q
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
You can use a truth table to prove this statement:
| p | q | ~p | ~q | p v q | ~(p v q) | ~p & ~q |
| T | T | F | F | T | F | F |
| T | F | F | T | T | F | F |
| F | T | T | F | T | F | F |
| F | F | T | T | F | T | T |
Notice how the columns in red have the same truth values. So this shows that the last columns are logically equivalent.
RELATED QUESTIONS
True or False?
PV (~q) =_ ~(~pVq)
Please note that the equal sign has three lines... (answered by jim_thompson5910)
Today I asked my Professor in my Logic class if I could do this.
1. ~P
2. ~(PvQ)>~R... (answered by jim_thompson5910)
Okay I have this question I thought I understood I thought the answer would be ~(~pVq) (answered by jim_thompson5910)
1. pV(q . r)
2. ~p /q . r
How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, (answered by jim_thompson5910)
In the diagram below, ⊙P has radius 3, ⊙Q has radius 5, and PQ= √5+√21. Find... (answered by MathLover1)
This is a unusual question but I came here because I don’t have anyone else to ask... (answered by MathLover1,ikleyn)
Hi i would really appreciate it if someone would help me with this problem.
If... (answered by venugopalramana)
For this problem: All the roots of
x^2 + px + q = 0 are real, where p and q are real... (answered by Edwin McCravy,AnlytcPhil,Plocharczyk,mccravyedwin)
Suppose that the functions p and q are defined as follows:
p(x)=-2x+1
q(x)=-x^2
Find (answered by fcabanski)