SOLUTION: Use the first eight rules of inference to complete the following proof (you may start your answer with line 4): 1. (~F v X) U (P v T) 2. F U P 3. ~P

Algebra.Com
Question 983140: Use the first eight rules of inference to complete the following proof (you may start your answer with line 4):
1. (~F v X) U (P v T)
2. F U P
3. ~P / T
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
What are you using "U" for ? 

I will assume you are using U for "implies", "condition",
->, >, ⊃ are the symbols commonly used for that, not U.
I will use -> instead.

1. (~F v X) -> (P v T)
2. F -> P
3. ~P                       / T

4. ~P -> ~F       2, Transposition  (sometimes called "contrapositive")
5. ~F           4,3, Modus ponens
6. ~F v X         5, Addition
7. P v T        1,6, Modus ponens
8. T            7,3, Disjunctive syllogism

Edwin
RELATED QUESTIONS

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by Edwin McCravy)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)
Complete the following proof, choosing from among the first eighteen Rules of Inference... (answered by Edwin McCravy)
Use the first eight implication rules to create a proof of the following argument. 1. B... (answered by Edwin McCravy)
Use the quantifier negation rule together with the eighteen rules of inference to derive... (answered by CPhill)
Use the quantifier negation rule together with the eighteen rules of inference to derive... (answered by CPhill)
Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)
F → (O • B), S ↔ ~B, , W ↔ ~S, therefore F → W to demonstrate the validity of... (answered by math_helper)
Use the quantifier negation rule together with the eighteen rules of inference to derive... (answered by CPhill)