SOLUTION: P v Q, P → (T → S), P → T, S ↔ Q ├ S
1. P v Q A
2. P → (T → S) A
3. P → T A
4. S ↔ Q A
5.
Algebra.Com
Question 1087187: P v Q, P → (T → S), P → T, S ↔ Q ├ S
1. P v Q A
2. P → (T → S) A
3. P → T A
4. S ↔ Q A
5. P 1 v O
6. Q 1 v O
7. S →Q 4 ↔ O
8. S 7, 6 → O
Do I have all of the steps completed?
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Using a proof by contradiction, we can say
The basic idea is to assume the opposite of the conclusion (~S) and prove that it leads to a contradiction, which it does on line 17. So the opposite of the assumption must be true, ie the conclusion (S) is true.
RELATED QUESTIONS
Construct Conditional Proofs
1. P → Q
2. (P • Q) → R
3. P → (R... (answered by jim_thompson5910)
1. ~P∨Q
2. Q→R ∴ P→R
1. R∨~Q
2. P→Q
3. ~R (answered by Edwin McCravy)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
1. (Q∨R)→(W∨U)
2. W→P
3. (answered by jim_thompson5910)
Complete the following proofs using the Conditional Proof method.
1) 1. ~(P ∙... (answered by solver91311)
p ↔ (p v q )
prove:q →... (answered by Theo,Edwin McCravy)
~(Z v Y) → ~W, ~U → ~(Z v Y), (~U → ~W) → (T → S), S... (answered by math_helper)
Solve use reductio ad absurdum
1. ~P→(R∙S)
2.... (answered by math_helper)
7)I can only use the 8 Rules of Inference. Need help!!!
1. (T → C) → ~F
2.... (answered by jim_thompson5910)