Single Quantifier, Multiple Predicates xx there is some x there is some one some Student Respects Jay AND Rxj  Sx )( who is a student who respects Jay.

Slides:



Advertisements
Similar presentations
1. 2   x Rxk no-one respects Kay  x Rxk everyone respects Kay  x Rjx Jay respects someone  x Rjx Jay respects everyone   x Rjx Jay respects no.
Advertisements

When Simultaneous observations on hydrological variables are available then one may be interested in the linear association between the variables. This.
Test practice Multiplication. Multiplication 9x2.
Chapter 1: The Foundations: Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers.
2009/91 Predicates and Quantifiers (§1.3) In the sentence “x is greater than 3”: The phrase “x” denotes the subject - the object or entity that the sentence.
22C:19 Discrete Structures Logic and Proof Spring 2014 Sukumar Ghosh.
Today’s Topics Relational predicates Multiple quantification Expansions of relational predicates.
Hx xx x is happythere is some x : who is happythere is someone is happysomeone.
every Grespectsevery F some Grespectsevery F every Grespectssome F some Grespectssome F Kayrespectsevery F Kayrespectssome F every FrespectsJay.
Predicate Calculus Subject / Predicate John / went to the store. The sky / is blue. Propositional Logic - uses statements Predicate Calculus - uses predicates.
1. 2 EXAM #3 25 translations from English into Predicate Logic 4 points each Only final formula is graded. Do intermediate work on scratch paper.
Predicate Logic (PL) 1.Syntax: The language of PL Formula VS. Sentence Symbolize A-, E, I-, and O-sentences 2.Semantic: a sentence compare two sentences.
March 5: more on quantifiers We have encountered formulas and sentences that include multiple quantifiers: Take, for example: UD: People in Michael’s office.
derivations in Predicate Logic 15 points each, plus 10 free points 1.universal derivation[Exercise Set C] 2.existential-out[Exercise Set D] 3.negation.
1. 2 Exam 1Sentential LogicTranslations (+) Exam 2Sentential LogicDerivations Exam 3Predicate LogicTranslations Exam 4Predicate LogicDerivations 6
CSE115/ENGR160 Discrete Mathematics 01/25/11 Ming-Hsuan Yang UC Merced 1.
The Semantic Web – WEEK 10: Introduction to Description Logics The “Layer Cake” Model – [From Rector & Horrocks Semantic Web cuurse] We are back down to.
Ch 1.3: Quantifiers Open sentences, or predicates, are sentences that contain one or more variables. They do not have a truth value until variables are.
EE1J2 - Slide 1 EE1J2 – Discrete Maths Lecture 11 Introduction to Predicate Logic Limitations of Propositional Logic Predicates, quantifiers and propositions.
1 Predicates and Quantifiers CS 202, Spring 2007 Epp, Sections 2.1 and 2.2 Aaron Bloomfield.
Predicates and Quantifiers
CS 2210 (22C:019) Discrete Structures Logic and Proof Spring 2015 Sukumar Ghosh.
CSCI2110 – Discrete Mathematics Tutorial 9 First Order Logic Wong Chung Hoi (Hollis)
Predicates and Quantifiers
The Foundations: Logic and Proofs
Discrete Maths Objective to introduce predicate logic (also called the predicate calculus) , Semester 2, Predicate Logic 1.
Logical Equivalence & Predicate Logic
A Good Citizen. A citizen is someone who lives in a particular place, such as city or country; who has rights and responsibilities to do the right thing.
Nested Quantifiers. 2 Nested Iteration Let the domain be {1, 2, …, 10}. Let P(x, y) denote x > y.  x,  y, P(x, y) means  x, (  y, P(x, y) ) Is the.
Predicates and Quantified Statements M , 3.2.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Statements with Multiple Quantifiers. When a statement contains more than one quantifier, we imagine the actions suggested by the quantifiers as being.

March 2013~ Women’s History Month Objective: Students will identify and describe an accomplished person they admire and respect. Furthermore, they will.
Subjects and Predicates. Subject Tells whom or what the sentence is about Example: The black pan is very hot.
Selected Exercises of Sec. 1.2~Sec.1.4 Sec. 1.2 Exercise 41 p, q, r 중에 두 개가 참이면 참이 되고, 그 외 의 경우에는 거짓이 되는 복합명제를 구하 시오. Find a compound proposition involving.
(CSC 102) Lecture 8 Discrete Structures. Previous Lectures Summary Predicates Set Notation Universal and Existential Statement Translating between formal.
Nested Quantifiers Section 1.5.
Subject and Predicate A sentence has a subject and a predicate.
Natural Deduction for Predicate Logic Bound Variable: A variable within the scope of a quantifier. – (x) Px – (  y) (Zy · Uy) – (z) (Mz  ~Nz) Free Variable:
Lecture 7 – Jan 28, Chapter 2 The Logic of Quantified Statements.
Discrete Structures – CNS 2300
22C:19 Discrete Structures Logic and Proof Fall 2014 Sukumar Ghosh.
Statements Containing Multiple Quantifiers Lecture 11 Section 2.3 Mon, Feb 5, 2007.
Section 1.5. Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements.
Discrete Mathematical الرياضيات المتقطعة. Example 12 June OR Q(x,y): x+y=x-y a) Q(1,1): 2=0 False b) Q(2,0): 2+0=2-0 True c) Q(1,y): 1+y=1-y False(take.
رياضيات متقطعة لعلوم الحاسب MATH 226. Chapter 1 Predicates and Quantifiers 1.4.
CSE15 Discrete Mathematics 01/25/17
CS 2210:0001 Discrete Structures Logic and Proof
3. The Logic of Quantified Statements Summary
Sec. 4-3: Matrix Multiplication 8/24/17
Chapter 1 The Foundations: Logic and Proofs
The Foundations: Logic and Proofs
CS 1502 Formal Methods in Computer Science
Introduction to Predicates and Quantified Statements II
حددي الشوارع الرئيسية و الثانوية ؟؟
Lesson 8: Break Even Analysis, Equilibrium Quantity/Price
Mathematics for Computer Science MIT 6.042J/18.062J
Nested Quantifiers Nested quantifiers are often necessary to express the meaning of sentences in English as well as important concepts in computer science.
Introduction to Predicates and Quantified Statements II
Statements Containing Multiple Quantifiers
Mathematical Structures for Computer Science Chapter 1
Introduction to Predicates and Quantified Statements I
C structures and Compilation to IA32
ICS 253: Discrete Structures I
Predicates and Quantifiers
Discrete Mathematics Lecture 4 Logic of Quantified Statements
The Foundations: Logic and Proofs
Statements Containing Multiple Quantifiers
Presentation transcript:

Single Quantifier, Multiple Predicates xx there is some x there is some one some Student Respects Jay AND Rxj  Sx )( who is a student who respects Jay AND x is a student x respects Jay  x ( Sx  Rxj )

Single Quantifier, Multiple Predicates xx no matter who x is IF no matter who you are every Student Respects Kay THEN Rxk  Sx ) ( you are a student you respect Kay IF THEN x is a student x respects Kay  x ( Sx  Rxk )

Single Quantifier, Multiple Predicates xx there is no x there is no one Jay Respects no Student AND Rjx  Sx ) ( who is a student whom Jay respects AND x is a student Jay respects x   x ( Sx  Rjx )

Multiple Quantifiers, Multiple Predicates xx no matter who x is IF no matter who you are every Student Respects someone or other THEN x respects someone  Sx ) ( you are a student you respect someone IF THEN x is a student x respects someone  x ( Sx  x respects someone )

Multiple Quantifiers, Multiple Predicates  x ( Sx   y Rxy ) Rxy yy x R's ythere is some y whom x R'sthere is someone ) x R's someone  x ( Sx 

