SlideShare ist ein Scribd-Unternehmen logo
1 von 15
Downloaden Sie, um offline zu lesen
Propositions and Logical Operations
Definition: A predicate or a propositional function is a
noun/verb phrase template that describes a property of
objects, or a relationship among objects represented by
the variables:
Example: ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ : โ€œ๐‘ฅ๐‘ฅ is integer less than 8.โ€
๏‚ง ๐‘ƒ๐‘ƒ 1 =
๏‚ง ๐‘ƒ๐‘ƒ 10 =
๏‚ง ๐‘ƒ๐‘ƒ โˆ’11 =
1ยฉ S. Turaev, CSC 1700 Discrete Mathematics
Propositions and Logical Operations
Definition: The universal quantification of a predicate
๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is the statement โ€œFor all values of ๐‘ฅ๐‘ฅ (for every ๐‘ฅ๐‘ฅ, for
each ๐‘ฅ๐‘ฅ, for any ๐‘ฅ๐‘ฅ), ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is trueโ€ and is denoted by
โˆ€๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ .
Example: ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ : โ€œโˆ’ โˆ’๐‘ฅ๐‘ฅ = ๐‘ฅ๐‘ฅโ€ is a predicate that is true
for all real numbers.
โˆ€๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ =
Example: ๐‘„๐‘„ ๐‘ฅ๐‘ฅ : โ€œ๐‘ฅ๐‘ฅ + 1 < 4โ€.
โˆ€๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ =
2ยฉ S. Turaev, CSC 1700 Discrete Mathematics
Propositions and Logical Operations
A predicate may contain several variables.
Example: ๐‘„๐‘„ ๐‘ฅ๐‘ฅ, ๐‘ฆ๐‘ฆ : ๐‘ฅ๐‘ฅ + ๐‘ฆ๐‘ฆ = ๐‘ฆ๐‘ฆ + ๐‘ฅ๐‘ฅ
โˆ€๐‘ฅ๐‘ฅโˆ€๐‘ฆ๐‘ฆ๐‘ฆ๐‘ฆ ๐‘ฅ๐‘ฅ, ๐‘ฆ๐‘ฆ =
Example: Write the following statement in the form of a
predicate and quantifier:
โ€œThe sum of any two integers is even number.โ€
3ยฉ S. Turaev, CSC 1700 Discrete Mathematics
Propositions and Logical Operations
Definition: The existential quantification of a predicate
๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is the statement โ€œThere exists a value of ๐‘ฅ๐‘ฅ, for
which ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is trueโ€ and is denoted by โˆƒ๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ .
Example: ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ : โ€œโˆ’๐‘ฅ๐‘ฅ = ๐‘ฅ๐‘ฅโ€.
โˆƒ๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ =
Example: ๐‘„๐‘„ ๐‘ฅ๐‘ฅ : โ€œ๐‘ฅ๐‘ฅ + 1 < 4โ€.
โˆƒ๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ =
4ยฉ S. Turaev, CSC 1700 Discrete Mathematics
Mathematical Induction
Mathematical Induction
Suppose we have an infinite ladder:
1. We can reach the first rung of the
ladder.
2. If we can reach a particular rung of
the ladder, then we can reach the
next rung.
From (1), we can reach the first rung.
Then by applying (2), we can reach the
second rung. Applying (2) again, the
third rung, and so on. We can apply (2)
any # of times to reach any particular
rung, no matter how high up.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 6
Mathematical Induction
Principle of Mathematical Induction: To prove that ๐‘ƒ๐‘ƒ(๐‘›๐‘›)
is true for all positive integers ๐‘›๐‘›, we complete these
steps:
BASIS STEP: Show that ๐‘ƒ๐‘ƒ(๐‘›๐‘›0) is true.
INDUCTIVE STEP: Show that ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ โ†’ ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜ + 1) is true
for all positive integers ๐‘˜๐‘˜ โ‰ฅ ๐‘›๐‘›0.
To complete the inductive step, assuming the inductive
hypothesis that ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜) holds for an arbitrary integer ๐‘˜๐‘˜ โ‰ฅ
๐‘›๐‘›0, show that must ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜ + 1) be true.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 7
Mathematical Induction
Example: Show that
๏ฟฝ
๐‘–๐‘–=1
๐‘›๐‘›
๐‘–๐‘– =
๐‘›๐‘›(๐‘›๐‘› + 1)
2
Solution:
BASIS STEP: ๐‘ƒ๐‘ƒ 1 is true since
1 1 + 1
2
= 1.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 8
Mathematical Induction
INDUCTIVE STEP: Assume true for ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜).
The inductive hypothesis is
๏ฟฝ
๐‘–๐‘–=1
๐‘˜๐‘˜
๐‘–๐‘– =
๐‘˜๐‘˜ ๐‘˜๐‘˜ + 1
2
1 + 2 + โ‹ฏ + ๐‘˜๐‘˜ + ๐‘˜๐‘˜ + 1
=
๐‘˜๐‘˜ ๐‘˜๐‘˜ + 1
2
+ ๐‘˜๐‘˜ + 1 =
๐‘˜๐‘˜ ๐‘˜๐‘˜ + 1 + 2(๐‘˜๐‘˜ + 1)
2
=
(๐‘˜๐‘˜ + 1)(๐‘˜๐‘˜ + 2)
2
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 9
Exercises
Prove that
โ€ข 12 + 22 + 32 + โ‹ฏ + ๐‘›๐‘›2 =
๐‘›๐‘› ๐‘›๐‘›+1 2๐‘›๐‘›+1
6
โ€ข 12 + 32 + 52 + โ‹ฏ + 2๐‘›๐‘› โˆ’ 1 2 =
๐‘›๐‘› 2๐‘›๐‘›+1 2๐‘›๐‘›โˆ’1
3
โ€ข 1 + 21 + 22 + โ‹ฏ + 2๐‘›๐‘› = 2๐‘›๐‘›+1 โˆ’ 1
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 10
Mathematical Induction
Example: Prove that ๐‘›๐‘› < 2๐‘›๐‘› for all positive integers ๐‘›๐‘›.
Example: Prove that ๐‘›๐‘›! โ‰ฅ 2๐‘›๐‘›โˆ’1
for all positive integers ๐‘›๐‘›.
Example: Prove that ๐‘›๐‘›3 โˆ’ ๐‘›๐‘› is divisible by 3, for every
positive integer ๐‘›๐‘›.
Example: Let ๐ด๐ด1, ๐ด๐ด2, ๐ด๐ด3, โ€ฆ , ๐ด๐ด๐‘›๐‘› be any sets. Show that
๏ฟฝ
๐‘–๐‘–=1
๐‘›๐‘›
๐ด๐ด๐‘–๐‘– = ๏ฟฝ
๐‘–๐‘–=1
๐‘›๐‘›
๐ด๐ด๐‘–๐‘–
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 11
Strong Mathematical Induction
Strong induction tells us that we can
reach all rungs if:
1. We can reach the first rung of
the ladder.
2. For every integer ๐‘˜๐‘˜, if we can
reach the first ๐‘˜๐‘˜ rungs, then we
can reach the (๐‘˜๐‘˜ + 1)st rung.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 12
Strong Mathematical Induction
To conclude that we can reach every rung by strong
induction:
BASIS STEP: ๐‘ƒ๐‘ƒ 1 holds.
INDUCTIVE STEP: Assume ๐‘ƒ๐‘ƒ 1 โˆง ๐‘ƒ๐‘ƒ 2 โˆง โ‹ฏ โˆง ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜
holds for an arbitrary integer ๐‘˜๐‘˜, and show that
๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 must also hold.
We will have then shown by strong induction that for
every positive integer ๐‘›๐‘›, ๐‘ƒ๐‘ƒ ๐‘›๐‘› holds, i.e., we can reach
the ๐‘›๐‘›th rung of the ladder.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 13
Strong Mathematical Induction
Example: Show that if ๐‘›๐‘› is an integer greater than 1, then
๐‘›๐‘› can be written as the product of primes.
Solution: Let ๐‘ƒ๐‘ƒ ๐‘›๐‘› be the proposition that ๐‘›๐‘› can be
written as a product of primes.
BASIS STEP: ๐‘ƒ๐‘ƒ 2 is true since 2 itself is prime.
INDUCTIVE STEP: The inductive hypothesis is ๐‘ƒ๐‘ƒ ๐‘–๐‘– is
true for all integers ๐‘–๐‘– with 2 โ‰ค ๐‘–๐‘– โ‰ค ๐‘˜๐‘˜. To show that
๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 must be true under this assumption, two
cases need to be considered:
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 14
Strong Mathematical Induction
INDUCTIVE STEP: The inductive hypothesis is ๐‘ƒ๐‘ƒ ๐‘–๐‘– is
true for all integers ๐‘–๐‘– with 2 โ‰ค ๐‘–๐‘– โ‰ค ๐‘˜๐‘˜. To show that
๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 must be true under this assumption, two
cases need to be considered:
1. If ๐‘˜๐‘˜ + 1 is prime, then ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 is true.
2. Otherwise, ๐‘˜๐‘˜ + 1 is composite and can be written
as the product of two positive integers ๐‘Ž๐‘Ž and ๐‘๐‘
with 2 โ‰ค ๐‘Ž๐‘Ž โ‰ค ๐‘๐‘ < ๐‘˜๐‘˜ + 1. By the inductive
hypothesis ๐‘Ž๐‘Ž and ๐‘๐‘ can be written as the product
of primes and therefore ๐‘˜๐‘˜ + 1 can also be written
as the product of those primes.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 15

