SOLUTION: 1.(N V O) ⊃ (C • D)
2.(D V K) ⊃ (P V ~C)
3.(P V G) ⊃ (N • D)
∴ ~N
Algebra.Com
Question 1190080: 1.(N V O) ⊃ (C • D)
2.(D V K) ⊃ (P V ~C)
3.(P V G) ⊃ (N • D)
∴ ~N
Answer by math_tutor2020(3816) (Show Source): You can put this solution on YOUR website!
T = true
F = false
To see if we have an invalid argument, we have to try to make the conclusion false and all premises true.
If ~N = F, then N = T
If N = T, then N v O = T
To make (N v O) -> (C * D) true, the C*D portion must be true. This breaks down to C = T and D = T.
Because D = T, we can say D v K = T
This leads to P v ~C needing to be true
C = T tells us ~C = F
So P = T must be the case if we want P v ~C = T
If P = T, then P v G = T regardless if G is true or false
The N*D portion is true because both N = T and D = T together. So (P v G) -> (N*D) is true overall.
In short, if we have the following
N = T
C = T
D = T
P = T
then all the premises will be true, but the conclusion ~N would be false.
Therefore, this argument is invalid.
RELATED QUESTIONS
55.
1. (L ≡ N) ⊃ C
2. (L ≡ N) v (P ⊃ ~E)
3. ~E ⊃ C
4. ~C /~P
56.
(answered by math_tutor2020)
1. (P v F) -> (A v D)
2. A -> (M ^ ~P)
3. D -> (C ^ ~P) /... (answered by Edwin McCravy)
How do I solve these proofs?
Number one
1.~B v[(C>D)&(E>D)]
2. B&(C v E)... (answered by jim_thompson5910)
P l e a s e h e l p m e s o l v e t h i s
f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)
This has me baffled. R=PV/nT;V (Chemistry)
Options: A) V=n/PRT
B) V=nRT/P
(answered by user_dude2008)
Solve the two step proofs below:
1. ~C
2. A > B
3. B > C / ~A
1. D > E
2. F > G
(answered by Edwin McCravy)
1. (EvF)$(E->L,L->M,D.(D&F(->F)->L |- L&M
2. FvI, F->(-D->N),... (answered by lynnlo)
1. (P>K) V (F>Y)
2. (PvF) . (KvY)
3. [(P>K)>~N]. [(F>Y)>O]
4. K . ~Y
/ ~NvO
(answered by lynnlo,jim_thompson5910)
1. D
2. ~C
3. (A v B) -> C
4. [(~A • D) • ~B] -> (P -> Q) :. ~P v... (answered by jim_thompson5910)