This document provides an overview of deductive reasoning, including the Law of Detachment and Law of Syllogism. It defines deductive reasoning as using facts, rules, and definitions to reach a logical conclusion. The Law of Detachment states that if p implies q is true and p is true, then q must be true. The Law of Syllogism states that if p implies q and q implies r are both true, then p implies r must be true. The document provides examples and problems applying these laws of deductive reasoning.