Presentation is loading. Please wait.

Presentation is loading. Please wait.

2/17/2008Sultan Almuhammadi1 ICS 253-01 Logic & Sets (An Overview) Week 1.

Similar presentations


Presentation on theme: "2/17/2008Sultan Almuhammadi1 ICS 253-01 Logic & Sets (An Overview) Week 1."— Presentation transcript:

1 2/17/2008Sultan Almuhammadi1 ICS 253-01 Logic & Sets (An Overview) Week 1

2 2/17/2008Sultan Almuhammadi2 Keywords (1): Proposition Conjunction Disjunction Negation Compound proposition Truth Table Logically equivalence

3 2/17/2008Sultan Almuhammadi3 Getting started Proposition: true/false statement cannot be both at the same time e.g. Today is Monday Conjunction: (and) p ^ q Disjunction: (or) p v q Negation: (not) ~p

4 2/17/2008Sultan Almuhammadi4 Example: p ^ q is a “compound” proposition (logical expression) The value of this proposition (expression) depends on the values of p and q.

5 2/17/2008Sultan Almuhammadi5 Truth table: p ^ q pqp ^ q TTT TFF FTF FFF

6 2/17/2008Sultan Almuhammadi6 Truth table: p v q pqp v q TTT TFT FTT FFF

7 2/17/2008Sultan Almuhammadi7 Keywords (2) Conditional proposition: if p then q pq Biconditional proposition: p if and only if q pq

8 2/17/2008Sultan Almuhammadi8 Keywords (2) Conditional proposition: if p then q (read: p implies q ) pq Biconditional proposition: p if and only if q (write: p iff q for short) pq

9 2/17/2008Sultan Almuhammadi9 Keywords (2) Conditional proposition: if p then q (read: p implies q ) pq Biconditional proposition: p if and only if q (write: p iff q for short) pq p -> q p q

10 2/17/2008Sultan Almuhammadi10 Truth Tables: if_then and iff pqp -> qp q TTTT TFFF FTTF FFTT

11 2/17/2008Sultan Almuhammadi11 Truth Tables (Example) pq~p~p v qp -> q TT? TF? FT? FF?

12 2/17/2008Sultan Almuhammadi12 Truth Tables pq~p~p v qp -> q TTF? TFF? FTT? FFT?

13 2/17/2008Sultan Almuhammadi13 Truth Tables pq~p~p v qp -> q TTFT? TFFF? FTTT? FFTT?

14 2/17/2008Sultan Almuhammadi14 Truth Tables pq~p~p v qp -> q TTFTT TFFFF FTTTT FFTTT

15 2/17/2008Sultan Almuhammadi15 Truth Tables pq~p~p v qp -> q TTFTT TFFFF FTTTT FFTTT Logically equivalent (~p v q) = (p -> q)

16 2/17/2008Sultan Almuhammadi16 Exer 1. (p -> q) = (~p v q) If it is Wednesday, John has discussion. It is not Wed, or John has discussion. If you don’t study hard, you will fail. Study hard or you fail. I have a meeting on Friday. I have a meeting today, or it is not Friday.

17 2/17/2008Sultan Almuhammadi17 Logical Equivalence: p  q (p -> q )  (~p v q ) ~( p v q )  ~p ^ ~q [De Morgan’s] ~( p ^ q )  ~p v ~q [De Morgan’s] (p q)  (p -> q) ^ (q -> p) (p q)  (~p v q) ^ (~q v p) Remember: I use = for 

18 2/17/2008Sultan Almuhammadi18 Binary Logic p has one of two values: True / False p cannot have both. Values can be {T,F}, {0,1}, {High, Low} n-ary Logic p has one of n valuse: e.g. 1, 2, …, n Conjunction, disjunction, and negation are defined over these n values. Sounds weird?

19 2/17/2008Sultan Almuhammadi19 Keywords (3): - Propositional logic - First order logic - Domain of discourse - Sets - Natural Numbers (N) - Integers (Z) - Rational Numbers (Q) - Irrational Numbers ( Q’ ) - Real Numbers (R) - Prime numbers

20 2/17/2008Sultan Almuhammadi20 First Order Logic - Propositional logic - E.g. p ^ q -> r - First order logic - E.g. p(x) ^ q(y) - x and y are from some Domain of discourse. - The value of p(x) depends on x.

