Deductive Reasoning (演繹推理)

Abstract

---

Terminologies

---

Universal Instantiation

• If some property is true of everything in the set, then it is true of any particular thing in the set
• Core tool for deductive reasoning

$$\forall x\in D,P(x)$$ $$\therefore a\in D\to P(a)$$

Existential Instantiation

$$\exists x\in D,P(x)$$ $$\therefore P(a)forsomea\in D$$