Abstract
- Deductive reasoning begins with a general rule or principle and applies it to specific cases to reach a logically certain conclusion. It moves from the general to the specific
- Rule of Inference (推理规则) and Quantified Rule of Inference are the building blocks of Deductive Reasoning