Ch1 sets and_logic(1)

Chapter 1

Sets and Logic

2008 학년도 2 학기고려대학교 과학기술대학 컴퓨터 정보학과

2

1.1 Sets Set

– a collection of distinct unordered objects– members of a set are called elements– notation

{ }, Φ S = { a1, a2, a3, …, an }, a1 ∈ S { x R∈ | － 2 < x < 5 } { { a1, a2 }, { b1, b2, b3 } }

Symbol Set

R Set of all REAL numbers

Z Set of all INTEGERs

Q Set of all RATIONAL numbers

superscript indicate

＋ Positive

－ Negative

nonneg nonnegative

x R∈x R

R+ : set of positive real numbers

Znonneg : set of natural numbers

3

Cardinality– |X| = number of elements in the set

Example 1.1.1

Empty Set (or Null Set)– Only one set with no elements.– { }, – The empty set is a subset of every set.

A = {1, 2, 3, 4} , |A| = ?|{R, Z}| = ?

Cardinality &Empty Set

4

Equal

Example 1.1.2

Example 1.1.3

Equal

Two sets X and Y are equal if X and Y have the same elements.X = Y if for every x, if x ∈ X, then x ∈ Y and for every y, if y ∈ Y, then y ∈ X

A = {1, 3, 2}, B = {2, 3, 2, 1}. A = B ?

Let us prove that if A = {x | x2 + x – 6 = 0} and B = {2, -3}

Then A = B.

5

Subset Subset

If A and B are sets, then A is called a subset of B, written A B⊆ ,If, and only if, every element of A is also an element of B.Symbolically :

A ⊆ B ⇔ ∀x, if x ∈ A then x ∈ B.

The phrases A is contained in B and B contains A are alternative ways of saying that A is a subset of B.

A set A is not a subset of a set B, written A ⊆ B, if, and only if, there is at least one element of A that is not an element of B.Symbolically :

A ⊆ B ⇔ ∃x, x ∈ A and x ∈ B.

6

Example 1.1.5

Example 1.1.7

Example 1.1.9

Subset

Z Q ?⊆

LetX = {x | 3x2 – x – 2 = 0}.

X Z ?⊆

C = {1, 3}, B = {1, 2, 3, 4}. C A ?⊆

77

Proper Subset Proper subset

Venn Diagrams If sets A and B are represented as regions in the plane, relationships between

A and B can be presented by pictures.

Let A and B be sets.A is a proper subset of B, if, and only if, every element of A is in Bbut there is at least one element of B that is not A.

AA BB

A = BA = B

AA BB AA BB

BBAA

AA BB

A = BA = B

A B⊆A B⊆ A B⊆A B⊆ A B⊂A B⊂

88

Power Set Power set

Example 1.1.13

Given a set A, the power set of A, denoted P(A),is set of all subsets of A

Find the power set of the set A ={a, b, c}. That is, find P( A) .P( A ) =

The Number of Subsets of a Set

For all integers n ≥ 0, if a set X has n elements, then P(X) has 2n elements

9

Set Operations Set Operations

Let A and B be subset of a universal set U.① Union: X Y = { ∪ x | x X or ∈ x Y }∈② intersection: X ∩ Y = { x | x X and∈ x Y }∈③ Difference: X – Y = { x | x X and∈ x Y }④ Complement: Xc = { x | x A }

Example 1.1.15

A ={1, 3, 5}, B = {4, 5, 6}A B =∪A ∩ B =A – B =B – A =

Since Q ⊆ R,R Q =∪R ∩ Q =R – Q =Q – R =

Example 1.1.14

10

Disjoint Disjoint

Example 1.1.14

Two sets are called disjoint if, and only if, they have no elements in common. Symbolically : A and B are disjoint ⇔ A ∩ B = Φ

- {1, 4, 5} and {2, 6}- S = {{1, 4, 5,}, {2, 6}, {3}, {7, 8}}

11

Set Operations Example 1.1.20

• Total students: 165• Taking CALC, PSYCH and COMPSCI: 8• Taking CALC and COMPSCI: 33• Taking CALC and PSYCH : 20• Taking PSYCH and COMPSCI: 24• Taking CALC: 79• Taking PSYCH : 83• Taking COMPSCI: 63

