This document discusses using deductive reasoning to verify conjectures. It introduces the law of detachment and law of syllogism as valid forms of deductive reasoning. Examples show applying these laws to determine if conjectures are valid based on given conditional statements. The document also contains warm up questions, vocabulary, example problems, and a lesson quiz to assess understanding.