Scribd
Upload
55 views

Predicates P (X) : - A Predicate P (X) Is A Function That Gives A Unique Output (Truth Values) Against Every Input

Here are the translations of the statements using predicates and quantifiers: - No animals, except giraffes, are 15 feet or higher Translated as: ∀x (¬G(x) → ¬F(x)) - There are no animals in this zoo that belong to anyone but me Translated as: ∀x (Z(x) → M(x)) - I have no animals less than 15 feet high Translated as: ∀x (M(x) → F(x)) - Therefore, all animals in this zoo are giraffes Translated as: ∀x (Z(x) → G(x))

Uploaded by

aqeel
Copyright
© © All Rights Reserved
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
55 views

Predicates P (X) : - A Predicate P (X) Is A Function That Gives A Unique Output (Truth Values) Against Every Input

Here are the translations of the statements using predicates and quantifiers: - No animals, except giraffes, are 15 feet or higher Translated as: ∀x (¬G(x) → ¬F(x)) - There are no animals in this zoo that belong to anyone but me Translated as: ∀x (Z(x) → M(x)) - I have no animals less than 15 feet high Translated as: ∀x (M(x) → F(x)) - Therefore, all animals in this zoo are giraffes Translated as: ∀x (Z(x) → G(x))

Uploaded by

aqeel
Copyright
© © All Rights Reserved
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
You are on page 1/ 15

Predicates P(x)

• A predicate P(x) is a function that gives a unique


output (truth values) against every input.

For example: P(x) : x > 3


Q(x,y) : x = y + 3

• Predicate logics are more concrete in reasoning


when it comes to mathematical logics as
compared to propositional logics.
1
Example 7
• Consider the following program, designed to
interchange the values of two variables x and
y.
temp := x, x := y, y := temp.

Find the predicates that we can use as the


precondition and the postcondition to verify the
correctness of this program. Then explain how
to use them to verify that for all valid input the
program does what is intended.
2
Quantifiers

Quantification Universal Quantification


Existential Quantification

Universes of Discourse (U.D) or Domain (D):


Collection of all persons, ideas, symbols, …
For every and for some

• Most statements in mathematics and computer


science use terms such as for every and for some.
• For example:
– For every triangle T, the sum of the angles of T
is 180 degrees.
– For every integer n, n is less than p, for some
prime number p.
The Universal Quantifier 

• x P(x): “P(x) is true for all (every) values of x in


the universe of discourse”.

• Example: What is the truth value of


x (x 2 ≥ x) .
- If UD is all real numbers, the truth value is false
(take x = 0.5, this is called a counterexample).
- If UD is the set of integers, the truth value is true.
Important Note

x P(x)  P(x1)  P(x2)  …  P(xn) because the


conjunction is true iff P(x1), P(x2),…, P(xn) are
true.

Example:
Let P(x): x 2 ≥ x, Domain is the set {0.5, 1, 2, 3}.
• x P(x)  P(0.5)  P(1)  P(2)  P(3)
FTTT
F
6
The Existential Quantifier 
•  x Q(x): There exists an element x in the universe
of discourse such that Q(x) is true.

• Example 1: Let Q(x): x = x + 1, Domain is the set


of all real numbers:
- The truth value of  x Q(x) is false (as the is no
real x such that x = x + 1).
• Example 2: Let Q(x): x2 = x, Domain is the set of
all real numbers:
- The truth value of  x Q(x) is true (take x = 1).
Important Note
 x P(x)  P(x1)  P(x2)  …  P(xn) because the
dijunction is true iff at least one of P(x1), P(x2),...,
P(xn) is true.

Let P(x): x 2 ≥ x, Domain is the set {0.5, 1, 2, 3}.


•  x P(x)  P(0.5)  P(1)  P(2)  P(3)
FTTT
T
Negations
•   x P(x) ≡  x  P(x)
•   x Q(x) ≡  x  Q(x)

• Example: Let P(x) is the statement “x2 − 1 = 0”, where


the domain is the set of real numbers R.
- The truth value of  x P(x) is False
- The truth value of  x P(x) is True
-   x P(x) ≡  x (x 2 − 1 ≠ 0) , which is True
-   x P(x) ≡  x (x 2 − 1 ≠ 0) , which is False
Summary

• In order to prove the • In order to prove the


quantified statement universal quantified
x P(x) is true statement x P(x) is
– It is not enough to false
show that P(x) is true – It is enough to exhibit
for some x  D some x  D for which
– You must show that P(x) is false
P(x) is true for every x – This x is called the
D counterexample to the
– You can show that  x statement x P(x) is
 P(x) is false true
Summary

• In order to prove the • In order to prove the


existential quantified existential quantified
statement  x Q(x) is statement  x Q(x) is
true false
– It is enough to exhibit – It is not enough to
some x  D for which show that Q(x) is false
Q(x) is true for some x  D
– You must show that
Q(x) is false for every
xD
Example

Suppose that P(x) is the statement “x + 3 = 4x”


where the domain is the set of integers. Determine
the truth values of x P(x). Justify your answer.

It is clear that P(1) is True, but P(x) is False for


every x ≠ 1 (take x = 2 as a counterexample). Thus,
x P(x) is False.
Translation using Predicates and
Quantifiers
• “Every student in this class has studied math and
C++ course”.

UD is the students in this class:


Translated to: x (M(x)  CPP(x))

But if the UD is all people:


“For every person x, if x is a student in this class
then x has studied math and C++”
Translated to: x (S(x)  M(x)  CPP(x))
Translation using Predicates and
Quantifiers
• “Some student in this class has studied math and
C++ course”.

UD is the students in this class:


Translated to: x (M(x)  CPP(x))

But if the UD is all people:


Translated to: x (S(x)  M(x)  CPP(x))
Example
Let G(x), F(x), Z(x), and M(x) be the the following statements
G(x): "x is a giraffe" F(x):"x is 15 feet or higher“,
Z(x):“x is in this zoo“ M(x):"x belongs to me“
Suppose that the universe of discourse is the set of animals. Express
each of the following statements using quantifiers; logical
connectives; and G(x), F(x), Z(x), and M(x):
• No animals, except giraffes, are 15 feet or higher
x ( G(x)   F(x))
• There are no animals in this zoo that belong to anyone but me
x (Z(x)  M(x))
• I have no animals less than 15 feet high
x (M(x)  F(x))
• Therefore, all animals in this zoo are giraffes
x (Z(x)  G(x))

You might also like