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