SlideShare a Scribd company logo
1 of 10
Discrete Mathematics
What is Predicate & Quantifier?
Predicate
• “x > 3,” “x = y + 3,” “x + y = z,”
• “computer x is under attack by an intruder,”
• These statements are neither true nor false.
• How propositions can be produced from such statements?
• “x is greater than 3” has two parts. The first part, the variable x, is the
subject of the statement. The second part—the predicate, “is greater than
3”
• Let P(x) denote the statement “x > 3.” What are the truth values of P(4)
and P(2)?
• Solution: We obtain the statement P(4) by setting x = 4 in the statement “x
> 3.” Hence,
• P(4), which is the statement “4 > 3,” is true. However, P(2), which is the
statement “2 > 3,”is false.
Some example
• Let Q(x, y) denote the statement “x = y + 3.” What are the truth values of
the propositions Q(1, 2) and Q(3, 0)?
• Solution: To obtain Q(1, 2), set x = 1 and y = 2 in the statement Q(x, y).
Hence, Q(1, 2) is the statement “1 = 2 + 3,” which is false.
• The statement Q(3, 0) is the proposition “3 = 0 + 3,” which is true.
Quantifier
• Quantification expresses the extent to which a
predicate is true over a range of elements. In
English, the words all, some, many, none, and
few are used in quantifications.
Universal & Existential quantifier
• The notation ∀xP(x) denotes the universal quantification of P(x). Here is∀
called the universal quantifier. We read ∀xP(x) as “for all xP(x)” or “for
every xP(x).” P(x) is true for all values of x in this domain.
• We use the notation ∃xP(x) for the existential quantification of P(x). Here
is called existential quantifier.the P(x) is true for∃ at least one value of x
in the domain.
Example of universal quantifier
• Let P(x) be the statement “x + 1 > x.” What is the truth value of the
quantification xP(x),∀ where the domain consists of all real numbers?
• Solution: Because P(x) is true for all real numbers x, the quantification
∀xP(x) is true.
• Let Q(x) be the statement “x < 2.” What is the truth value of the
quantification xQ(x), where∀ the domain consists of all real numbers?
• Solution: Q(x) is not true for every real number x, because, for instance,
Q(3) is false. That is,x = 3 is a counterexample for the statement xQ(x).∀
Thus ∀xQ(x) is false.
Example of existential quantifier
• Let P(x) denote the statement “x > 3.” What is the truth value of the
quantification xP(x),∃ where the domain consists of all real numbers?
• Solution: Because “x > 3” is sometimes true for instance, when x = 4 the
existential quantification of P(x), which is xP(x), is true.∃
• Let Q(x) denote the statement “x = x + 1.”What is the truth value of the
quantification xQ(x),∃ where the domain consists of all real numbers?
• Solution: Because Q(x) is false for every real number x, the existential
quantification of Q(x),which is ∃xQ(x), is false.
Some examples
“All lions are fierce.”
“Some lions do not drink coffee.”
“Some fierce creatures do not drink coffee.”
• Let P(x), Q(x), and R(x) be the statements “x is a lion,” “x is fierce,” and “x
drinks coffee,” respectively. Assuming that the domain consists of all
creatures, express the statements in the argument using quantifiers and
P(x), Q(x), and R(x).
• ∀x(P(x) → Q(x)).
• ∃x(P(x) ∧ ¬ R(x)).
• ∃x(Q(x) ∧ ¬ R(x)).
• Notice that the second statement cannot be written as ∃x(P(x)→ ¬ R(x)). The reason is that P(x)→ ¬ R(x)
is true whenever x is not a lion, so that x(P(x)→∃ ¬ R(x)) is true as long as there is at least one creature
that is not a lion, even if every lion drinks coffee. Similarly, the third statement cannot be written as
∃x(Q(x)→ ¬ R(x)).
Some examples
• “All hummingbirds are richly colored.”
• “No large birds live on honey.”
• “Birds that do not live on honey are dull in color.”
• “Hummingbirds are small.”
• Let P(x), Q(x), R(x), and S(x) be the statements “x is a hummingbird,”
“x is large,” “x lives on honey,” and “x is richly colored,” respectively.
Assuming that the domain consists of all birds,express the statements
in the argument using quantifiers and P(x), Q(x), R(x), and S(x).
• Solution:We can express the statements in the argument as
• ∀x(P(x) → S(x)).
• ¬∃ x(Q(x) R(x)).∧
• ∀x( ¬ R(x)→ ¬ S(x)).
• ∀x(P(x)→ ¬ Q(x)).
Try yourself
• Let P(x) be the statement “x can speak Russian” and let Q(x) be the
statement “x knows the computer language C”. Express each of these
sentences in terms of P(x), Q(x), quantifiers, and logical connectives. The
universe of discourse for quantifiers consists of all students at your school.
•
• (i) There is a student at your school who can speak Russian and who
knows C.
•
• (ii) Every student at your school either can speak Russian or knows C.
•

