Relational Predicates and Overlapping Quantifiers, 8.6. I. Introducing Relational Predicates

Similar documents
Formal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures

Denote John by j and Smith by s, is a bachelor by predicate letter B. The statements (1) and (2) may be written as B(j) and B(s).

Philosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014

SYMBOLIC LOGIC UNIT 10: SINGULAR SENTENCES

2. Use quantifiers to express the associative law for multiplication of real numbers.

Predicate Logic. 1 Predicate Logic Symbolization

Predicate Logic Quantifier Rules

Predicate Logic. Example. Statements in Predicate Logic. Some statements cannot be expressed in propositional logic, such as: Predicate Logic

! Predicates! Variables! Quantifiers. ! Universal Quantifier! Existential Quantifier. ! Negating Quantifiers. ! De Morgan s Laws for Quantifiers

INSTITIÚID TEICNEOLAÍOCHTA CHEATHARLACH INSTITUTE OF TECHNOLOGY CARLOW PREDICATE LOGIC

Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, Predicate logic

Section Summary. Predicates Variables Quantifiers. Negating Quantifiers. Translating English to Logic Logic Programming (optional)

Introduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1)

Section Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier

DO NOT FORGET!!! WRITE YOUR NAME HERE. Philosophy 109 Final Exam, Spring 2007 (80 points total) ~ ( x)

Philosophy 240: Symbolic Logic

Formal (Natural) Deduction for Predicate Calculus

Quantifiers Here is a (true) statement about real numbers: Every real number is either rational or irrational.

DERIVATIONS IN SYMBOLIC LOGIC I

Predicate Calculus. Lila Kari. University of Waterloo. Predicate Calculus CS245, Logic and Computation 1 / 59

Phil 2B03 (McMaster University Final Examination) Page 1 of 4

Bertie3 Exercises. 1 Problem Set #3, PD Exercises

Predicate Logic Thursday, January 17, 2013 Chittu Tripathy Lecture 04

Philosophy 240: Symbolic Logic

Interpretations of PL (Model Theory)

Thinking of Nested Quantification

Predicate Logic combines the distinctive features of syllogistic and propositional logic.

Intermediate Logic. First-Order Logic

Details for a Fregean Symbolism. Phil 387 (4/4/15)

Lecture 3 : Predicates and Sets DRAFT

6. COMPLEX PREDICATES

Discrete Mathematics and Its Applications

Introduction to Sets and Logic (MATH 1190)

Transparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 1.3. Section 1.3 Predicates and Quantifiers

Predicate Logic & Quantification

Exercises. Exercise Sheet 1: Propositional Logic

Full file at Chapter 1

Predicates and Quantifiers. Nested Quantifiers Discrete Mathematic. Chapter 1: Logic and Proof

Predicates, Quantifiers and Nested Quantifiers

Propositional Logic Not Enough

9.7: Identity: Symbolizations

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

Propositional Functions. Quantifiers. Assignment of values. Existential Quantification of P(x) Universal Quantification of P(x)

11. If John Madden has a pleasant personality and is not a political expert, then he's no TV newscaster.

Proposi'onal Logic Not Enough

Topic DPL: Answers. Exercise 1.1a Explain why the rule &E for MPL is a sound rule.

Predicate Logic: Sematics Part 1

4 Quantifiers and Quantified Arguments 4.1 Quantifiers

Section Summary. Section 1.5 9/9/2014

CSI30. Chapter 1. The Foundations: Logic and Proofs Nested Quantifiers

1 Predicates and Quantifiers

Topic #3 Predicate Logic. Predicate Logic

THE ISLAMIC UNIVERSITY OF GAZA ENGINEERING FACULTY DEPARTMENT OF COMPUTER ENGINEERING DISCRETE MATHMATICS DISCUSSION ECOM Eng. Huda M.

A Little Deductive Logic

Logic. Lesson 3: Tables and Models. Flavio Zelazek. October 22, 2014

RULES OF UNIVERSAL INSTANTIATION AND GENERALIZATION, EXISTENTIAL INSTANTIATION AND GENERALIZATION, AND RULES OF QUANTIFIER EQUIVALENCE

CS 220: Discrete Structures and their Applications. Predicate Logic Section in zybooks

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

