Logic Part 1A: Logic Statements and Quantifiers