SOLUTION: F → (O • B), S ↔ ~B, , W ↔ ~S, therefore F → W to demonstrate the validity of the argument. Your proof may utilize any of the Rules of Inference or Equivalence Rules giv

Algebra.Com
Question 1183507: F → (O • B), S ↔ ~B, , W ↔ ~S, therefore F → W
to demonstrate the validity of the argument. Your proof may utilize any of the Rules of Inference or Equivalence Rules given in Chapter 8.
Answer by math_helper(2461)   (Show Source): You can put this solution on YOUR website!
I will show you by way of a conditional proof. In a conditional proof, you make assumptions and see where the premises take you. Only the conclusion(s) of the conditional portion (which are prefixed with ::) can be carried into the main argument. 


1.  F → (O • B)    Premise

2.  S ↔ ~B         Premise

3.  W ↔ ~S         Premise

// therefore F → W

4.:: F             Conditional Proof (CP) assumption

5.:: O • B         4,1 Modus Ponens (MP)

6.:: B             5  Simplification (SIMP)

7.:: S --> ~B      2  Biconditional elimination

8.:: ~S            6,7  Modus Tollens (MT)

9 :: ~S --> W      3  Biconditional elimination

10.:: W            8,9 MP

11.:: F --> W      4-10 CP

12. F --> W        4-11 CP (discharges CP assumptions)



Proof complete





 

RELATED QUESTIONS


Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)

Hello, can you please help me with this problem?

Use one of the indirect proof... (answered by jim_thompson5910)

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)

Good morning sir's and ma'ams..Kindly help me answer the following:
Construct a formal... (answered by robertb)

I have 3 questions on my exercise that really have me stumped.
Here are the directions... (answered by jim_thompson5910)

Write a formal proof of validity for the given arguments
A)
1. (R>S)
2. V v~S
3.... (answered by jim_thompson5910)

Construct a formal proof of validity for the following argument

~B v [(C⊃D) ·... (answered by math_helper)

How do I solve these proofs?

Number one
1.~B v[(C>D)&(E>D)]
2. B&(C v E)... (answered by jim_thompson5910)

Construct a direct proof of validity for the following argument. 
Restriction: DO NOT... (answered by Edwin McCravy)