This is a group project. I left the conditional statement blank so the teacher can create a different statement for each group. You can tier this project by making some conditional statements more difficult than others. The students have to determine the truth value of each statement and if false, provide a counterexample. Once completed, each group can present to the class.