How many are taking none of the three subjects?

12

Set Identity Theorem 1.1.21

Let U be a universal set and let A, B, and C be subsets of U. The following properties hold

a) Associative laws : (A B) C = A (B C) and (A ∩ B) ∩ C = A ∩∪ ∪ ∪ ∪ (B (B ∩ C)b) Commutative laws : A B = B A and A ∩ B = B ∩ A∪ ∪c) Distributive laws :

A (B ∩ C) = (A B) ∩ (A C)∪ ∪ ∪ A ∩ (B C) = (A ∩B) (A ∩ C)∪ ∪d) Identity laws : A Φ = A and A ∩ ∪ U = A

e) Complement laws : A A∪ c = U and A ∩ Ac = Φ

f) Idempotent laws : A A = A and A ∩ A = A∪

13

Set Identity

g) Bound laws : A U = U and A ∩ Φ = Φ∪

h) Absorption Laws : A (A∩B) = A and A ∩ (A B) = A∪ ∪ i) Involution law (double negation laws) :

(Ac)c = A j) 0/1 laws:

U c = Φ and Φc = U. k) DeMorgan’s Laws : (A B)∪ c = Ac ∩ Bc and (A∩B)c = Ac B∪ c

14

Union & intersection of a family S of sets– if S = {A1, A2, …, An},

– If S = {A1, A2,…},

Example 1.1.22

i

n

iAS

1 i

n

iAS

1

ii

AS

1 i

iAS

1

For i ≥ 1,defineAi = {i, i+1, … } and S = {A1, A2, …, An}.

Then, and ?S S

15

Partition of sets Mutually disjoint

Partition– A partition of a set A divides A into nonoverlapping subsets.

Sets A1, A2, A3, …, An are mutually disjoint if, and only if, no two sets Ai and Aj with distinct subscripts have any elements in common.

More precisely, for all i, j = 1, 2, 3, …, n,Ai ∩ Aj = Φ whenever i ≠ j

A collection of nonempty sets {A1, A2, A3, …, An } is a partition of a set A if, and only if,

① A = A1 A∪ 2 A∪ 3, …, A∪ n ② A1, A2, A3, …, An are mutually disjoint.

AA11

AA22

AA33

…… AAnn

16

Cartesian product Definition

Example

a. Is ( 1, 2 ) = ( 2, 1 )? b. Is ( 3, ( － 2 )2, 1/2 ) = ( , 4, 3/6 )?

Let n be a positive integer and let x1, x2, x3, … xn be elements. The ordered n-tuple, ( x1, x2, x3, … xn ), consists of x1, x2, x3, …, xn together with the ordering. An ordered 2-tuple is called an ordered pair; and an ordered 3-tuples is called an ordered triple.Two ordered n-tuples ( x1, x2, x3, …, xn ) and ( y1, y2, y3, …, yn ) are equal if, and only if,

x1 = y1, x2 = y2, x3 = y3, …, xn = yn.Symbolically : ( x1, x2, x3, …, xn ) = ( y1, y2, y3, …, yn ) ⇔ x1 = y1, x2 = y2, x3 = y3, …, xn = yn

9

17

Cartesian product Definition

Example 1.1.24 Let X = { 1, 2, 3 }, and Y = { a, b }.

Find X × Y Find Y ×X Find X × X Find Y × Y

Given two sets A and B, the Cartesian Product of A and B, denote A × B( read “A cross B” ), is the set of all ordered pairs ( a, b ), where a is in A and b is in B.Given A1 × A2 × A3, …, × An, is the set of all ordered n-tuples ( a1, a2, a3, …, an )where a1 ∈ A1, a2 ∈ A2, a3 ∈ A3, …, an ∈ An . Symbolically :

A × B = { ( a, b ) | a A and b B },∈ ∈ A1 × A2 × A3 ×… × An = { ( a1, a2, a3, …, an ) | a1 ∈ A1, a2 ∈ A2, a3 ∈ A3, …, an ∈ An }.

18

Logic Logic = the study of correct reasoning Use of logic

– In mathematics: to prove theorems– In computer science: to prove that programs do what they are

