Yuri Balashov, PHIL 2500 Lecture Notes Applications of PD Derivation Rules •Remember: The (∀x) and (∃x) Elimination rules apply to entire quantified sentencesonly, not their parts. The basic concepts of PD: •Derivability •Validity •Theorem •Equivalence •Inconsistency are similar to the basic concepts of SD. Derive: (∃y) Lyy 1⏐(∃x) (Nx ∨Lxx) Assum. 2⏐(∀x) ~Nx Assum. ⏐——————— 3 ⏐⏐4 ⏐5 ⏐6 ⏐7⏐
has intentionally blurred sections.
Sign up to view the full version.