CSCE 222 Discrete Structures for Computing. Predicate Logic. Dr. Hyunyoung Lee. !!!!! Based on slides by Andreas Klappenecker

Predicate Logic. CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo

Chapter 3. The Logic of Quantified Statements

1.3 Predicates and Quantifiers

Proseminar on Semantic Theory Fall 2013 Ling 720 First Order (Predicate) Logic: Syntax and Natural Deduction 1

Chapter 1, Part II: Predicate Logic

A Little Deductive Logic

Automated Reasoning Lecture 5: First-Order Logic

7 Classical Quantified Logic

Logic and Modelling. Introduction to Predicate Logic. Jörg Endrullis. VU University Amsterdam

Logical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional

Nested Quantifiers. Predicates and. Quantifiers. Agenda. Limitation of Propositional Logic. Try to represent them using propositional.

Derivations in the Predicate Calculus

13. APPENDIX 1: THE SYNTAX OF PREDICATE LOGIC

Propositions and Proofs

Predicate Calculus lecture 1

Section Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier

Symbolising Quantified Arguments

I thank the author of the examination paper on which sample paper is based. VH

Mathematical Logic. Reasoning in First Order Logic. Chiara Ghidini FBK-IRST, Trento, Italy. May 2, 2013

Introduction to first-order logic:

First-Order Natural Deduction. Part 1: Universal Introduction and Elimination

Discrete Structures for Computer Science

Section 8.3 Higher-Order Logic A logic is higher-order if it allows predicate names or function names to be quantified or to be arguments of a

Mathacle. PSet ---- Algebra, Logic. Level Number Name: Date: I. BASICS OF PROPOSITIONAL LOGIC

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.

06 From Propositional to Predicate Logic

2/18/14. What is logic? Proposi0onal Logic. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.

Class 29 - November 3 Semantics for Predicate Logic

CSE Discrete Structures

CS 214 Introduction to Discrete Structures. Chapter 1 Formal Logic. Mikel D. Petty, Ph.D.

ICS141: Discrete Mathematics for Computer Science I

Examples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:

ICS141: Discrete Mathematics for Computer Science I

Deduction by Daniel Bonevac. Chapter 8 Identity and Functions

2010 Part IA Formal Logic, Model Answers

Predicate Logic - Deductive Systems

Propositional Logic Translation, 6.1. I. The form of an argument

Intermediate Logic Spring. Second-Order Logic

Test 1 Solutions(COT3100) (1) Prove that the following Absorption Law is correct. I.e, prove this is a tautology:

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York

7.8E 8.1E. Question 2. Question 1

Transcription:

Philosophy 109, Modern Logic, Queens College Russell Marcus, Instructor email: philosophy@thatmarcusfamily.org website: http://philosophy.thatmarcusfamily.org Office phone: (718) 997-5287 Relational Predicates and Overlapping Quantifiers, 8.6 I. Introducing Relational Predicates Consider the argument: Bob is taller than Charles. Andrew is taller than Bob. For any x, y and z, If x is taller than y and y is taller than z, then x is taller than z. So, Andrew is taller than Charles. The conclusion should follow logically, but how do we translate the predicates? If we only have monadic (1-place) predicates, like the ones we have so far considered, we have to translate the two first sentences with two different predicates: Bob is taller than Charles: Tb Andrew is taller than Bob: Ya We really want a predicate that takes two objects. This is called a dyadic predicate. For examples: Txy: x is taller than y Kxy: x knows y Bxy: x believes y Dxy: x does y We can have three-place predicates too, called triadic predicates: Gxyz: x gives y to z Kxyz: x kisses y in z Bxyz: x is between y and z Also, we can have four-place and higher level predicates. All predicates which take more than one object are called relational. II. Exercises A. Translate each sentence into predicate logic. 1. John loves Mary 2. Tokyo isn t smaller than New York. 3. Marco was introduced to Erika by Paco. 4. America took California from Mexico. III. Quantifiers with relational predicates Return to the original problem: Bob is taller than Charles: Tbc Andrew is taller than Bob: Tab But what about the general statement? We need to put quantifiers on the relations. Putting on a single quantifier: Joe is bigger than some thing : ( x)bjx Something is bigger than Joe: ( x)bxj Joe is bigger than everything: (x)bjx Everything is bigger than Joe: (x)bxj