Multiple Quantifiers, Multiple Predicates xx x respects every politician there is no x : who respects every politicianthere is no one no-one Respects every Politician  x ( x respects every politician )

Multiple Quantifiers, Multiple Predicates xx   x  y ( Py  Rxy ) IF no matter who you are x Respects every Politician THEN you are P x R’s you IF no matter who y is THEN y is P x R’s y yy Rxy  Py ) (

xx there is some x there is some one there is a Politician whom no-one Respects AND no-one R's x  Px ) ( who is a politician whom no-one respects AND x is a politician no-one respects x  x ( Px  no-one R's x )

 x ( Px    y Ryx ) Ryx yy y R's xthere is no y who R’s xthere is no one ) no one R's x  x ( Px &

xx there is some x there is some one there is a Politician who Respects every Citizen AND x respects every C  Px ) ( who is a politician who respects every C AND x is a politician x respects every C  x ( Px  x respects every C )

 x ( Px   y ( Cy  Rxy ) ) yy no matter who you are ) x R's every C  x ( Px  IF THEN you are C x R’s you IF THEN y is C x R’s y no matter who y is Rxy  Cy ) (

xx no matter who x is IF no matter who you are every Citizen Respects some Politician (or other) THEN x respects some P  Cx ) ( you are a citizen you respect some P IF THEN x is a citizen x respects some P  x ( Cx  x respects some P )

 x ( Cx   y ( Py  Rxy ) ) yy there is some y there is someone ) x R's some Politician  x ( Cx  AND who is a P whom x R's AND y is a P x R's y Rxy  Py )(

xx there is some x there is some one there is a Politician whom every Citizen Respects AND every C respects x  Px )( who is a politician whom every C respects AND x is a politician every C respects x  x ( Px  every C respects x )

 x ( Px   y ( Cy  Ryx ) ) yy no matter who you are ) every C R's x  x ( Px  IF THEN you are C you R x IF THEN y is C y R’s x no matter who y is Ryx  Cy ) (

xx there is some x there is some one there is a Citizen who Respects no Politician AND x respects no P  Cx ) ( who is a citizen who respects no P AND x is a citizen x respects no P  x ( Cx  x respects no P )

yy there is no-one ) x R's no P  x ( Cx  AND who is P whom x R's AND y is P x R’s y there is no y Rxy & Py ) (  x ( Cx    y ( Py  Rxy ) )