ee1j2 - slide 1 ee1j2 – discrete maths lecture 11 introduction to predicate logic limitations of...
Post on 22-Dec-2015
225 views
TRANSCRIPT
EE1J2 - Slide 1
EE1J2 – Discrete Maths Lecture 11 Introduction to Predicate Logic
Limitations of Propositional Logic Predicates, quantifiers and propositions NL interpretation of statements in Predicate
Logic Formalisation in Predicate Logic of statements
in NL Some equivalences
EE1J2 - Slide 2
Limitations of propositional logic Consider the following statements
All French people speak French Some French people speak French There are people in France who don’t speak
French Although there are clear relations between
these statements, these are not exposed by propositional logic
EE1J2 - Slide 3
Limitations of propositional logic (continued)
Consider also: ‘person x’ speaks French
This is not an elementary proposition because its truth or falsehood depends on x
EE1J2 - Slide 4
Examples from arithmetic There are many examples of this type in arithmetic:
7 3 = 21 7 3 = 23
are both elementary propositions, but: 7 x = 21
is not, because its truth or falsehood depends on the value of x
EE1J2 - Slide 5
Predicates
In each of the examples, truth or falsehood depends on whether or not a particular property is satisfied
In formal logic we use the term predicate to indicate a property which a variable may or may not have
EE1J2 - Slide 6
Example Predicates From the first examples we have the predicates:
P(x) = ‘x is French’ Q(x) = ‘x speaks French’
In the example from arithmetic R(x) = ‘7x = 21’ S(x) = ‘sin(x) 1’
These are examples of one-place, or unary predicates – I.e. they have just one argument
EE1J2 - Slide 7
N -place Predicates There are also two-place, or binary predicates, e.g:
P(x,y) = ‘3x + 5y = 25’ Q(x,y) = ‘sin(x) = sin(y)’
and 3-place predicates: R(x,y,z) = ‘6x + 3y2 + z = 21’ S(x,y,z) = ‘x2 + y2 z2
and, in general, N-place predicates
EE1J2 - Slide 8
Instantiation Once we choose values for its variables, a
predicate becomes a proposition For example:
R(x) = ‘7x = 21’ (from slide 6). So R(3) is the proposition ‘73=21’, which is true, but R(4) is the proposition ‘74=21’ which is false
P(x,y) = ‘3x + 5y = 25’ (from slide 7). So P(6,7) is the proposition ‘3 6 + 5 7 = 25’, which is false
EE1J2 - Slide 9
Quantifiers
Statements involving predicates can also be made into propositions using quantifiers: x ‘for all x’, ‘for every x’ x ‘there exists an x’, ‘for some x’
For example, if P(x) = ‘sin(x) 1’, then x:P(x)
is a proposition, which is true
EE1J2 - Slide 10
Example 1 As a second example, suppose
P(x,y) = ‘3x + 5y = 25’
then
x y:P(x,y)
is a proposition:
“There exists x and there exists y such that 3x+5y=25”
The proposition is true: e.g. take x=5 and y=2
EE1J2 - Slide 11
Example 2 Now consider:
xy: P(x,y) In ‘natural language’the proposition is:
“For every integer x there exists an integer y such that 3x+5y=25”
Assuming that the values of x and y are integers, the proposition is false (why?)
EE1J2 - Slide 12
Example 3
Now consider the 3-place predicate P(x,y,z) = ‘x2 + 5y + z3 = 27’
and consider the statement:
xy : P(x,y,z)
This is not a proposition (why?)
EE1J2 - Slide 13
NL interpretation of statements in Predicate Logic
Consider the following predicates: P(x) = ‘x is French’, Q(x) = ‘x was born in Paris’ R(x) = ‘x speaks French’, S(x,y) = ‘x is related to y’
Express the following as statements in ‘NL’ x : P(x) Q(x) “For every x, if x is French then x was born in Paris’ “Everyone who is French was born in Paris” (Better!) “All French people were born in Paris”
EE1J2 - Slide 14
NL interpretation (continued) P(x) = ‘x is French’, Q(x) = ‘x was born in Paris’ R(x) = ‘x speaks French’, S(x,y) = ‘x is related to y’
xy : P(x)P(y) S(x,y) “For every person x there is a person y such that x is
French and y is French and x and y are not related” “For every French person there is another French person
who they are not related to” “No French person is related to every other French
Person”
EE1J2 - Slide 15
NL Interpretation P(x) = ‘x is French’, Q(x) = ‘x was born in Paris’ R(x) = ‘x speaks French’, S(x,y) = ‘x is related to y’
x : Q(x) R(x) y : P(y) (x(Q(x) S(x,y))R(x)) x y : (P(x) P(y)) S(x,y)
EE1J2 - Slide 16
Formalisation of NL P(x) = ‘x is French’, Q(x) = ‘x was born in Paris’ R(x) = ‘x speaks French’, S(x,y) = ‘x is related to y’
“Everyone who was born in Paris speaks French” x : Q(x) R(x)
“There is at least one French person whose relatives all speak French” x : P(x) (y (S(x,y) R(y))
EE1J2 - Slide 17
Formalisation of NL (cont.) P(x) = ‘x is French’, Q(x) = ‘x was born in Paris’ R(x) = ‘x speaks French’, S(x,y) = ‘x is related to y’
“There is a French person all of whose relatives are also French”
“All French people who were not born in Paris cannot speak French”
“There is at least one French person who was neither born in Paris nor speaks French”
EE1J2 - Slide 18
Proofs involving To show that the statement xP(x) is true,
we have to show that P(a) is true for every possible a
Conversely, if P(a) is true for every possible a then xP(x) is true
EE1J2 - Slide 19
Proofs involving To show that the statement xP(x) is true, we
have to show that P(a) is true for at least one a Conversely, if P(a) is true for some a then
xP(x) is true
EE1J2 - Slide 20
Some equivalences
Let P be a predicate Suppose (xP(x))
Then it is not true that P(x) holds for every x So, there must be at least one x for which P(x)
is false So x(P(x)) is true
Hence (xP(x)) x(P(x))
EE1J2 - Slide 21
Equivalences (continued)
Suppose (xP(x)) Then it is not true that P(x) holds for at least
one x So, P(x) is false for every x So x(P(x)) is true
Hence ( xP(x)) x(P(x))
EE1J2 - Slide 22
More equivalences
x(P(x) Q(x)) xP(x) xQ(x) x(P(x) Q(x)) xP(x) xQ(x) If xP(x) xQ(x) then x(P(x) Q(x)) If x(P(x) Q(x)) then xP(x) xQ(x)
EE1J2 - Slide 23
Summary Introduction to predicate logic Introduction to N-place predicates Turning predicates into propositions using
instantiation or quantifiers NL interpretation of statements in predicate
logic (and vice versa) Some equivalences