Digital Interactive Notebook that has definitions, matching, categorizing and/or solving the following: 1. Conditional and Biconditional Statements - conditional statements, counterexamples, negations, converse, inverse, contrapositive, and biconditionals (with form) 2. Algrebraic Proofs - properties of equalites (operations), reflexive, symmetric, distributive, substitution, transitive, and simplifying (with form) 3. Introduction to Geometric Proofs - what are proofs, two segment proof example