Documente Academic
Documente Profesional
Documente Cultură
1
6/9/2019
Universal
quantifier
For all ... For
every ...
Logical
statements
x : Element-of
symbol Sets a
... is an
element of a
Sets
aA
x < 0 or A set ...
x > -1 Not-element- ... is not an Sets bA
of symbol element of a
¬ Logical not ... Logical ¬(¬A) A set ...
negation statements
symbol Subset symbol
Sets
... is a subset
of ...
Sets
AB
Logical ... implies ... Logical
A B
implication If ... then ... statements Proper subset
symbol
... is a proper
subset of ...
Sets
AB
symbol
Logical
equivalence
... is logically
equivalent to
Logical
statements
A B
symbol ...
... if and only
if ..
2
6/9/2019
5. The square of the sum of x and y is not more than 20. 5. The square of the sum of x and y is not more than 20. (𝑥 + 𝑦)2 ≤ 20
6. The square of a number a is nonnegative. 6. The square of a number is nonnegative. 𝑎 ∈ ℤ | 𝑎2 ≥ 0
7. The sum of two consecutive numbers is 31. 7. The sum of two consecutive numbers is 31.
𝑥 ∈ ℤ |(𝑥) + (𝑥 + 1) = 31
3
6/9/2019
Exercises: Exercises:
Translate each sentence using mathematical symbols Translate each sentence using mathematical symbols
1. 5 is an integer 6. The square of a number is 1. 5 is an integer 5 ∈ ℤ
2. y is not a multiple of 10 positive 2. y is not a multiple of 10 𝑦 ≠ 10𝑘, 𝑤ℎ𝑒𝑟𝑒 𝑘 ∈ ℤ
3. A belongs to sets x or set y 7. x is an even number 3. A belongs to sets x or set y 𝐴 ∈ 𝑥 𝑜𝑟 𝐴 ∈ 𝑦
4. The values of y range 8. y is an odd number 4. The values of y range between -4 and 5 −4 < 𝑦 < 5
between -4 and 5 9. 1/4 is a rational number 5. The difference of the squares of x and y is not more
5. The difference of squares x 10.Every integer is even or odd than 10 𝑥 2 − 𝑦 2 ≤ 10
and y is not more than 10
Exercises: