SOLUTION: 1. (J v F) v M 2. (J v M) ⊃ ~P 3. ~F/~(F v P) I need help tryin to figure out what inference rules to use to solve this problem

Algebra.Com
Question 1171793: 1. (J v F) v M
2. (J v M) ⊃ ~P
3. ~F/~(F v P)
I need help tryin to figure out what inference rules to use to solve this problem
Answer by Solver92311(821)   (Show Source): You can put this solution on YOUR website!


1.   (J v F) v M
2.   (J v M) -> ~P
3.   ~F               |    ~(F v P)

4.   (F v J) v M      1.   Commutativity
5.   F v (J v M)      4.   Associativity
6.   J v M            3,5. Disjunctive Syllogism
7.   ~P               2,6. Modus Ponens
8.   ~F & ~P          3,7. Conjunction Introduction
9.   ⸫ ~(F v P)       8.   DeMorgan


John

My calculator said it, I believe it, that settles it

From
I > Ø
RELATED QUESTIONS

1. (J v F) v M 2. (J v M) ⊃ ~ P 3. ~F/~(F v P) 4. M Assumption... (answered by math_tutor2020)
Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by Edwin McCravy)
Use the first eight rules of inference to complete the following proof (you may start... (answered by Edwin McCravy)
1. [A v (K & J)] > (~E &~F) 2. M > [A & (P v R)] 3. M & U... (answered by jim_thompson5910)
Can You please help me solve these proofs? The first statement I'm using the horseshoe... (answered by Edwin McCravy)
INSTRUCTIONS: Use natural deduction to derive the conclusion in each problem. Prove... (answered by CPhill)
A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)
A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)