Question 12
25 pts
Solve the following proof, you can type in your answer below or your can work it out on paper and
upload the image of the solved proof. Please note, I have to grade this myself, so this problem will not be
a part of your exam grade until I grade it later in the week.
You must include what operation you are using to derive each line and include which lines you are
using to derive each line.
Use conditional proof to solve the following:
1. S \supset (B \supset T)
2. N \supset (T \supset \sim B) / (S \cdot N) \supset \sim B