supposed to do

19

1.2 Propositions Definition

Examples:– The only positive integers that divide 7 are 1 and 7 itself.– Alfred Hitchcock won an Academy Award in 1940 for directing

“Rebecca”.– For every positive integer n, there is a prime number larger than n.– Earth is the only planet in the universe that contains life.– Buy two tickets to the “Unhinged Universe” rock concert for Friday.– x + 4 = 6

A proposition ( 명제 ) is a statement or sentence that can be determined to be either true or false but not both

20

More examples– 3 + 6 = 8– 대한민국의 수도는 서울이다– 물은 수소와 산소로 이루어져 있다– 3 × 4 > 123 × 4 > 12– 다음주 이산구조 수업은 휴강이다 .– X + Y > 0– 컴퓨터의 가격은 비싸다 .– 세종 대왕은 이순신 장군보다 훌륭하다 .

Propositions

21

Connectives If p and q are propositions, new compound propositions can

be formed by using connectives Most common connectives:

– Conjunction (AND) Symbol ^ – (Inclusive) disjunction (OR) Symbol v– Exclusive disjunction (XOR) Symbol – Negation Symbol – Implication Symbol – Double implication Symbol

22

Conjunction() Definition 1.2.3 Truth table of conjunction

Example 1.2.2

p q p qT T T

T F F

F T F

F F F

Ifp: It is rainingq: It is cold

then what is the conjunction of p and q ?

23

Example 1.2.4

Example 1.2.5

Ifp: A decade is 10 yearsq: A millennium is 100 years

then what is the conjunction of p and q ? Is it true or false?

x < 10 && y > 4

24

Disjunction() Definition 1.1.6 The truth table of (inclusive) disjunction

Example 1.2.7

Example 1.2.8

p q p v q

T T T

T F T

F T T

F F F

If p: A millennium is 100 yearsq: A millennium is 1000 years

then what is the disjunction of p and q ? Is it true or false?

x < 10 || y > 4

25

Exclusive OR Truth Table of Exclusive OR :

( p q ) ~ ( p q )∨ ∧ ∧

p q p q∨ p q∧ ~(p q)∧ ( p q ) ~ ( p q )∨ ∧ ∧

T T T T F F

T F T F T T

F T T F T T

F F F F T F

26

Logical connectives in C programs

[Ex] int i, j; i = 2 && ( j = 2 ); printf(“%d %d\n”, i, j); /* 1 2 is printed */ ( i = 0 ) && ( j = 3 ); printf(“%d %d\n”, i, j); /* 0 2 is printed */ i = 0 || ( j = 4 ); printf(“%d %d\n”, i, j); /* 1 4 is printed */ ( i = 2 ) || ( j = 5 ); printf(“%d %d\n”, i, j); /* 2 4 is printed */

27

Negation() Definition 1.1.9 Negation of p (p):

Example– p: Paris is the capital of England– p: It is not the case that Paris is the capital of England – p: Paris is not the capital of England

Example 1.2.11

p p

T F

F T

! ( x < 10)

28

More compound statements Example: ( p q ) ∧ ∨ r

Precedence of logical operations– first evaluate , then , and then .

p q r p q∧ r ( p q ) ∧ ∨ r

T T T T F T

T T F T T T

T F T F F F

T F F F T T

F T T F F F

F T F F T T

F F T F F F

F F F F T T

29

1.3 Conditional propositions and logical equivalence

Definition 1.3.1 conditional proposition– 임의의 명제 p, q 의 조건 연산자는 p → q 로 표기

p is called the hypothesis( 가정 , 전제조건 ) q is called the conclusion( 결론 , 결과 )

– p → q p is sufficient for q q is necessary for p P implies q

Example: – p : The Mathematics Department gets an additional $40,000– q : The mathematics Department will hire one new faculty member– p q : If The Mathematics Department gets an additional $40,000,

then it will hire one new faculty member.

30

Implication()

Definition 1.3.3 Truth table of conditional proposition

p q p q

T T T

T F F

F T T

F F T

p q is true when both p and q are true or when p is false

true by default orvacuously true

31

Example 1.3.5Assume p: true, q: false, and r is true

a. p q → r

b. p q → r

