This document discusses deductive reasoning and logical statements. It defines conditional, converse, biconditional, and negation statements using symbolic notation. Examples are given to illustrate using deductive reasoning to derive logical conclusions. The key laws of logic - detachment and syllogism - are explained and applied to examples involving conditional statements. An example using deductive reasoning to determine that if Mike visits Alabama, then he will visit the Civil Rights Memorial is provided.