Combining Philosophers

Ideas for Alexander, Isaiah and Robert S. Wolf

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

3 ideas

4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / d. Universal quantifier ∀

13521

Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS]

13522

Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS]

4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / e. Existential quantifier ∃

13523

Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS]