SOLUTION: Can you please assist me with these problems? We are using the Rules of Inference and the Rules of Replacement and I am very confused about the Replacement Rules.Thank you very muc

Question 926966: Can you please assist me with these problems? We are using the Rules of Inference and the Rules of Replacement and I am very confused about the Replacement Rules.Thank you very much!
#1-
Q=>(W * D) premise
Q=>W conclusion
#2-
I v (N * F) premise
I => F premise
F conclusion
#3-
P=>A premise
Q=>B premise
(P v Q) => (A v B) conclusion

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
I'll do the first one to get you started.

I'm using these rules here
https://www.blinn.edu/brazos/humanities/avoelkel/logic%20note%20sheet.pdf

# 1

1.  Q -> (W * D)
/   Q -> W
-------------------------------------------------------
2.  ~Q v (W * D)                  1      Material Implication
3.  (~Q v W) * (~Q v D)           2      Distribution
4.  ~Q v W                        3      Simplification
5.  Q -> W                        4      Material Implication

Note: Material Implication and Distribution are rules of replacement while Simplification is a rule of inference.

What's the difference? A rule of inference applies to the WHOLE line. A rule of replacement can apply to a piece of a line which means it is easier to apply. Notice how simplification would NOT work on line 1 because it's a rule of inference. You would need line 1 to be W*D in order for simplification to work.

------------------------------------------------------------------------------------------------------------------------

If you need more one-on-one help, email me at jim_thompson5910@hotmail.com. You can ask me a few more questions for free, but afterwards, I would charge you ($2 a problem to have steps shown or $1 a problem for answer only).

Alternatively, please consider visiting my website: http://www.freewebs.com/jimthompson5910/home.html and making a donation. Any amount is greatly appreciated as it helps me a lot. This donation is to support free tutoring. Thank you.

Jim
------------------------------------------------------------------------------------------------------------------------
RELATED QUESTIONS
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O... (answered by jim_thompson5910)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)

Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)

1. I v (N&F) 2. I > F /F using rules of inference & replacement (answered by Solver92311)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)