SOLUTION: Premise: 1. ~S Conclusion: ~(F • S) What is proof, line and rule?

Algebra ->  Proofs -> SOLUTION: Premise: 1. ~S Conclusion: ~(F • S) What is proof, line and rule?      Log On


   

Question 1209090: Premise:
1.
~S
Conclusion:
~(F • S)
What is proof, line and rule?
Answer by math_tutor2020(3816) About Me  (Show Source):
You can put this solution on YOUR website!

This is one way to do the derivation.
I'm using an ampersand (&) in place of a dot.
NumberStatementLine(s) UsedReason
1~S
:.~(F & S)
2~S v ~F1Addition
3~F v ~S2Commutation
4~(F & S)3De Morgan's Law

Here's a list of rules of inference and replacement