Weitere รคhnliche Inhalte

Was ist angesagt?

mathematical induction
mathematical inductionmathematical induction
mathematical inductionankush_kumar
ย 
Generating functions solve recurrence
Generating functions solve recurrenceGenerating functions solve recurrence
Generating functions solve recurrenceHae Morgia
ย 
Mathematical Induction
Mathematical InductionMathematical Induction
Mathematical InductionEdelyn Cagas
ย 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical inductionrey castro
ย 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆ
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆ
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆDr. Khaled Bakro
ย 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
ย 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
ย 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics LectureGenie Rose Santos
ย 
Regular Languages
Regular LanguagesRegular Languages
Regular Languagesparmeet834
ย 
Applications-of-sequence-and-series .official.docx
Applications-of-sequence-and-series .official.docxApplications-of-sequence-and-series .official.docx
Applications-of-sequence-and-series .official.docxyurDhitl
ย 
Predicates and Quantifiers
Predicates and Quantifiers Predicates and Quantifiers
Predicates and Quantifiers Istiak Ahmed
ย 
Truth table
Truth tableTruth table
Truth tableAbdur Rehman
ย 
Minimum spanning tree (mst)
Minimum spanning tree (mst)Minimum spanning tree (mst)
Minimum spanning tree (mst)Pradeep Behera
ย 
Proof by contradiction
Proof by contradictionProof by contradiction
Proof by contradictionGC University Fsd
ย 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptsamalaramesh4
ย 
Predicates and quantifiers
Predicates and quantifiersPredicates and quantifiers
Predicates and quantifiersIstiak Ahmed
ย 
Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesDiscrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesFellowBuddy.com
ย 

