SOLUTION: 1. F ⊃ ~U
2. ~F ⊃ P
3. F v ~F/~U v P
I think what is throwing me off with this equation is the use of the two F's in line 3.
Algebra.Com
Question 1171859: 1. F ⊃ ~U
2. ~F ⊃ P
3. F v ~F/~U v P
I think what is throwing me off with this equation is the use of the two F's in line 3.
Answer by math_tutor2020(3816) (Show Source): You can put this solution on YOUR website!
I'm going to use an arrow instead of a horsehoe symbol.
| Number | Statement | Lines Used | Reason |
| 1 | F -> ~U | | |
| 2 | ~F -> P | | |
| 3 | F v ~F | | |
| :. | ~U v P | | |
| 4 | U -> ~F | 1 | Transposition |
| 5 | U -> P | 4,2 | Hypothetical Syllogism |
| 6 | ~U v P | 5 | Material Implication |
It appears line 3 is not used at all (though it may be possible you use it if you follow another route)
RELATED QUESTIONS
Use the first eight rules of inference to complete the following proof (you may start... (answered by Edwin McCravy)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by Edwin McCravy)
1. (J v F) v M
2. (J v M) ⊃ ~ P
3. ~F/~(F v P)
4. M Assumption... (answered by math_tutor2020)
If 1/v+1/u=1/f, express v in terms of u and f
Now calculate the value of v when f=15... (answered by HyperBrain)
1. (J v F) v M
2. (J v M) ⊃ ~P
3. ~F/~(F v P)
I need help tryin to figure out... (answered by Solver92311)
Example:
1. A
2. A>B / B
3. B 1,2 MP ←You add this line
1. G > H
2. ~H /... (answered by ikleyn)
I can't seem to get to solve this proof.
1. W->S
2. U->F
3. (S and F) -> O
4. ~O... (answered by jim_thompson5910)
Hi there, I'd love some help on answering these Logic Proof Questions:
1.
1. T > O
(answered by math_tutor2020)
Can somebody please gimme a hand
1.¬S -> Q
2.(U v P) -> (F v T)
3.(R & S) -> T
4.¬R (answered by Edwin McCravy)