More Related Content

What's hot

CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inferenceallyn joy calcaben
 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical inductionKriti Varshney
 
Mathematical Induction
Mathematical InductionMathematical Induction
Mathematical InductionEdelyn Cagas
 
WW1-PASCUAL, JES MARCUS G 102TM.pdf
WW1-PASCUAL, JES MARCUS G 102TM.pdfWW1-PASCUAL, JES MARCUS G 102TM.pdf
WW1-PASCUAL, JES MARCUS G 102TM.pdfARVINCRUZ16
 
Introduction to calculus
Introduction to calculusIntroduction to calculus
Introduction to calculussheetslibrary
 
CMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical InductionCMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical Inductionallyn joy calcaben
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalencesallyn joy calcaben
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical LogicJoey Valdriz
 
Lesson 8: Derivatives of Polynomials and Exponential functions
Lesson 8: Derivatives of Polynomials and Exponential functionsLesson 8: Derivatives of Polynomials and Exponential functions
Lesson 8: Derivatives of Polynomials and Exponential functionsMatthew Leingang
 
Rules of inference
Rules of inferenceRules of inference
Rules of inferenceharman kaur
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1blaircomp2003
 
Ordinary differential equations
Ordinary differential equationsOrdinary differential equations
Ordinary differential equationsAhmed Haider
 
Parabola Lesson Powerpoint Presentation
Parabola Lesson Powerpoint PresentationParabola Lesson Powerpoint Presentation
Parabola Lesson Powerpoint Presentationyanhiggins
 
Lec 02 logical eq (Discrete Mathematics)
Lec 02   logical eq (Discrete Mathematics)Lec 02   logical eq (Discrete Mathematics)
Lec 02 logical eq (Discrete Mathematics)Naosher Md. Zakariyar
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logicallyn joy calcaben
 
Discrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional LogicDiscrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional LogicIT Engineering Department
 
Relation Hasse diagram
Relation Hasse diagramRelation Hasse diagram
Relation Hasse diagramRachana Pathak
 
History of Calculus
History of CalculusHistory of Calculus
History of CalculusRowel Adane
 
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz Shivek Khurana
 

What's hot (20)

CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inference
 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical induction
 
Mathematical Induction
Mathematical InductionMathematical Induction
Mathematical Induction
 
WW1-PASCUAL, JES MARCUS G 102TM.pdf
WW1-PASCUAL, JES MARCUS G 102TM.pdfWW1-PASCUAL, JES MARCUS G 102TM.pdf
WW1-PASCUAL, JES MARCUS G 102TM.pdf
 
Introduction to calculus
Introduction to calculusIntroduction to calculus
Introduction to calculus
 
CMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical InductionCMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical Induction
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Lesson 8: Derivatives of Polynomials and Exponential functions
Lesson 8: Derivatives of Polynomials and Exponential functionsLesson 8: Derivatives of Polynomials and Exponential functions
Lesson 8: Derivatives of Polynomials and Exponential functions
 
Lesson 10: The Chain Rule
Lesson 10: The Chain RuleLesson 10: The Chain Rule
Lesson 10: The Chain Rule
 
Rules of inference
Rules of inferenceRules of inference
Rules of inference
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
 
Ordinary differential equations
Ordinary differential equationsOrdinary differential equations
Ordinary differential equations
 
Parabola Lesson Powerpoint Presentation
Parabola Lesson Powerpoint PresentationParabola Lesson Powerpoint Presentation
Parabola Lesson Powerpoint Presentation
 
Lec 02 logical eq (Discrete Mathematics)
Lec 02   logical eq (Discrete Mathematics)Lec 02   logical eq (Discrete Mathematics)
Lec 02 logical eq (Discrete Mathematics)
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
Discrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional LogicDiscrete Math Lecture 01: Propositional Logic
Discrete Math Lecture 01: Propositional Logic
 