Was ist angesagt? (20)

mathematical induction
mathematical inductionmathematical induction
mathematical induction
ย 
Generating functions solve recurrence
Generating functions solve recurrenceGenerating functions solve recurrence
Generating functions solve recurrence
ย 
Mathematical Induction
Mathematical InductionMathematical Induction
Mathematical Induction
ย 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
ย 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆ
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆ
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro ุฏ. ุฎุงู„ุฏ ุจูƒุฑูˆ
ย 
Propositional logic
Propositional logicPropositional logic
Propositional logic
ย 
Generating function
Generating functionGenerating function
Generating function
ย 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
ย 
Metric space
Metric spaceMetric space
Metric space
ย 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
ย 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics Lecture
ย 
Regular Languages
Regular LanguagesRegular Languages
Regular Languages
ย 
Applications-of-sequence-and-series .official.docx
Applications-of-sequence-and-series .official.docxApplications-of-sequence-and-series .official.docx
Applications-of-sequence-and-series .official.docx
ย 
Predicates and Quantifiers
Predicates and Quantifiers Predicates and Quantifiers
Predicates and Quantifiers
ย 
Truth table
Truth tableTruth table
Truth table
ย 
Minimum spanning tree (mst)
Minimum spanning tree (mst)Minimum spanning tree (mst)
Minimum spanning tree (mst)
ย 
Proof by contradiction
Proof by contradictionProof by contradiction
Proof by contradiction
ย 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.ppt
ย 
Predicates and quantifiers
Predicates and quantifiersPredicates and quantifiers
Predicates and quantifiers
ย 
Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesDiscrete Mathematics Lecture Notes
Discrete Mathematics Lecture Notes
ย 

Andere mochten auch

Mathematical induction
Mathematical inductionMathematical induction
Mathematical inductionSman Abbasi
ย 
Mathematical induction and divisibility rules
Mathematical induction and divisibility rulesMathematical induction and divisibility rules
Mathematical induction and divisibility rulesDawood Faheem Abbasi
ย 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical inductionsonia -
ย 
X2 t08 02 induction (2013)
X2 t08 02 induction (2013)X2 t08 02 induction (2013)
X2 t08 02 induction (2013)Nigel Simmons
ย 
Theorems on limits
Theorems on limitsTheorems on limits
Theorems on limitsJohn Rome Aranas
ย 
Lecture 5 limit laws
Lecture 5   limit lawsLecture 5   limit laws
Lecture 5 limit lawsnjit-ronbrown
ย 
History of Induction and Recursion B
History of Induction and Recursion B History of Induction and Recursion B
History of Induction and Recursion B Damien MacFarland
ย 
RuleML2015: How to combine event stream reasoning with transactions for the...
RuleML2015:   How to combine event stream reasoning with transactions for the...RuleML2015:   How to combine event stream reasoning with transactions for the...
RuleML2015: How to combine event stream reasoning with transactions for the...RuleML
ย 
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...RuleML
ย 
AP Chemistry Chapter 11 Sample Exercises
AP Chemistry Chapter 11 Sample ExercisesAP Chemistry Chapter 11 Sample Exercises
AP Chemistry Chapter 11 Sample ExercisesJane Hamze
ย 
Induction and Decision Tree Learning (Part 1)
Induction and Decision Tree Learning (Part 1)Induction and Decision Tree Learning (Part 1)
Induction and Decision Tree Learning (Part 1)butest
ย 
RuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule EventsRuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule EventsRuleML
ย 
Conic sections day one
Conic sections day oneConic sections day one
Conic sections day oneJessica Garcia
ย 
Lesson 10 conic sections - hyperbola
Lesson 10    conic sections - hyperbolaLesson 10    conic sections - hyperbola
Lesson 10 conic sections - hyperbolaJean Leano
ย 
RuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth ContextRuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth ContextRuleML
ย 
11X1 T14 08 mathematical induction 1 (2011)
11X1 T14 08 mathematical induction 1 (2011)11X1 T14 08 mathematical induction 1 (2011)
11X1 T14 08 mathematical induction 1 (2011)Nigel Simmons
ย 
Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...
Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...
Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...RuleML
ย 
Challenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of DataChallenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of DataRuleML
ย 

