You will learn to recognize different types of logic statements, to draw up a truth table with a compound proposition, and to simplify its negation. You will determine the numerical solution of a proposition and the truth value of a quantified proposition.