Professional Documents
Culture Documents
Logic Week 10 Lecture 1
Logic Week 10 Lecture 1
Notes:
2 (1, 2)
1
(2, 1)
x
-4 -3 -2 -1 0 1 2 3 4
(-2, -1) -1
-2
(-1, -2)
-3
Example:
• × = {( x, y ) : x ∈ : ∧ y ∈ }.
x
-6 -4 -2 0 2 4 6
-2
-4
a graph of A × B in 2 .
Notes:
Examples:
x
-2 -1 0 1 2
Exercise:
x
-2 -1 0 1 2
x
-4 -3 -2 -1 0 1 2 3 4
-2
-4
o 1R1 True
o 1R2.2 False
o ( −3, 3) ∈ R False
(2,−4) ∈ S
−3S0
(3, 5) ∈ S
by S = {( x, y ) : y = x 2 }.
o R1 ∩ R 2 .
o R1 ∪ R 2
o
R3 ∪ R4
o R3 ∩ R4
Notes:
Notes:
o Dom R1 = {0, 3}
o Range R1 = {0, 1, 2}
Exercises:
o Dom R2
o Range R2 .
{
R3 = ( x, y ) : x ≠ 0 ∧ y = 1 .
x
}
Determine:
o Dom R3
o Range R3
R −1 = {( y , x ) : ( x, y ) ∈ R}.
Notes:
Range R −1 = Dom R ⊆ A .
Examples:
1
x
-1 0 1 2 3 4 5 6 7
-1
R −1 = {( y , x ) : y = 2 x}
= {( x, y ) : x = 2 y}
{
= ( x, y ) : y = 1 x
2
}
Exercise:
is S −1?
S = {( x, x ) : x ∈ }
Example:
0 1
2
3