Andere mochten auch (20)

Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
ย 
Mathematical induction and divisibility rules
Mathematical induction and divisibility rulesMathematical induction and divisibility rules
Mathematical induction and divisibility rules
ย 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
ย 
X2 t08 02 induction (2013)
X2 t08 02 induction (2013)X2 t08 02 induction (2013)
X2 t08 02 induction (2013)
ย 
Theorems on limits
Theorems on limitsTheorems on limits
Theorems on limits
ย 
Lecture 5 limit laws
Lecture 5   limit lawsLecture 5   limit laws
Lecture 5 limit laws
ย 
History of Induction and Recursion B
History of Induction and Recursion B History of Induction and Recursion B
History of Induction and Recursion B
ย 
RuleML2015: How to combine event stream reasoning with transactions for the...
RuleML2015:   How to combine event stream reasoning with transactions for the...RuleML2015:   How to combine event stream reasoning with transactions for the...
RuleML2015: How to combine event stream reasoning with transactions for the...
ย 
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
ย 
AP Chemistry Chapter 11 Sample Exercises
AP Chemistry Chapter 11 Sample ExercisesAP Chemistry Chapter 11 Sample Exercises
AP Chemistry Chapter 11 Sample Exercises
ย 
Induction and Decision Tree Learning (Part 1)
Induction and Decision Tree Learning (Part 1)Induction and Decision Tree Learning (Part 1)
Induction and Decision Tree Learning (Part 1)
ย 
RuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule EventsRuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule Events
ย 
Conic sections day one
Conic sections day oneConic sections day one
Conic sections day one
ย 
1515 conics
1515 conics1515 conics
1515 conics
ย 
Lesson 10 conic sections - hyperbola
Lesson 10    conic sections - hyperbolaLesson 10    conic sections - hyperbola
Lesson 10 conic sections - hyperbola
ย 
RuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth ContextRuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth Context
ย 
11X1 T14 08 mathematical induction 1 (2011)
11X1 T14 08 mathematical induction 1 (2011)11X1 T14 08 mathematical induction 1 (2011)
11X1 T14 08 mathematical induction 1 (2011)
ย 
Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...
Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...
Challenge@RuleML2015 Transformation and aggregation preprocessing for top-k r...
ย 
Circles
CirclesCircles
Circles
ย 
Challenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of DataChallenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of Data
ย 

ร„hnlich wie Math induction principle (slides)

Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)IIUM
ย 
CC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdfCC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdfJohnPaulViray1
ย 
Integers and matrices (slides)
Integers and matrices (slides)Integers and matrices (slides)
Integers and matrices (slides)IIUM
ย 
Counting i (slides)
Counting i (slides)Counting i (slides)
Counting i (slides)IIUM
ย 
ANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLE
ANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLEANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLE
ANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLEMuhammad Nur Chalim
ย 
mathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfmathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfBhanuCharan9
ย 
ANALISIS RIIL 1 3.2 ROBERT G BARTLE
ANALISIS RIIL 1 3.2 ROBERT G BARTLEANALISIS RIIL 1 3.2 ROBERT G BARTLE
ANALISIS RIIL 1 3.2 ROBERT G BARTLEMuhammad Nur Chalim
ย 
On Power Tower of Integers
On Power Tower of IntegersOn Power Tower of Integers
On Power Tower of Integersinventionjournals
ย 
Generalised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesGeneralised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesIOSR Journals
ย 
CHAPTER final.pdf
CHAPTER final.pdfCHAPTER final.pdf
CHAPTER final.pdfvivek827170
ย 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relationsIIUM
ย 
Lecture Notes: EEEC4340318 Instrumentation and Control Systems - Stability a...
Lecture Notes:  EEEC4340318 Instrumentation and Control Systems - Stability a...Lecture Notes:  EEEC4340318 Instrumentation and Control Systems - Stability a...
Lecture Notes: EEEC4340318 Instrumentation and Control Systems - Stability a...AIMST University
ย 
Existence, Uniqueness and Stability Solution of Differential Equations with B...
Existence, Uniqueness and Stability Solution of Differential Equations with B...Existence, Uniqueness and Stability Solution of Differential Equations with B...
Existence, Uniqueness and Stability Solution of Differential Equations with B...iosrjce
ย 
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICSBSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICSRai University
ย 
Ordinary Differential Equations: Variable separation method
Ordinary Differential Equations: Variable separation method  Ordinary Differential Equations: Variable separation method
Ordinary Differential Equations: Variable separation method AMINULISLAM439
ย 
Strong convexity on gradient descent and newton's method
Strong convexity on gradient descent and newton's methodStrong convexity on gradient descent and newton's method
Strong convexity on gradient descent and newton's methodSEMINARGROOT
ย 
Relations digraphs
Relations  digraphsRelations  digraphs
Relations digraphsIIUM
ย 
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric SpaceSome Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric SpaceIOSR Journals
ย 

