SOLUTION: Use the 17 rules of inference to prove the arguments valid:
I did not have the right keys for some of the logical operators, so here is what they are:
~ negation
. conjuncti
Algebra.Com
Question 483036: Use the 17 rules of inference to prove the arguments valid:
I did not have the right keys for some of the logical operators, so here is what they are:
~ negation
. conjunction
v disjunction
> implication
= equivalence
Thanks!!
1) 1. (S v Q) / ~P > ~S
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!
The truth of 
tells you nothing about the truth of 
. In the first place, S could be either true or false provided Q was true. If S is false AND (which is what we were trying to prove) is true, then certainly P -- but so what? That tells you nothing about not S. Then again, S could just as easily be true which tells you nothing about P.
So either the answer is "Cannot be proven" or you left off a "Given" or two.
John
My calculator said it, I believe it, that settles it
RELATED QUESTIONS
1. (O+M)>S
2. ~S /~M
Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)
1. J+(K.L)
2. ~K /J
Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)
Prove that the two arguments below are valid, using
the method of natural deduction.... (answered by Edwin McCravy)
Proving [F • (D ⊃ ∼F)] ⊃ (D ⊃ A) using the eighteen logical rules of... (answered by math_tutor2020)
Hello,
Can someone please help me. I submitted this problem yesterday and it due in... (answered by rapaljer)
1. ~(~E.~N)>T
2. G>(N+E) /G>T
Use the eighteen inference rules to construct proofs... (answered by Edwin McCravy)
1. R>~B
2. D+R
3. B /D
Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)
Topics In Contemporary Math
Arguments
Use truth tables to determine if each of the (answered by Edwin McCravy)
I can only use the rules of inference/replacement
1) R v ~T
2) ~T -> O
3) ~O... (answered by jim_thompson5910)