We can dispense with constants altogether, introducing overlapping quantifiers. Consider: Everything loves something : (x)( y)lxy Note the different quantifier letters: overlapping quantifiers must use different variables. Also, the order of quantifiers matters: ( x)(y)lxy means that something loves everything, which is different. Consider these more complex examples: 1. Something taught Plato. (Txy: x taught y) ( x)txp 2. Someone taught Plato. ( x)(px Txp) 3. Plato taught everyone. (x)(px Tpx) 4. Everyone knows something. (Kxy: x knows y) (x)[px ( y)kxy] 5. Everyone is wiser than someone. (Wxy: x is wiser than y) (x)[px ( y)(py Wxy)] 6. Someone is wiser than everyone. ( x)[px (y)(py Wxy)] 7. Some financier is richer than everyone. (Fx, Rxy: x is richer than y) ( x)[fx (y)(py Rxy)] 8. No deity is weaker than some human. (Dx, Hx, Wxy: x is weaker than y) ( x)[dx ( y)(hy Wxy)] or (x)[dx (y)(hy Wxy)] 9. Honest candidates are always defeated by dishonest candidates. (Hx, Cx, Dxy: x defeats y) (x){(cx Hx) ( y)[(cy Hx) Dyx]} 10. No mouse is mightier than himself. (Mx, Mxy: x is mightier than y) (x)(mx Mxx) 11. Everyone buys something from some store. (Px, Sx, Bxyz: x buys y from z) (x)[px ( y)( z)(sz Bxyz)] 12. There is a store from which everyone buys something. ( x){sx (y)[py ( z)byzx]} 13. No store has everyone for a customer. ( x){sx (y)[py ( z)byzx]} or (x){sx ( y)[py (z) Byzx]} IV. Order of quantifiers, and scope Mostly we keep narrow scope. This means we don t introduce a quantifier until it s needed. On occasion, not here, but later, we will just put all quantifiers in front, using broad scope. We must be careful. Sometimes the order of the quantifiers and the scope doesn t matter: Everyone loves everyone can be written as any of the following: (x)[px (y)(py Lxy)] (x)(y)[(px Py) Lxy] (y)(x)[(px Py) Lxy] Technically, this latter is everyone is loved by everyone. But these are logically equivalent. Similarly, someone loves someone can be written as any of the following: ( x)[px ( y)(py Lxy)] ( x)( y)[(px Py) Lxy] ( y)( x)[(px Py) Lxy] Again, the latter is someone is loved by someone. Again, these are equivalent.

But when you mix universals with existentials, you have to be careful, since reversing the order of the quantifiers changes the meaning of the proposition. None of the following examples are equivalent: 1. (x)( y)[(px Py) Lxy] - Everyone loves someone. 2. ( y)(x)[(px Py) Lxy] - Someone is loved by everyone. 3. ( x)(y)[(px Py) Lxy] - Someone loves everyone. 4. (y)( x)[(px Py) Lxy] - Everyone is loved by someone. Take your time with the above. Make sure you understand them. Note that the first word in each translation above corresponds to the leading quantifier. Also, note the main connective is determined by the innermost quantifier. If the innermost quantifier is existential, the main connective is a conjunction. If the innermost quantifiers is universal, the main connective is a conditional. This may be clearer if we take the quantifiers inside. 1. (x)[px ( y)(py Lxy)] 2. ( y)[py (x)(px Lxy)] Moral: Keep your scopes narrow to avoid confusion. V. Exercises B. Translate each of the following sentences into predicate logic. 1. Everyone loves something. (Px, Lxy) 2. No one knows everything. (Px, Kxy) 3. No one knows everyone. 4. Every woman is stronger than some man. (Wx, Mx, Sxy: x is stronger than y) 5. No cat is smarter than any horse. (Cx, Hx, Sxy: x is smarter than y) 6. Dead men tell no tales. (Dx, Mx, Tx, Txy: x tells y) 7. There is a city between New York and Washington. (Cx, Bxyz: y is between x and z) 8. Everyone gives something to someone. (Px, Gxyz: y gives x to z) 9. A dead lion is more dangerous than a live dog. (Ax: x is alive, Lx, Dx, Dxy: x is more dangerous than y) 10. A lawyer who pleads his own case has a fool for a client. (Lx, Fx, Pxy: x pleads y s case; Cxy: y is a client of x) VI. Deductions using Relational Predicates and Overlapping Quantifiers Consider again the original problem: Prove: Bob is taller than Charles. Andrew is taller than Bob. For any x, y and z, If x is taller than y and y is taller than z, then x is taller than z. So, Andrew is taller than Charles. 1. Tbc 2. Tab 3. (x)(y)(z)[(txy Tyz) Txz] / Tac Use the same rules of inference, one at a time. (there s one exception, to UG, which we will note shortly.) 4. (y)(z)[(tay Tyz) Taz] 3, UI 5. (z)[(tab Tbz) Taz] 4, UI 6. (Tab Tbc) Tac 5, UI 7. (Tab Tbc) 2, 1, Conj 8. Tac 6, 7, MP