Relation Hasse diagram
Relation Hasse diagramRelation Hasse diagram
Relation Hasse diagram
 
History of Calculus
History of CalculusHistory of Calculus
History of Calculus
 
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz
 

Similar to Predicate &amp; quantifier

Quantifiers and its Types
Quantifiers and its TypesQuantifiers and its Types
Quantifiers and its TypesHumayunNaseer4
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfMuhammadUmerIhtisham
 
Chapter 01 - p2.pdf
Chapter 01 - p2.pdfChapter 01 - p2.pdf
Chapter 01 - p2.pdfsmarwaneid
 
1606751772-ds-lecture-6.ppt
1606751772-ds-lecture-6.ppt1606751772-ds-lecture-6.ppt
1606751772-ds-lecture-6.pptTejasAditya2
 
Discreate structure presentation introduction
Discreate structure presentation introductionDiscreate structure presentation introduction
Discreate structure presentation introductionyashirraza123
 
Predicates and quantifiers
Predicates and quantifiersPredicates and quantifiers
Predicates and quantifiersIstiak Ahmed
 
Use of quantifiers
Use of quantifiersUse of quantifiers
Use of quantifiersLakshmi R
 
Unit 1 quantifiers
Unit 1  quantifiersUnit 1  quantifiers
Unit 1 quantifiersraksharao
 
CLASS X MATHS Polynomials
CLASS X MATHS  PolynomialsCLASS X MATHS  Polynomials
CLASS X MATHS PolynomialsRc Os
 
Discussion about random variable ad its characterization
Discussion about random variable ad its characterizationDiscussion about random variable ad its characterization
Discussion about random variable ad its characterizationGeeta Arora
 
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and ProofsDiscrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and ProofsAmr Rashed
 

Similar to Predicate &amp; quantifier (20)

X02PredCalculus.ppt
X02PredCalculus.pptX02PredCalculus.ppt
X02PredCalculus.ppt
 
Quantifiers and its Types
Quantifiers and its TypesQuantifiers and its Types
Quantifiers and its Types
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdf
 
PredicateLogic (1).ppt
PredicateLogic (1).pptPredicateLogic (1).ppt
PredicateLogic (1).ppt
 
PredicateLogic.pptx
PredicateLogic.pptxPredicateLogic.pptx
PredicateLogic.pptx
 
Lecture3
Lecture3Lecture3
Lecture3
 
Universal Quantification DM
Universal Quantification DMUniversal Quantification DM
Universal Quantification DM
 
Chapter 01 - p2.pdf
Chapter 01 - p2.pdfChapter 01 - p2.pdf
Chapter 01 - p2.pdf
 
Formal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and QuantifiersFormal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and Quantifiers
 
Per3 logika
Per3 logikaPer3 logika
Per3 logika
 
1606751772-ds-lecture-6.ppt
1606751772-ds-lecture-6.ppt1606751772-ds-lecture-6.ppt
1606751772-ds-lecture-6.ppt
 
Discreate structure presentation introduction
Discreate structure presentation introductionDiscreate structure presentation introduction
Discreate structure presentation introduction
 
Predicates and quantifiers
Predicates and quantifiersPredicates and quantifiers
Predicates and quantifiers
 
Use of quantifiers
Use of quantifiersUse of quantifiers
Use of quantifiers
 
Course notes2summer2012
Course notes2summer2012Course notes2summer2012
Course notes2summer2012
 
Quantification
QuantificationQuantification
Quantification
 
Unit 1 quantifiers
Unit 1  quantifiersUnit 1  quantifiers
Unit 1 quantifiers
 
CLASS X MATHS Polynomials
CLASS X MATHS  PolynomialsCLASS X MATHS  Polynomials
CLASS X MATHS Polynomials
 
Discussion about random variable ad its characterization
Discussion about random variable ad its characterizationDiscussion about random variable ad its characterization
Discussion about random variable ad its characterization
 
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and ProofsDiscrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
 

More from University of Potsdam (20)

Computer fundamentals 01
Computer fundamentals 01Computer fundamentals 01
Computer fundamentals 01
 
Workshop on android apps development
Workshop on android apps developmentWorkshop on android apps development
Workshop on android apps development
 
Transparency and concurrency
Transparency and concurrencyTransparency and concurrency
Transparency and concurrency
 
Database System Architecture
Database System ArchitectureDatabase System Architecture
Database System Architecture
 