ร„hnlich wie Math induction principle (slides) (20)

1
11
1
ย 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)
ย 
CC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdfCC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdf
ย 
Integers and matrices (slides)
Integers and matrices (slides)Integers and matrices (slides)
Integers and matrices (slides)
ย 
Counting i (slides)
Counting i (slides)Counting i (slides)
Counting i (slides)
ย 
ANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLE
ANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLEANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLE
ANALISIS RIIL 1 3.3 dan 3.4 ROBERT G BARTLE
ย 
mathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfmathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdf
ย 
ANALISIS RIIL 1 3.2 ROBERT G BARTLE
ANALISIS RIIL 1 3.2 ROBERT G BARTLEANALISIS RIIL 1 3.2 ROBERT G BARTLE
ANALISIS RIIL 1 3.2 ROBERT G BARTLE
ย 
PROOF TECHNIQUES
PROOF TECHNIQUESPROOF TECHNIQUES
PROOF TECHNIQUES
ย 
On Power Tower of Integers
On Power Tower of IntegersOn Power Tower of Integers
On Power Tower of Integers
ย 
Generalised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesGeneralised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double Sequences
ย 
CHAPTER final.pdf
CHAPTER final.pdfCHAPTER final.pdf
CHAPTER final.pdf
ย 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relations
ย 
Lecture Notes: EEEC4340318 Instrumentation and Control Systems - Stability a...
Lecture Notes:  EEEC4340318 Instrumentation and Control Systems - Stability a...Lecture Notes:  EEEC4340318 Instrumentation and Control Systems - Stability a...
Lecture Notes: EEEC4340318 Instrumentation and Control Systems - Stability a...
ย 
Existence, Uniqueness and Stability Solution of Differential Equations with B...
Existence, Uniqueness and Stability Solution of Differential Equations with B...Existence, Uniqueness and Stability Solution of Differential Equations with B...
Existence, Uniqueness and Stability Solution of Differential Equations with B...
ย 
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICSBSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICS
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICS
ย 
Ordinary Differential Equations: Variable separation method
Ordinary Differential Equations: Variable separation method  Ordinary Differential Equations: Variable separation method
Ordinary Differential Equations: Variable separation method
ย 
Strong convexity on gradient descent and newton's method
Strong convexity on gradient descent and newton's methodStrong convexity on gradient descent and newton's method
Strong convexity on gradient descent and newton's method
ย 
Relations digraphs
Relations  digraphsRelations  digraphs
Relations digraphs
ย 
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric SpaceSome Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
ย 

Mehr von IIUM

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhostIIUM
ย 
Chapter 2
Chapter 2Chapter 2
Chapter 2IIUM
ย 
Chapter 1
Chapter 1Chapter 1
Chapter 1IIUM
ย 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimediaIIUM
ย 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblockIIUM
ย 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice keyIIUM
ย 
Group p1
Group p1Group p1
Group p1IIUM
ย 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoIIUM
ย 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009IIUM
ย 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lformsIIUM
ย 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answerIIUM
ย 
Redo midterm
Redo midtermRedo midterm
Redo midtermIIUM
ย 
Heaps
HeapsHeaps
HeapsIIUM
ย 
Report format
Report formatReport format
Report formatIIUM
ย 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelinesIIUM
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
ย 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516IIUM
ย 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotationsIIUM
ย 
Week12 graph
Week12   graph Week12   graph
Week12 graph IIUM
ย 

Mehr von IIUM (20)

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhost
ย 
Chapter 2
Chapter 2Chapter 2
Chapter 2
ย 
Chapter 1
Chapter 1Chapter 1
Chapter 1
ย 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimedia
ย 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblock
ย 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice key
ย 
Group p1
Group p1Group p1
Group p1
ย 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seo
ย 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009
ย 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lforms
ย 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answer
ย 
Redo midterm
Redo midtermRedo midterm
Redo midterm
ย 
Heaps
HeapsHeaps
Heaps
ย 
Report format
Report formatReport format
Report format
ย 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelines
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
ย 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516
ย 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotations
ย 
Week12 graph
Week12   graph Week12   graph
Week12 graph
ย 