An example, taking quantifiers off in the middle of the proof: 1. ( x)[hx (y)(hy Lyx)] / ( x)(hx Lxx) 2. Ha (y)(hy Lya) 1, EI 3. Ha 2, Simp 4. (y)(hy Lya) 2, Com, Simp 5. Ha Laa 4, UI 6. Laa 5, 3, MP 7. Ha Laa 3, 6, Conj 8. ( x)(hx Lxx) 7, EG The restriction on UG: Consider the following derivation 1. (x)( y)lxy Everything loves something. 2. ( y)lxy 1, UI 3. Lxa 2, EI 4. (x)lxa 3, UG But incorrect! 5. ( y)(x)lxy 4, EG There s something that everything loves. You shouldn t be able to derive step 5 from step 1. The problem is in step 4 You may never UG on a variable when there s a constant present, and the variable was free when the constant was introduced. I.e. In line 4, because x was free in line 3 when a was introduced The justification of the restriction: In line 2, we were picking some random object x. Then, at line 3, we introduced a as the name of what x loves. Since everything loves something, there must be some thing a loved by whatever x we pick. But now we can t say that every x loves a. x has become as particular an object as a is. Another warning: When quantifying, using (UG) or (EG), watch for accidental binding. Consider : (Pa Qa) (Fx Gx) If you try to quantify over the a using EG with the variable x, you accidentally bind the latter two terms: ( x)[(px Qx) (Fx Gx)] Instead, use a y : ( y)[(py Qy) (Fx Gx)] Now the latter terms remain free. An example with several quantifiers: 1. ( x)(y)[( z)ayz Ayx] 2. (y)( z)ayz / ( x)(y)ayx 3. (y)[( z)ayz Aya] 1, EI EI before you UI, replace the x. 4. ( z)ayz Aya 3, UI Keep the same variable - easier to keep track! 5. ( z)ayz 2, UI You may instantiate to the same variable - it s UI. 6. Aya 4, 5, MP 7. (y)aya 6, UG y was not free when a was introduced in line3! 8. ( x)(y)ayx 7, EG

An example using conditional proof: 1. (x)[ax (y)bxy] 2. (x)[ax ( y)dxy] /(x)( y)[ax (Bxy Dxy)] *3. Ax ACP *4. Ax ( y)dxy 2, UI *5. ( y)dxy 4, 3 MP *6. Dxa 5, EI *7. Ax (y)by 1, UI *8. (y)bxy 7, 3, MP *9. Bxa 8, UI *10. Bxa Dxa 9, 8, Conj 11. Ax (Bxa Dxa) 3-10, CP 12. ( y)[ax (Bxy Dxy)] 11, EG 13. (x)( y)[ax (Bxy Dxy)] 12, UG A more complex proof: 1. (x)(wx Xx) 2. (x)[(yx Xx) Zx] 3. (x)( y)(yy Ayx) 4. (x)(y)[(ayx Zy) Zx] /(x)[(y)(ayx Wy) Zx] *5. (y)(ayx Wy) ACP *6. ( y)(yy Ayx) 3, UI *7. Ya Aax 6, EI *8. Aax Wa 5, UI *9. Aax 7, Com, Simp *10. Wa 8,9, MP *11. Wa Xa 1, UI *12. Xa 11, 10, MP *13. Ya 7, Simp *14. Ya Xa 13, 12, Conj *15. (Ya Xa) Za 2, UI *16. Za 15, 14, MP You can t use this as the conclusion! *17. (y)[(ayx Zy) Zx] 4, UI Keep the x, that s the point. *18. (Aax Za) Zx 17, UI *19. Aax Za 9, 16, Conj *20. Zx 18, 19, MP 21. (y)(ayx Wy) Zx 5-20, CP 22. (x)[(y)(ayx Wy) Zx] 21, UG

