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 ->
Proofs
-> 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
Log On
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
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
