January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 1 Let’s Talk About Logic Logic is a system based on propositions.Logic is a system.

Slides:



Advertisements
Similar presentations
Fall 2002CMSC Discrete Structures1 … and now for something completely different… Set Theory Actually, you will see that logic and set theory are.
Advertisements

Discrete Mathematics I Lectures Chapter 6
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007 Chapter 1: (Part 2): The Foundations: Logic and Proofs.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Analytical Methods in CS (CIS 505)
Discrete Structures Chapter 1 Part B Fundamentals of Logic Nurul Amelina Nasharuddin Multimedia Department 1.
Sets 1.
CSE115/ENGR160 Discrete Mathematics 02/10/11 Ming-Hsuan Yang UC Merced 1.
Sets 1.
Discrete Mathematics Math 6A Instructor: M. Welling.
Sets. Copyright © Peter Cappello Definition Visualize a dictionary as a directed graph. Nodes represent words If word w is defined in terms of word.
CSE115/ENGR160 Discrete Mathematics 01/20/11 Ming-Hsuan Yang UC Merced 1.
Discrete Math 6A Max Welling. Recap 1. Proposition: statement that is true or false. 2. Logical operators: NOT, AND, OR, XOR, ,  3. Compound proposition:
February 5, 2015Applied Discrete Mathematics Week 1: Logic and Sets 1 Homework Solution PQ  (P  Q) (  P)  (  Q)  (P  Q)  (  P)  (  Q) truetruefalsefalsetrue.
Survey of Mathematical Ideas Math 100 Chapter 3, Logic
Predicates and Quantifiers
Discrete Mathematics Goals of a Discrete Mathematics Learn how to think mathematically 1. Mathematical Reasoning Foundation for discussions of methods.
Course Outline Book: Discrete Mathematics by K. P. Bogart Topics:
CSCI 115 Chapter 2 Logic. CSCI 115 §2.1 Propositions and Logical Operations.
MATH 213 A – Discrete Mathematics for Computer Science Dr. (Mr.) Bancroft.
Mathematical Structures A collection of objects with operations defined on them and the accompanying properties form a mathematical structure or system.
Fall 2002CMSC Discrete Structures1 Let’s get started with... Logic !
Mathematical Preliminaries (Hein 1.1 and 1.2) Sets are collections in which order of elements and duplication of elements do not matter. – {1,a,1,1} =
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
September 8, 2009Theory of Computation Lecture 1: Introduction and Preliminaries 1 Welcome to CS 620 – Theory of Computation Fall 2009 Instructor: Marc.
CS 103 Discrete Structures Lecture 10 Basic Structures: Sets (1)
Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.
Copyright © 2014 Curt Hill Sets Introduction to Set Theory.
Discrete Structure Sets. 2 Set Theory Set: Collection of objects (“elements”) a  A “a is an element of A” “a is a member of A” a  A “a is not an element.
DISCRETE COMPUTATIONAL STRUCTURES
Chapter 2: Basic Structures: Sets, Functions, Sequences, and Sums (1)
1. Set Theory Set: Collection of objects (“elements”) a  A “a is an element of A” “a is a member of A” a  A “a is not an element of A” A = {a 1, a 2,
CompSci 102 Discrete Math for Computer Science
Section 2.1. Section Summary Definition of sets Describing Sets Roster Method Set-Builder Notation Some Important Sets in Mathematics Empty Set and Universal.
Fall 2003CMSC Discrete Structures1 … and now for something completely different… Set Theory Actually, you will see that logic and set theory are.
Sets Goal: Introduce the basic terminology of set theory.
Chapter 2 Logic 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications.
Logical Operations – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Logical Operations Reading: Kolman, Section 2.1.
CSNB143 – Discrete Structure Topic 4 – Logic. Learning Outcomes Students should be able to define statement. Students should be able to identify connectives.
Chapter 2 With Question/Answer Animations. Section 2.1.
12/19/20151 … and now for something completely different… Set Theory Actually, you will see that logic and set theory are very closely related.
Basic Definitions of Set Theory Lecture 24 Section 5.1 Fri, Mar 2, 2007.
Week 4 - Friday.  What did we talk about last time?  Floor and ceiling  Proof by contradiction.
Module #3 - Sets 3/2/2016(c) , Michael P. Frank 2. Sets and Set Operations.
Spring 2003CMSC Discrete Structures1 Let’s get started with... Logic !
3/6/20161 Let’s get started with... Logic !. 3/6/20162 Logic Crucial for mathematical reasoningCrucial for mathematical reasoning Used for designing electronic.
Section 2.1. Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Introduction to Set Theory (§1.6) A set is a new type of structure, representing an unordered collection (group, plurality) of zero or more distinct (different)
DISCRETE COMPUTATIONAL STRUCTURES CSE 2353 Fall 2010 Most slides modified from Discrete Mathematical Structures: Theory and Applications by D.S. Malik.
Ch01-Logic 1. Logic Crucial for mathematical reasoningCrucial for mathematical reasoning Used for designing electronic circuitryUsed for designing electronic.
Sets.
Applied Discrete Mathematics Week 1: Logic and Sets
Discrete Mathematics Margaret H. Dunham
CSNB 143 Discrete Mathematical Structures
CMSC Discrete Structures
… and now for something completely different…
Exercises Show that (P  Q)  (P)  (Q)
CHAPTER 1: LOGICS AND PROOF
Applied Discrete Mathematics Week 2: Proofs
Applied Discrete Mathematics Week 2: Proofs
Discrete Mathematics CMP-200 Propositional Equivalences, Predicates & Quantifiers, Negating Quantified Statements Abdul Hameed
… and now for something completely different…
Predicates and Quantifiers
Lecture Sets 2.2 Set Operations.
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
Welcome to CS 620 – Theory of Computation Spring 2019
Presentation transcript:

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 1 Let’s Talk About Logic Logic is a system based on propositions.Logic is a system based on propositions. A proposition is a statement that is either true or false (not both).A proposition is a statement that is either true or false (not both). We say that the truth value of a proposition is either true (T) or false (F).We say that the truth value of a proposition is either true (T) or false (F). Corresponds to 1 and 0 in digital circuitsCorresponds to 1 and 0 in digital circuits

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 2 Logical Operators (Connectives) Negation (NOT) Negation (NOT) Conjunction (AND) Conjunction (AND) Disjunction (OR) Disjunction (OR) Exclusive or (XOR) Exclusive or (XOR) Implication (if – then) Implication (if – then) Biconditional (if and only if) Biconditional (if and only if) Truth tables can be used to show how these operators can combine propositions to compound propositions.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 3 Tautologies and Contradictions A tautology is a statement that is always true. Examples: R  (  R)R  (  R)  (P  Q)  (  P)  (  Q)  (P  Q)  (  P)  (  Q) If S  T is a tautology, we write S  T. If S  T is a tautology, we write S  T.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 4 Tautologies and Contradictions A contradiction is a statement that is always false. Examples: R  (  R) R  (  R)  (  (P  Q)  (  P)  (  Q))  (  (P  Q)  (  P)  (  Q)) The negation of any tautology is a contradiction, and the negation of any contradiction is a tautology.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 5 Propositional Functions Propositional function (open sentence): statement involving one or more variables, e.g.: x-3 > 5. Let us call this propositional function P(x), where P is the predicate and x is the variable. What is the truth value of P(2) ? false What is the truth value of P(8) ? What is the truth value of P(9) ? false true

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 6 Propositional Functions Let us consider the propositional function Q(x, y, z) defined as: x + y = z. Here, Q is the predicate and x, y, and z are the variables. What is the truth value of Q(2, 3, 5) ? true What is the truth value of Q(0, 1, 2) ? What is the truth value of Q(9, -9, 0) ? false true

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 7 Universal Quantification Let P(x) be a propositional function. Universally quantified sentence: For all x in the universe of discourse P(x) is true. Using the universal quantifier  :  x P(x) “for all x P(x)” or “for every x P(x)” (Note:  x P(x) is either true or false, so it is a proposition, not a propositional function.)

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 8 Universal Quantification Example: S(x): x is a UMB student. G(x): x is a genius. What does  x (S(x)  G(x)) mean ? “If x is a UMB student, then x is a genius.” or “All UMB students are geniuses.”

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 9 Existential Quantification Existentially quantified sentence: There exists an x in the universe of discourse for which P(x) is true. Using the existential quantifier  :  x P(x) “There is an x such that P(x).” “There is at least one x such that P(x).” “There is at least one x such that P(x).” (Note:  x P(x) is either true or false, so it is a proposition, but no propositional function.)

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 10 Existential Quantification Example: P(x): x is a UMB professor. G(x): x is a genius. What does  x (P(x)  G(x)) mean ? “There is an x such that x is a UMB professor and x is a genius.” or “At least one UMB professor is a genius.”

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 11 Quantification Another example: Let the universe of discourse be the real numbers. What does  x  y (x + y = 320) mean ? “For every x there exists a y so that x + y = 320.” Is it true? Is it true for the natural numbers? yes no

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 12 Disproof by Counterexample A counterexample to  x P(x) is an object c so that P(c) is false. Statements such as  x (P(x)  Q(x)) can be disproved by simply providing a counterexample. Statement: “All birds can fly.” Disproved by counterexample: Penguin.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 13 Negation  (  x P(x)) is logically equivalent to  x (  P(x)).  (  x P(x)) is logically equivalent to  x (  P(x)). See Table 3 in Section 1.3. I recommend exercises 5 and 9 in Section 1.3.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 14 … and now for something completely different… Set Theory Actually, you will see that logic and set theory are very closely related.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 15 Set Theory Set: Collection of objects (“elements”)Set: Collection of objects (“elements”) a  A “a is an element of A” “a is a member of A”a  A “a is an element of A” “a is a member of A” a  A “a is not an element of A”a  A “a is not an element of A” A = {a 1, a 2, …, a n } “A contains…”A = {a 1, a 2, …, a n } “A contains…” Order of elements is meaninglessOrder of elements is meaningless It does not matter how often the same element is listed.It does not matter how often the same element is listed.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 16 Set Equality Sets A and B are equal if and only if they contain exactly the same elements. Examples: A = {9, 2, 7, -3}, B = {7, 9, -3, 2} : A = {9, 2, 7, -3}, B = {7, 9, -3, 2} : A = B A = {dog, cat, horse}, B = {cat, horse, squirrel, dog} : A = {dog, cat, horse}, B = {cat, horse, squirrel, dog} : A  B A = {dog, cat, horse}, B = {cat, horse, dog, dog} : A = {dog, cat, horse}, B = {cat, horse, dog, dog} : A = B

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 17 Examples for Sets “Standard” Sets: Natural numbers N = {0, 1, 2, 3, …}Natural numbers N = {0, 1, 2, 3, …} Integers Z = {…, -2, -1, 0, 1, 2, …}Integers Z = {…, -2, -1, 0, 1, 2, …} Positive Integers Z + = {1, 2, 3, 4, …}Positive Integers Z + = {1, 2, 3, 4, …} Real Numbers R = {47.3, -12, , …}Real Numbers R = {47.3, -12, , …} Rational Numbers Q = {1.5, 2.6, -3.8, 15, …} (correct definition will follow)Rational Numbers Q = {1.5, 2.6, -3.8, 15, …} (correct definition will follow)

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 18 Examples for Sets A =  “empty set/null set”A =  “empty set/null set” A = {z} Note: z  A, but z  {z}A = {z} Note: z  A, but z  {z} A = {{b, c}, {c, x, d}}A = {{b, c}, {c, x, d}} A = {{x, y}} Note: {x, y}  A, but {x, y}  {{x, y}}A = {{x, y}} Note: {x, y}  A, but {x, y}  {{x, y}} A = {x | P(x)} “set of all x such that P(x)”A = {x | P(x)} “set of all x such that P(x)” A = {x | x  N  x > 7} = {8, 9, 10, …} “set builder notation”A = {x | x  N  x > 7} = {8, 9, 10, …} “set builder notation”

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 19 Examples for Sets We are now able to define the set of rational numbers Q: Q = {a/b | a  Z  b  Z + } or Q = {a/b | a  Z  b  Z  b  0} And how about the set of real numbers R? R = {r | r is a real number} That is the best we can do.

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 20 Subsets A  B “A is a subset of B” A  B if and only if every element of A is also an element of B. We can completely formalize this: A  B   x (x  A  x  B) Examples: A = {3, 9}, B = {5, 9, 1, 3}, A  B ? true A = {3, 3, 3, 9}, B = {5, 9, 1, 3}, A  B ? false true A = {1, 2, 3}, B = {2, 3, 4}, A  B ?

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 21 Subsets Useful rules: A = B  (A  B)  (B  A)A = B  (A  B)  (B  A) (A  B)  (B  C)  A  C (see Venn Diagram)(A  B)  (B  C)  A  C (see Venn Diagram) U A B C

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 22 Subsets Useful rules:   A for any set A   A for any set A A  A for any set AA  A for any set A Proper subsets: A  B “A is a proper subset of B” A  B   x (x  A  x  B)   x (x  B  x  A) or A  B   x (x  A  x  B)   x (x  B  x  A)

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 23 Cardinality of Sets If a set S contains n distinct elements, n  N, we call S a finite set with cardinality n. Examples: A = {Mercedes, BMW, Porsche}, |A| = 3 B = {1, {2, 3}, {4, 5}, 6} |B| = 4 C =  |C| = 0 D = { x  N | x  7000 } |D| = 7001 E = { x  N | x  7000 } E is infinite!

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 24 The Power Set 2 A or P(A) “power set of A” 2 A = {B | B  A} (contains all subsets of A) Examples: A = {x, y, z} 2 A = { , {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}} A =  2 A = {  } Note: |A| = 0, |2 A | = 1

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 25 The Power Set Cardinality of power sets: | 2 A | = 2 |A| Imagine each element in A has an “on/off” switchImagine each element in A has an “on/off” switch Each possible switch configuration in A corresponds to one element in 2 AEach possible switch configuration in A corresponds to one element in 2 A A xxxxxxxxx yyyyyyyyy zzzzzzzzz For 3 elements in A, there are 2  2  2 = 8 elements in 2 AFor 3 elements in A, there are 2  2  2 = 8 elements in 2 A

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 26 Cartesian Product The ordered n-tuple (a 1, a 2, a 3, …, a n ) is an ordered collection of objects. Two ordered n-tuples (a 1, a 2, a 3, …, a n ) and (b 1, b 2, b 3, …, b n ) are equal if and only if they contain exactly the same elements in the same order, i.e. a i = b i for 1  i  n. The Cartesian product of two sets is defined as: A  B = {(a, b) | a  A  b  B} Example: A = {x, y}, B = {a, b, c} A  B = {(x, a), (x, b), (x, c), (y, a), (y, b), (y, c)}

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 27 Cartesian Product Note that: A  =  A  =   A =   A =  For non-empty sets A and B: A  B  A  B  B  A For non-empty sets A and B: A  B  A  B  B  A |A  B| = |A|  |B| |A  B| = |A|  |B| The Cartesian product of two or more sets is defined as: A 1  A 2  …  A n = {(a 1, a 2, …, a n ) | a i  A for 1  i  n}

January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 28 Set Operations Union: A  B = {x | x  A  x  B} Example: A = {a, b}, B = {b, c, d} A  B = {a, b, c, d} A  B = {a, b, c, d} Intersection: A  B = {x | x  A  x  B} Example: A = {a, b}, B = {b, c, d} A  B = {b} A  B = {b}