VII. Exercises C. Derive the conclusions of each of the following arguments. 1) 1. (x)(cax Dxb) 2. ( x)dxb ( y)dby / ( x)cax ( y)dby 2) 1. (x)[ex (y)(fy Gxy)] 2. ( x)[ex ( y) Gxy] / ( x) Fx 3) 1. ( x)ax ( x)bx / ( y)(x)(ax By) 4) 1. (x)[mx (y)(ny Oxy)] 2. (x)[px (y)(oxy Qy)] / ( x)(mx Px) (y)(ny Qy) Solutions may vary. VIII. Translating to English Use the translation key on the left to translate the formulas on the right into English sentences. For example, the answer to the first one is given. Ax: x is silver Bxy: x belongs to y Cx: x is a cloud Cxy: x keeps company with y Dx: x is a dog Ex: x is smoke Fx: x is fire Fxy: x is fair for y g: God Gx: x is glass Gxy: x gathers y Hx: x is home Hxy: x helps y Ixy: x is in y Jxy: x is judged by y Kxy: x is a jack of y Lx: x is a lining Lxy: x is like y Mx: x is moss Mxy: x is master of y Px: x is a person Qx: x is a place Rx: x rolls Sx: x is a stone Tx: x is a trade Txy: x should throw y Ux: x is a house Uxy: x comes to y Vxy: x ventures y Wx: x waits Yx: x is a day 1. (x)[dx ( y)(yy Byx)] For all x, if x is a dog, then there exists a day which belongs to that dog. Or, every dog has its day! 2. (x)[( y)(py Fxy) (z)(pz Fxz)] 3. (x)[(rx Sx) (y)(my Gxy)] 4. (x)[(px Wx) (y)uyx] 5. (x)[(px Hxx) Hgx] 6. (x)[hx (y)(qy Lyx)] 7. (x){cx ( y)[(ay Ly) Byx]} 8. (x)[px (y)(cxy Jxy)] 9. (x){qx [( y)(ey Iyx) ( z)(fz Izx)]} 10. (x){[px (y)(ty Kxy)] (z)(tz Mxz)} 11. (x){{px ( y)[(gy Uy) Ixy]} (z)(sz Txz)} 12. (x){[px (y) Vxy] (z) Gxz} This exercise is adapted from Copi, Symbolic Logic, 5th ed., MacMillan Publ., 1979.

IX. Solutions Answers to Exercises A: 1. Ljm 2. Stn 3. Ipme 4. Tcam Answers to Exercises B: 1. (x)[px ( y)lxy] 2. (x)[px ( y) Kxy] or ( x)[px (y)kxy] 3. (x)[px ( y)(py Kxy)] or ( x)[px (y)(py Kxy] 4. (x)[wx ( y)(my Sxy)] 5. ( x)[cx ( y)(hy Sxy)] or (x)[cx (y)(hy Sxy)] 6. (x)[(dx Mx) ( y)(ty Txy)] 7. ( x)(cx Bnxw) 8. (x)[px ( y)( z)(pz Gyxz)] 9. (x){( Ax Lx) (y)[(ay Dy) Dxy]} 10. (x)[(lx Pxx) ( y)(fy Cxy)] or (x)[(lx Pxx) Fx] Note that these two translations aren t equivalent. The first translates the surface grammar. The second translates the meaning. Answers to Exercises D: 1. Every dog has its day. 2. What s fair for one is fair for all. 3. Rolling stones gather no moss. 4. All things come to those who wait. 5. God helps those who help themselves. 6. There s no place like home. 7. Every cloud has a silver lining. 8. A person is judged by the company he keeps. (But note the error in meaning, here.) 9. Where there s smoke, there s fire. 10. A jack of all trades is a master of none. 11. People who live in glass houses shouldn t throw stones. 12. Nothing ventured, nothing gained.