Question 1087187
<font color="black" face="times" size="3">
Using a proof by contradiction, we can say
<img src = "https://i.imgur.com/hlNyX4E.png">
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. 
</font>