This week focuses on the derivation system SD+. The following videos cover most of those rules. In particular, we actually go over some of their derivations in our old system SD. Throughout the videos I sometimes make note of a derivation that you should go through yourself. It is in your best interest that you do so.
The video less for the rule of inference for SD+ are here.
The lessons that cover the rules of replacement for SD+ are broken up into 3 parts. The first part is here. The second is here. The third part is relatively longer than the other two. This is because we go over an entire proof of the equivalence replacement rule that uses only rules from SD. It is just over 25 mins long and can be found here.
Some follow up videos that go through more examples will be posted soon.