This set of binder notes provide students with an organized chart on the vocabulary, symbols, and meaning of words associated with logic and proof, including conditional statement, hypothesis, conclusion, negation, converse, inverse, contrapositive, conjunction, disjunction, biconditional, Law of Detachment, and Law of Syllogism. There are two options one that is completely filled in and the other that has some blanks that students can fill in. The third page offers students with practice matc