Kรผrzlich hochgeladen

Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Celine George
ย 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Celine George
ย 
ENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choomENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choomnelietumpap1
ย 
Proudly South Africa powerpoint Thorisha.pptx
Proudly South Africa powerpoint Thorisha.pptxProudly South Africa powerpoint Thorisha.pptx
Proudly South Africa powerpoint Thorisha.pptxthorishapillay1
ย 
DATA STRUCTURE AND ALGORITHM for beginners
DATA STRUCTURE AND ALGORITHM for beginnersDATA STRUCTURE AND ALGORITHM for beginners
DATA STRUCTURE AND ALGORITHM for beginnersSabitha Banu
ย 
Q4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptxQ4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptxnelietumpap1
ย 
ACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfSpandanaRallapalli
ย 
Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Jisc
ย 
ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4MiaBumagat1
ย 
Earth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice greatEarth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice greatYousafMalik24
ย 
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptxECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptxiammrhaywood
ย 
Judging the Relevance and worth of ideas part 2.pptx
Judging the Relevance  and worth of ideas part 2.pptxJudging the Relevance  and worth of ideas part 2.pptx
Judging the Relevance and worth of ideas part 2.pptxSherlyMaeNeri
ย 
call girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธ
call girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธcall girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธ
call girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธ9953056974 Low Rate Call Girls In Saket, Delhi NCR
ย 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designMIPLM
ย 
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfAMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfphamnguyenenglishnb
ย 
OS-operating systems- ch04 (Threads) ...
OS-operating systems- ch04 (Threads) ...OS-operating systems- ch04 (Threads) ...
OS-operating systems- ch04 (Threads) ...Dr. Mazin Mohamed alkathiri
ย 

Kรผrzlich hochgeladen (20)

FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptxFINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
ย 
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
ย 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17
ย 
ENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choomENGLISH6-Q4-W3.pptxqurter our high choom
ENGLISH6-Q4-W3.pptxqurter our high choom
ย 
Proudly South Africa powerpoint Thorisha.pptx
Proudly South Africa powerpoint Thorisha.pptxProudly South Africa powerpoint Thorisha.pptx
Proudly South Africa powerpoint Thorisha.pptx
ย 
DATA STRUCTURE AND ALGORITHM for beginners
DATA STRUCTURE AND ALGORITHM for beginnersDATA STRUCTURE AND ALGORITHM for beginners
DATA STRUCTURE AND ALGORITHM for beginners
ย 
Q4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptxQ4 English4 Week3 PPT Melcnmg-based.pptx
Q4 English4 Week3 PPT Melcnmg-based.pptx
ย 
ACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdf
ย 
Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...
ย 
ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4
ย 
Earth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice greatEarth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice great
ย 
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdfTataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
ย 
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptxECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ย 
Judging the Relevance and worth of ideas part 2.pptx
Judging the Relevance  and worth of ideas part 2.pptxJudging the Relevance  and worth of ideas part 2.pptx
Judging the Relevance and worth of ideas part 2.pptx
ย 
Model Call Girl in Tilak Nagar Delhi reach out to us at ๐Ÿ”9953056974๐Ÿ”
Model Call Girl in Tilak Nagar Delhi reach out to us at ๐Ÿ”9953056974๐Ÿ”Model Call Girl in Tilak Nagar Delhi reach out to us at ๐Ÿ”9953056974๐Ÿ”
Model Call Girl in Tilak Nagar Delhi reach out to us at ๐Ÿ”9953056974๐Ÿ”
ย 
call girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธ
call girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธcall girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธ
call girls in Kamla Market (DELHI) ๐Ÿ” >เผ’9953330565๐Ÿ” genuine Escort Service ๐Ÿ”โœ”๏ธโœ”๏ธ
ย 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-design
ย 
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfAMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
ย 
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptxYOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
ย 
OS-operating systems- ch04 (Threads) ...
OS-operating systems- ch04 (Threads) ...OS-operating systems- ch04 (Threads) ...
OS-operating systems- ch04 (Threads) ...
ย 