Functional dependency and normalization
Functional dependency and normalizationFunctional dependency and normalization
Functional dependency and normalization
 
indexing and hashing
indexing and hashingindexing and hashing
indexing and hashing
 
data recovery-raid
data recovery-raiddata recovery-raid
data recovery-raid
 
Query processing
Query processingQuery processing
Query processing
 
Machine Learning for Data Mining
Machine Learning for Data MiningMachine Learning for Data Mining
Machine Learning for Data Mining
 
Tree, function and graph
Tree, function and graphTree, function and graph
Tree, function and graph
 
Sonet
SonetSonet
Sonet
 
Sets in discrete mathematics
Sets in discrete mathematicsSets in discrete mathematics
Sets in discrete mathematics
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
 
Series parallel ac rlc networks
Series parallel ac rlc networksSeries parallel ac rlc networks
Series parallel ac rlc networks
 
Series parallel ac networks
Series parallel ac networksSeries parallel ac networks
Series parallel ac networks
 
Relations
RelationsRelations
Relations
 
Relations
RelationsRelations
Relations
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Prim algorithm
Prim algorithmPrim algorithm
Prim algorithm
 

Recently uploaded

Play hard learn harder: The Serious Business of Play
Play hard learn harder:  The Serious Business of PlayPlay hard learn harder:  The Serious Business of Play
Play hard learn harder: The Serious Business of PlayPooky Knightsmith
 
Model Attribute _rec_name in the Odoo 17
Model Attribute _rec_name in the Odoo 17Model Attribute _rec_name in the Odoo 17
Model Attribute _rec_name in the Odoo 17Celine George
 
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdfFICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdfPondicherry University
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17Celine George
 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17Celine George
 
dusjagr & nano talk on open tools for agriculture research and learning
dusjagr & nano talk on open tools for agriculture research and learningdusjagr & nano talk on open tools for agriculture research and learning
dusjagr & nano talk on open tools for agriculture research and learningMarc Dusseiller Dusjagr
 
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Pooja Bhuva
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxmarlenawright1
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxJisc
 
OSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsOSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsSandeep D Chaudhary
 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - Englishneillewis46
 
Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111GangaMaiya1
 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024Elizabeth Walsh
 
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...Amil baba
 
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...Nguyen Thanh Tu Collection
 
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxEsquimalt MFRC
 
Economic Importance Of Fungi In Food Additives
Economic Importance Of Fungi In Food AdditivesEconomic Importance Of Fungi In Food Additives
Economic Importance Of Fungi In Food AdditivesSHIVANANDaRV
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and ModificationsMJDuyan
 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Jisc
 

Recently uploaded (20)

Play hard learn harder: The Serious Business of Play
Play hard learn harder:  The Serious Business of PlayPlay hard learn harder:  The Serious Business of Play
Play hard learn harder: The Serious Business of Play
 
Model Attribute _rec_name in the Odoo 17
Model Attribute _rec_name in the Odoo 17Model Attribute _rec_name in the Odoo 17
Model Attribute _rec_name in the Odoo 17
 
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdfFICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17
 
dusjagr & nano talk on open tools for agriculture research and learning
dusjagr & nano talk on open tools for agriculture research and learningdusjagr & nano talk on open tools for agriculture research and learning
dusjagr & nano talk on open tools for agriculture research and learning
 
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptx
 
OSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsOSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & Systems
 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - English
 
Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111
 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024
 
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
 
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
 
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
 
OS-operating systems- ch05 (CPU Scheduling) ...
OS-operating systems- ch05 (CPU Scheduling) ...OS-operating systems- ch05 (CPU Scheduling) ...
OS-operating systems- ch05 (CPU Scheduling) ...
 
Economic Importance Of Fungi In Food Additives
Economic Importance Of Fungi In Food AdditivesEconomic Importance Of Fungi In Food Additives
Economic Importance Of Fungi In Food Additives
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)
 

