SOLUTION: 1. (⌐SvL)→F, ⌐[P v (QvS)] Ⱶ F
2. ⱵS → (B→S)
Algebra.Com
Question 1042510: 1. (⌐SvL)→F, ⌐[P v (QvS)] Ⱶ F
2. ⱵS → (B→S)
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
1. (⌐SvL)→F -------------hypothesis
2. ~(~SvL)vF --------------------material implication
3. (S&~L)vF --------------------de Morgan's and double negation
4. (SvF)&(~LvF) -----------------distributivity
5. SvF ------------------------simplification
6. ~(~S)vF ----------------------double negation
7. ~S -> F ---------------------material implication
8. ⌐[P v (QvS)]----------------hypothesis
9. ~P &~Q & ~S ------------------de Morgan's on #8
10. ~S -------------------------simplification
11. F -------------------------modus ponens on #7 and #11
1. S -> (B-> S)----------------hypothesis
2. ~S v (~B v S) --------------material implication (twice)
3. ~S v (S v ~B) --------------commutativity
4. (~S v S) v ~B --------------associativity
5. T v ~B ---------------------tautology (law of excluded middle)
6. T -----------------------tautology
RELATED QUESTIONS
7)I can only use the 8 Rules of Inference. Need help!!!
1. (T → C) → ~F
2.... (answered by jim_thompson5910)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
1. (A∨~B)→(F∨(R∙G))
2. A
3. F→L (answered by math_helper)
Complete the following proofs using the Conditional Proof method.
1) 1. ~(P ∙... (answered by solver91311)
~b → ~r
e → (f → y)
~(e → y)
f V (m V r)
____________
m V... (answered by math_helper)
Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)
P v Q, P → (T → S), P → T, S ↔ Q ├ S
1. P v Q A
(answered by jim_thompson5910)
~(Z v Y) → ~W, ~U → ~(Z v Y), (~U → ~W) → (T → S), S... (answered by math_helper)
Construct Conditional Proofs
1. P → Q
2. (P • Q) → R
3. P → (R... (answered by jim_thompson5910)