Deductive Reasoning uses definitions, rules, and properties to see if a statement is true or false. There are two forms of deductive reasoning: Law of Detachment, and Law of Syllogism.
Law of Detachment states the following:
If is true and is true, then must also be true
Law of Syllogism states the following:
If and are true, then must be also true.