Math induction principle (slides)

  • 1. Propositions and Logical Operations Definition: A predicate or a propositional function is a noun/verb phrase template that describes a property of objects, or a relationship among objects represented by the variables: Example: ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ : โ€œ๐‘ฅ๐‘ฅ is integer less than 8.โ€ ๏‚ง ๐‘ƒ๐‘ƒ 1 = ๏‚ง ๐‘ƒ๐‘ƒ 10 = ๏‚ง ๐‘ƒ๐‘ƒ โˆ’11 = 1ยฉ S. Turaev, CSC 1700 Discrete Mathematics
  • 2. Propositions and Logical Operations Definition: The universal quantification of a predicate ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is the statement โ€œFor all values of ๐‘ฅ๐‘ฅ (for every ๐‘ฅ๐‘ฅ, for each ๐‘ฅ๐‘ฅ, for any ๐‘ฅ๐‘ฅ), ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is trueโ€ and is denoted by โˆ€๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ . Example: ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ : โ€œโˆ’ โˆ’๐‘ฅ๐‘ฅ = ๐‘ฅ๐‘ฅโ€ is a predicate that is true for all real numbers. โˆ€๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ = Example: ๐‘„๐‘„ ๐‘ฅ๐‘ฅ : โ€œ๐‘ฅ๐‘ฅ + 1 < 4โ€. โˆ€๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ = 2ยฉ S. Turaev, CSC 1700 Discrete Mathematics
  • 3. Propositions and Logical Operations A predicate may contain several variables. Example: ๐‘„๐‘„ ๐‘ฅ๐‘ฅ, ๐‘ฆ๐‘ฆ : ๐‘ฅ๐‘ฅ + ๐‘ฆ๐‘ฆ = ๐‘ฆ๐‘ฆ + ๐‘ฅ๐‘ฅ โˆ€๐‘ฅ๐‘ฅโˆ€๐‘ฆ๐‘ฆ๐‘ฆ๐‘ฆ ๐‘ฅ๐‘ฅ, ๐‘ฆ๐‘ฆ = Example: Write the following statement in the form of a predicate and quantifier: โ€œThe sum of any two integers is even number.โ€ 3ยฉ S. Turaev, CSC 1700 Discrete Mathematics
  • 4. Propositions and Logical Operations Definition: The existential quantification of a predicate ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is the statement โ€œThere exists a value of ๐‘ฅ๐‘ฅ, for which ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ is trueโ€ and is denoted by โˆƒ๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ . Example: ๐‘ƒ๐‘ƒ ๐‘ฅ๐‘ฅ : โ€œโˆ’๐‘ฅ๐‘ฅ = ๐‘ฅ๐‘ฅโ€. โˆƒ๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ = Example: ๐‘„๐‘„ ๐‘ฅ๐‘ฅ : โ€œ๐‘ฅ๐‘ฅ + 1 < 4โ€. โˆƒ๐‘ฅ๐‘ฅ๐‘ฅ๐‘ฅ ๐‘ฅ๐‘ฅ = 4ยฉ S. Turaev, CSC 1700 Discrete Mathematics
  • 6. Mathematical Induction Suppose we have an infinite ladder: 1. We can reach the first rung of the ladder. 2. If we can reach a particular rung of the ladder, then we can reach the next rung. From (1), we can reach the first rung. Then by applying (2), we can reach the second rung. Applying (2) again, the third rung, and so on. We can apply (2) any # of times to reach any particular rung, no matter how high up. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 6
  • 7. Mathematical Induction Principle of Mathematical Induction: To prove that ๐‘ƒ๐‘ƒ(๐‘›๐‘›) is true for all positive integers ๐‘›๐‘›, we complete these steps: BASIS STEP: Show that ๐‘ƒ๐‘ƒ(๐‘›๐‘›0) is true. INDUCTIVE STEP: Show that ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ โ†’ ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜ + 1) is true for all positive integers ๐‘˜๐‘˜ โ‰ฅ ๐‘›๐‘›0. To complete the inductive step, assuming the inductive hypothesis that ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜) holds for an arbitrary integer ๐‘˜๐‘˜ โ‰ฅ ๐‘›๐‘›0, show that must ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜ + 1) be true. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 7
  • 8. Mathematical Induction Example: Show that ๏ฟฝ ๐‘–๐‘–=1 ๐‘›๐‘› ๐‘–๐‘– = ๐‘›๐‘›(๐‘›๐‘› + 1) 2 Solution: BASIS STEP: ๐‘ƒ๐‘ƒ 1 is true since 1 1 + 1 2 = 1. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 8
  • 9. Mathematical Induction INDUCTIVE STEP: Assume true for ๐‘ƒ๐‘ƒ(๐‘˜๐‘˜). The inductive hypothesis is ๏ฟฝ ๐‘–๐‘–=1 ๐‘˜๐‘˜ ๐‘–๐‘– = ๐‘˜๐‘˜ ๐‘˜๐‘˜ + 1 2 1 + 2 + โ‹ฏ + ๐‘˜๐‘˜ + ๐‘˜๐‘˜ + 1 = ๐‘˜๐‘˜ ๐‘˜๐‘˜ + 1 2 + ๐‘˜๐‘˜ + 1 = ๐‘˜๐‘˜ ๐‘˜๐‘˜ + 1 + 2(๐‘˜๐‘˜ + 1) 2 = (๐‘˜๐‘˜ + 1)(๐‘˜๐‘˜ + 2) 2 ยฉ S. Turaev, CSC 1700 Discrete Mathematics 9
  • 10. Exercises Prove that โ€ข 12 + 22 + 32 + โ‹ฏ + ๐‘›๐‘›2 = ๐‘›๐‘› ๐‘›๐‘›+1 2๐‘›๐‘›+1 6 โ€ข 12 + 32 + 52 + โ‹ฏ + 2๐‘›๐‘› โˆ’ 1 2 = ๐‘›๐‘› 2๐‘›๐‘›+1 2๐‘›๐‘›โˆ’1 3 โ€ข 1 + 21 + 22 + โ‹ฏ + 2๐‘›๐‘› = 2๐‘›๐‘›+1 โˆ’ 1 ยฉ S. Turaev, CSC 1700 Discrete Mathematics 10
  • 11. Mathematical Induction Example: Prove that ๐‘›๐‘› < 2๐‘›๐‘› for all positive integers ๐‘›๐‘›. Example: Prove that ๐‘›๐‘›! โ‰ฅ 2๐‘›๐‘›โˆ’1 for all positive integers ๐‘›๐‘›. Example: Prove that ๐‘›๐‘›3 โˆ’ ๐‘›๐‘› is divisible by 3, for every positive integer ๐‘›๐‘›. Example: Let ๐ด๐ด1, ๐ด๐ด2, ๐ด๐ด3, โ€ฆ , ๐ด๐ด๐‘›๐‘› be any sets. Show that ๏ฟฝ ๐‘–๐‘–=1 ๐‘›๐‘› ๐ด๐ด๐‘–๐‘– = ๏ฟฝ ๐‘–๐‘–=1 ๐‘›๐‘› ๐ด๐ด๐‘–๐‘– ยฉ S. Turaev, CSC 1700 Discrete Mathematics 11
  • 12. Strong Mathematical Induction Strong induction tells us that we can reach all rungs if: 1. We can reach the first rung of the ladder. 2. For every integer ๐‘˜๐‘˜, if we can reach the first ๐‘˜๐‘˜ rungs, then we can reach the (๐‘˜๐‘˜ + 1)st rung. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 12
  • 13. Strong Mathematical Induction To conclude that we can reach every rung by strong induction: BASIS STEP: ๐‘ƒ๐‘ƒ 1 holds. INDUCTIVE STEP: Assume ๐‘ƒ๐‘ƒ 1 โˆง ๐‘ƒ๐‘ƒ 2 โˆง โ‹ฏ โˆง ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ holds for an arbitrary integer ๐‘˜๐‘˜, and show that ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 must also hold. We will have then shown by strong induction that for every positive integer ๐‘›๐‘›, ๐‘ƒ๐‘ƒ ๐‘›๐‘› holds, i.e., we can reach the ๐‘›๐‘›th rung of the ladder. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 13
  • 14. Strong Mathematical Induction Example: Show that if ๐‘›๐‘› is an integer greater than 1, then ๐‘›๐‘› can be written as the product of primes. Solution: Let ๐‘ƒ๐‘ƒ ๐‘›๐‘› be the proposition that ๐‘›๐‘› can be written as a product of primes. BASIS STEP: ๐‘ƒ๐‘ƒ 2 is true since 2 itself is prime. INDUCTIVE STEP: The inductive hypothesis is ๐‘ƒ๐‘ƒ ๐‘–๐‘– is true for all integers ๐‘–๐‘– with 2 โ‰ค ๐‘–๐‘– โ‰ค ๐‘˜๐‘˜. To show that ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 must be true under this assumption, two cases need to be considered: ยฉ S. Turaev, CSC 1700 Discrete Mathematics 14
  • 15. Strong Mathematical Induction INDUCTIVE STEP: The inductive hypothesis is ๐‘ƒ๐‘ƒ ๐‘–๐‘– is true for all integers ๐‘–๐‘– with 2 โ‰ค ๐‘–๐‘– โ‰ค ๐‘˜๐‘˜. To show that ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 must be true under this assumption, two cases need to be considered: 1. If ๐‘˜๐‘˜ + 1 is prime, then ๐‘ƒ๐‘ƒ ๐‘˜๐‘˜ + 1 is true. 2. Otherwise, ๐‘˜๐‘˜ + 1 is composite and can be written as the product of two positive integers ๐‘Ž๐‘Ž and ๐‘๐‘ with 2 โ‰ค ๐‘Ž๐‘Ž โ‰ค ๐‘๐‘ < ๐‘˜๐‘˜ + 1. By the inductive hypothesis ๐‘Ž๐‘Ž and ๐‘๐‘ can be written as the product of primes and therefore ๐‘˜๐‘˜ + 1 can also be written as the product of those primes. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 15