Chapter 13: Formal Proofs and Quantifiers
13.1 Universal quantifier rules Universal Elimination ( Elim) x S(x) S(c) Here x stands for any variable, c stands for any individual constant, and S(c) stands for the result of replacing all free occurrences of
PHIL 2310: Introduction to Deductive Logic
Introduction Aug 26
Assumptions Intermediate steps Conclusion
Rough definition
An argument is deductive valid if and only if.
The tenth of its assumptions generates the tenth of its conclusion and does so entir
58
Symbolic Logic Study Guide: Class Notes
1.6. Notes for Chapter 6: Multiple Quantifiers
1.6.1. Translations (6.1-6.4 of the Text)
1. Unmixed Quantifiers (same quantity)
1.1 Examples
Some cube is to the left of some tetrahedron.
x [Cube(x) y (Tet(y) Left
62
Symbolic Logic Study Guide: Class Notes
1.7. Notes for Chapter 7:
Some Specific Uses of Quantifiers
1.7.1. Numerical Claims and Definite Descriptions
(7.1-7.2 of the Text)
7.1 Numerical Claims
DD: All people in JC or all blocks in a Tarski's world.
1.