SOLUTION: Premise:
1.
~S
Conclusion:
~(F • S)
What is proof, line and rule?
Algebra.Com
Question 1209090: Premise:
1.
~S
Conclusion:
~(F • S)
What is proof, line and rule?
Answer by math_tutor2020(3816) (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.
| Number | Statement | Line(s) Used | Reason |
| 1 | ~S | | |
| :. | ~(F & S) | | |
| 2 | ~S v ~F | 1 | Addition |
| 3 | ~F v ~S | 2 | Commutation |
| 4 | ~(F & S) | 3 | De Morgan's Law |
Here's a list of rules of inference and replacement
RELATED QUESTIONS
Using Inference Rules
Premise 1. (P * Q) > R
Premise 2. (P * Q) V S
Premise 3. ~ R (answered by Edwin McCravy)
Solve the problem using rules of inference and replacement:
Premise 1) Q v (R . S)... (answered by solver91311)
Solve the given proof for L. Include the rule and premise(s) from which each step was... (answered by jim_thompson5910)
Premise:
1.
F
Conclusion:
(G ⊃ H) ∨ (~G ⊃ J)
Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)
I’m doing homework concerning the rules of replacement. We are allowed to use 8 rules of... (answered by jim_thompson5910)
Please help me solve this proof:
Premise 1: (E • I) v (M •U)
Premise 2: ~E... (answered by jim_thompson5910)
Proof by Natural Deduction – Propositional Logic. Use a direct proof to show that the... (answered by robertb)
Give a proof of the following argument:
1 (1) A --> (B & ~K) Premise
2 (2) (B (answered by jim_thompson5910)
I. Evaluate the following arguments:
1.
1. ∼B ⊃ [(A ⊃ K ) ⊃ (B v ∼K )] 2.... (answered by Edwin McCravy)