Each of the following problems requires that you show using SD that a specific sentence is a logical truth in SL. This means that you need to derive that sentence without any premises.