Predicate &amp; quantifier

  • 1. Discrete Mathematics What is Predicate & Quantifier?
  • 2. Predicate • “x > 3,” “x = y + 3,” “x + y = z,” • “computer x is under attack by an intruder,” • These statements are neither true nor false. • How propositions can be produced from such statements? • “x is greater than 3” has two parts. The first part, the variable x, is the subject of the statement. The second part—the predicate, “is greater than 3” • Let P(x) denote the statement “x > 3.” What are the truth values of P(4) and P(2)? • Solution: We obtain the statement P(4) by setting x = 4 in the statement “x > 3.” Hence, • P(4), which is the statement “4 > 3,” is true. However, P(2), which is the statement “2 > 3,”is false.
  • 3. Some example • Let Q(x, y) denote the statement “x = y + 3.” What are the truth values of the propositions Q(1, 2) and Q(3, 0)? • Solution: To obtain Q(1, 2), set x = 1 and y = 2 in the statement Q(x, y). Hence, Q(1, 2) is the statement “1 = 2 + 3,” which is false. • The statement Q(3, 0) is the proposition “3 = 0 + 3,” which is true.
  • 4. Quantifier • Quantification expresses the extent to which a predicate is true over a range of elements. In English, the words all, some, many, none, and few are used in quantifications.
  • 5. Universal & Existential quantifier • The notation ∀xP(x) denotes the universal quantification of P(x). Here is∀ called the universal quantifier. We read ∀xP(x) as “for all xP(x)” or “for every xP(x).” P(x) is true for all values of x in this domain. • We use the notation ∃xP(x) for the existential quantification of P(x). Here is called existential quantifier.the P(x) is true for∃ at least one value of x in the domain.
  • 6. Example of universal quantifier • Let P(x) be the statement “x + 1 > x.” What is the truth value of the quantification xP(x),∀ where the domain consists of all real numbers? • Solution: Because P(x) is true for all real numbers x, the quantification ∀xP(x) is true. • Let Q(x) be the statement “x < 2.” What is the truth value of the quantification xQ(x), where∀ the domain consists of all real numbers? • Solution: Q(x) is not true for every real number x, because, for instance, Q(3) is false. That is,x = 3 is a counterexample for the statement xQ(x).∀ Thus ∀xQ(x) is false.
  • 7. Example of existential quantifier • Let P(x) denote the statement “x > 3.” What is the truth value of the quantification xP(x),∃ where the domain consists of all real numbers? • Solution: Because “x > 3” is sometimes true for instance, when x = 4 the existential quantification of P(x), which is xP(x), is true.∃ • Let Q(x) denote the statement “x = x + 1.”What is the truth value of the quantification xQ(x),∃ where the domain consists of all real numbers? • Solution: Because Q(x) is false for every real number x, the existential quantification of Q(x),which is ∃xQ(x), is false.
  • 8. Some examples “All lions are fierce.” “Some lions do not drink coffee.” “Some fierce creatures do not drink coffee.” • Let P(x), Q(x), and R(x) be the statements “x is a lion,” “x is fierce,” and “x drinks coffee,” respectively. Assuming that the domain consists of all creatures, express the statements in the argument using quantifiers and P(x), Q(x), and R(x). • ∀x(P(x) → Q(x)). • ∃x(P(x) ∧ ¬ R(x)). • ∃x(Q(x) ∧ ¬ R(x)). • Notice that the second statement cannot be written as ∃x(P(x)→ ¬ R(x)). The reason is that P(x)→ ¬ R(x) is true whenever x is not a lion, so that x(P(x)→∃ ¬ R(x)) is true as long as there is at least one creature that is not a lion, even if every lion drinks coffee. Similarly, the third statement cannot be written as ∃x(Q(x)→ ¬ R(x)).
  • 9. Some examples • “All hummingbirds are richly colored.” • “No large birds live on honey.” • “Birds that do not live on honey are dull in color.” • “Hummingbirds are small.” • Let P(x), Q(x), R(x), and S(x) be the statements “x is a hummingbird,” “x is large,” “x lives on honey,” and “x is richly colored,” respectively. Assuming that the domain consists of all birds,express the statements in the argument using quantifiers and P(x), Q(x), R(x), and S(x). • Solution:We can express the statements in the argument as • ∀x(P(x) → S(x)). • ¬∃ x(Q(x) R(x)).∧ • ∀x( ¬ R(x)→ ¬ S(x)). • ∀x(P(x)→ ¬ Q(x)).
  • 10. Try yourself • Let P(x) be the statement “x can speak Russian” and let Q(x) be the statement “x knows the computer language C”. Express each of these sentences in terms of P(x), Q(x), quantifiers, and logical connectives. The universe of discourse for quantifiers consists of all students at your school. • • (i) There is a student at your school who can speak Russian and who knows C. • • (ii) Every student at your school either can speak Russian or knows C. •