SOLUTION: Solve the following using replacement rules:
¬S → O, O → S ∴ S
Algebra.Com
Question 996120: Solve the following using replacement rules:
¬S → O, O → S ∴ S
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | ~S --> O | | |
| 2 | O --> S | | |
| :. | S | | |
| 3 | ~S --> S | 1,2 | HS |
| 4 | ~~S v S | 3 | MI |
| 5 | S v S | 4 | DN |
| 6 | S | 5 | Taut |
Abbreviations/Acronyms Used:
DN = Double Negation
HS = Hypothetical Syllogism
MI = Material Implication
Taut = Tautology
RELATED QUESTIONS
Solve the following using rules of replacement:
(E → T) ∧ (T → O),... (answered by jim_thompson5910)
Solve the following using rules of replacement:
R ∨ V , R → (H ∧ S), (answered by jim_thompson5910)
Complete the following proofs using the Conditional Proof method.
1) 1. ~(P ∙... (answered by solver91311)
Replacement Rules to solve the following proof:
(¬B∨ ¬H)→ M,K ∧... (answered by jim_thompson5910)
P v Q, P → (T → S), P → T, S ↔ Q ├ S
1. P v Q A
(answered by jim_thompson5910)
write a direct proof using the eight rules of inference
(C → Q) • (~L →... (answered by Edwin McCravy)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
Solve use reductio ad absurdum
1. ~P→(R∙S)
2.... (answered by math_helper)