SOLUTION: Solve the following using replacement rules: ŽS → O, O → S ∴ S

Algebra ->  Proofs -> SOLUTION: Solve the following using replacement rules: ŽS → O, O → S ∴ S      Log On


   

Question 996120: Solve the following using replacement rules:
ŽS → O, O → S ∴ S
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1~S --> O
2O --> S
:.S
3~S --> S1,2HS
4~~S v S3MI
5S v S4DN
6S5Taut

Abbreviations/Acronyms Used:
DN = Double Negation
HS = Hypothetical Syllogism
MI = Material Implication
Taut = Tautology