c. p (q → r)

d. p →(q → r)

Example 1.3.6 Restate each proposition in the form if p then q

a. Mary will be a good student if she studies hard.

b. John takes calculus only if he has sophomore, junior, or senior standing.

Implication

If "p then q" is considered logically the same as "p only if q"

32

Implicationc. When you sing, my ears hurt.

d. A necessary condition for the Cubs to win the World Series is that they sign a right-handed relief pitcher.

e. A sufficient condition for Maria to visit France is that she goes to the Eiffel Tower

A necessary condition is expressed by the conclusion.A sufficient condition is expressed by the hypothesis.

33

Double Implication() Definition 1.3.8

– p ↔ q ≡ ( p → q ) ( q → p )∧– Truth Table for p ↔ q

The biconditional of p and q (p ↔ q)– p if and only if q– p is necessary and sufficient for q

p q p → q q → p ( p → q ) ( q → p )∧ p ↔ q

T T T T T T

T F F T F F

F T T F F F

F F T T T T

34

Logical Equivalence Definition 1.3.10 Logical Equivalence

Example 1.3.11 De Morgan’s Laws for Logic

Example 1.3.12

x < 10 || x > 20

– 각각의 다른 합성 명제 ( 또는 단순 명제 ) 가 동일한 진리표를 가진다면 , 이 두 개의 명제는 논리적 동치라고 한다 .

– 명제 P 와 Q 가 논리적 동치라면 , P ≡ Q 표기

( p q ) ≡ ∧ p ∨ q

( p q ) ≡ ∨ p ∧ q

35

Logical Equivalence p → q ≡ ~ p q∨

p q p → q ~p ~p q∨

T T T F T

T F F F F

F T T T T

F F T T T

Rewrite the following statement in if-then form

Either you get to work on time or you are fired.

Example

36

Logical Equivalence

~ (p → q) ≡ ~ ( ~ p q )∨ ≡ ~ ( ~ p ) ~q ∧ ☞ 드모르간 법칙에 의해 ≡ p ~q ∧ ☞ 이중 부정 법칙에 의해

The Negation of “if p then q” is locally equivalent to “p and not q”.

If Jerry receives a scholarship, then he goes to college

Example 1.3.14 Negation of If-Then Statement

Negation of → : ~ (p → q) ≡ p ~q∧

a. If my car is in the repair shop, then I cannot get to class

b. If Sara lives in Athens, then she lives in Greece

More Example

37

Contrapositive Definition 1.3.16

p q p → q ~q ~p ~q → ~p

T T T F F T

T F F T F F

F T T F T T

F F T T T T

The contrapositive( 대우 ) of p → q is ~ q → ~ p

If the network is down, then Dale cannot access the Internet

Example 1.3.17 Writing the Contrapositive

The conditional statement and its contrapositive are logically equivalent

Theorem 1.3.18

38

Converse & Inverse Definition

– Conditional statement and its converse are not equivalent

– Conditional statement and its inverse are not equivalent– The converse and the inverse of a conditional statement are logically

equivalent to each other

p q p → q q → p ~p ~q ~p → ~q

T T T T F F T

T F F T F T T

F T T F T F F

F F T T T T T

The converse( 역 ) of p → q is q → pThe inverse( 이 ) of p → q is ~ p → ~ q

39

Tautology & Contradiction

합성 명제의 진리값이 항상 T 인 명제 , 즉 , 합성명제를 구성하고 있는 단순명제들의 진리값에 상관없이 항상 T 의 진리값을 가진 명제

합성명제의 진리값이 항상 F 인 명제 , 즉 , 합성명제를 구성하고 있는 단순명제들의 진리값에 상관없이 항상 F 의 진리값을 가진 명제

Tautology ( 항진 명제 )

Contradiction( 모순명제 )

40

Tautology & Contradiction

Example: Logical Equivalence Involving Tautologies and Contradictions– If t is a tautology and c is a contradiction, show that

p ∧ t ≡ p p ∧ c ≡ c

p t p ∧ t

T T T

F T F

p c p ∧ c

T F F

F F F

p ~p p ~p∨ p ~p∧

T F T F

F T T F

ContradictionTautology

Example