Intro to logic

Construct a proof to show that the following argument is valid. You may copy the symbols for the operators from here: ~ . vD=3 1. Sa . La / (Sa > Sa) . (La v Ya)