Logic Problem Set 1