21 2/17/2008Sultan Almuhammadi21 Sets - Notations: - Upper case letters: A, B X, Y - Elements can be listed in braces {…} - E.g. A = {1, 2, 5} - Elements can be described: - E.g. B = set of all even numbers. - Or B = {x | x is an even number} - E.g. C = {a : a is even and 1< a <10} - The size of set A is denoted by |A| - E.g. |A| = 3, |B| = ∞, |C| = 4

22 2/17/2008Sultan Almuhammadi22 Sets - Membership - x  A // x belongs to A, - y  A - Subsets - A  B // can be equal - B  N // proper-subset - The Empty Set: denoted by  = { } - The Universe: U = set of all elements.

23 2/17/2008Sultan Almuhammadi23 Set Operations - Intersection - A  B = { x | x  A and x  B} - Union - A  B = { x | x  A or x  B} - Complement - E’ = Ē = { x | x  E }

24 2/17/2008Sultan Almuhammadi24 Number Systems - Integers: - Z = { …, -3, -2, -1, 0, 1, 2, 3, …} - Z + = {1, 2, 3, …} (positive integers) - Natural Numbers: - N = {0, 1, 2, 3, … } (nonnegative integers) - Rational Numbers: - Q = {a/b | a, b  Z and b  0} - Irrational Numbers: - Q’ = { x | x  R and x  Q} - Prime numbers: - {x | x  N and x is divisible by 1 and x only}

25 2/17/2008Sultan Almuhammadi25 Examples: - Which of the following is true? - 2  N - 2  Z - 2  N  Z - x  N  x  Z - N  Z -   Z -   Z

26 2/17/2008Sultan Almuhammadi26 Warm up: - Domain of discourse (the domain) - Set {x | x is prime} - Set {x | x is even and x is prime} - For all x, P(x)  x P(x) - For some x, P(x)  x P(x) - Eg. -  x, x > 1 (domain = N) -  x, x > 1 (domain = N) -  x,  y, x > y (domain = N)

27 2/17/2008Sultan Almuhammadi27 Exer 1: -  x  y (x > y)(domain of discourse is R) -  x  y (x > y)(domain of discourse is N) -  x  y (x < y)(domain of discourse is Z) -  x  y (x > y)(domain of discourse is Q) -  x  y (x < y)(domain of discourse is N) -  x  y (x < y)(domain of discourse is Z)

28 2/17/2008Sultan Almuhammadi28 Exer 1: Solution -  x  y (x > y)(domain of discourse is R) - False, for x = 1, y = 2 -  x  y (x > y)(domain of discourse is N) - True, for x = 2, y = 1 -  x  y (x < y)(domain of discourse is Z) - True, for y = x + 1 -  x  y (x > y)(domain of discourse is Q) - False, for y = x + 1 -  x  y (x < y)(domain of discourse is N) - False, for y = x -  x  y (x < y)(domain of discourse is Z) - False, for y = x - 1

29 2/17/2008Sultan Almuhammadi29 Negation: - E.g. - Domain: set of all horses - p(x) : x is a black horse - q(x): x is a white horse - Universal quantifier -  x p(x) /* all horses are black */ - Negation: ~  x p(x) =  x ~p(x) - Existential quantifier -  x p(x) - Negation: ~  x p(x) =  x ~p(x)

30 2/17/2008Sultan Almuhammadi30 Negation: - e.g.1. -  x  y (x > y) - =  x [  y (x > y) ] - Negation: ~  x [  y (x > y) ] - =  x ~  y (x > y) - =  x  y ~ ( x > y) - =  x  y ( x ≤ y) - e.g.2. -  x  y  z (x < z) ^ (z < y) - Negation: ~  x  y  z (x < z) ^ (z < y) - =  x  y  z ~ [ (x < z) ^ (z < y) ] - =  x  y  z (x ≥ z) V (z ≥ y)

31 2/17/2008Sultan Almuhammadi31 Exer 2: Domain = all cs253 students p(x, q) = student x solved question q Write the following in symbolic notation: A.Everybody got full mark. B.Nobody got full mark. C.Negation of A. (Not everybody got full mark). D.Negation of B. E.There was a hard question nobody solved it. F.Negation of E. Solution: ?

32 2/17/2008Sultan Almuhammadi32 Quiz (A1) (A1: for practice only, not counted) Domain = all cs253 students p(x, q) = student x solved question q Write the following in symbolic notation: “There is exactly one student who got full mark.” Solution: ?


Download ppt "2/17/2008Sultan Almuhammadi1 ICS 253-01 Logic & Sets (An Overview) Week 1."

Similar presentations


Ads by Google