Created a file for our symbolic logic questions