 Predicate: A sentence that contains a finite number of variables and becomes a statement when values are substituted for the variables. ◦ Domain: the.

Slides:



Advertisements
Similar presentations
Artificial Intelligence
Advertisements

Discrete Math Methods of proof 1.
The Logic of Quantified Statements
Predicates and Quantifiers
DISCRETE MATHEMATICS I LECTURES CHAPTER 3 Dr. Adam P. Anthony Spring 2011 Some material adapted from lecture notes provided by Dr. Chungsim Han and Dr.
Knowledge Representation Methods
CS128 – Discrete Mathematics for Computer Science
Discrete Mathematics Lecture 2 Alexander Bukharovich New York University.
Introduction to Logic Logical Form: general rules
Copyright © Cengage Learning. All rights reserved.
Discrete Structures Chapter 3: The Logic of Quantified Statements
Ch 1.3: Quantifiers Open sentences, or predicates, are sentences that contain one or more variables. They do not have a truth value until variables are.
Harper Langston New York University Summer 2015
Predicates and Quantifiers
CSCI2110 – Discrete Mathematics Tutorial 9 First Order Logic Wong Chung Hoi (Hollis)
The Foundations: Logic and Proofs
Copyright © Curt Hill Rules of Inference What is a valid argument?
Valid Arguments Decide if each argument is valid. If the stones are rolling, they are not gathering moss. If the stones are not gathering moss, they are.
CSCI 115 Chapter 2 Logic. CSCI 115 §2.1 Propositions and Logical Operations.
Formal Logic Mathematical Structures for Computer Science Chapter Copyright © 2006 W.H. Freeman & Co.MSCS SlidesFormal Logic.
Week 3 - Monday.  What did we talk about last time?  Predicate logic  Multiple quantifiers  Negating multiple quantifiers  Arguments with quantified.
Week 2 - Friday.  What did we talk about last time?  Predicate logic  Negation  Multiple quantifiers.
(CSC 102) Lecture 7 Discrete Structures. Previous Lectures Summary Predicates Set Notation Universal and Existential Statement Translating between formal.
Chap. 2 Fundamentals of Logic. Proposition Proposition (or statement): an declarative sentence that is either true or false, but not both. e.g. –Margret.
Chapter 2 The Logic of Quantified Statements. Section 2.4 Arguments with Quantified Statements.
Chapter 1 Logic Section 1-1 Statements Open your book to page 1 and read the section titled “To the Student” Now turn to page 3 where we will read the.
1 Sections 1.5 & 3.1 Methods of Proof / Proof Strategy.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such.
Arguments with Quantified Statements M Universal Instantiation If some property is true for everything in a domain, then it is true of any particular.
First Order Logic Lecture 2: Sep 9. This Lecture Last time we talked about propositional logic, a logic on simple statements. This time we will talk about.
Copyright © Cengage Learning. All rights reserved. CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS THE LOGIC OF QUANTIFIED STATEMENTS.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Fundamentals of Logic 1. What is a valid argument or proof? 2. Study system of logic 3. In proving theorems or solving problems, creativity and insight.
Hazırlayan DISCRETE COMPUTATIONAL STRUCTURES Propositional Logic PROF. DR. YUSUF OYSAL.
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
(CSC 102) Lecture 8 Discrete Structures. Previous Lectures Summary Predicates Set Notation Universal and Existential Statement Translating between formal.
Predicates and Quantified Statements
Chapter 2 The Logic of Quantified Statements. Section 2.1 Intro to Predicates & Quantified Statements.
1 Introduction to Abstract Mathematics Chapter 2: The Logic of Quantified Statements. Predicate Calculus Instructor: Hayk Melikya 2.3.
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.
1 Introduction to Abstract Mathematics Predicate Logic Instructor: Hayk Melikya Purpose of Section: To introduce predicate logic (or.
1 Georgia Tech, IIC, GVU, 2006 MAGIC Lab Rossignac Lecture 02: QUANTIFIERS Sections 1.3 and 1.4 Jarek Rossignac CS1050:
Chapter 2 Symbolic Logic. Section 2-1 Truth, Equivalence and Implication.
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
Chapter 2 Fundamentals of Logic 1. What is a valid argument or proof?
CS104:Discrete Structures Chapter 2: Proof Techniques.
Week 4 - Friday.  What did we talk about last time?  Floor and ceiling  Proof by contradiction.
Section 1.5 and 1.6 Predicates and Quantifiers. Vocabulary Predicate Domain Universal Quantifier Existential Quantifier Counterexample Free variable Bound.
PREDICATES AND QUANTIFIERS COSC-1321 Discrete Structures 1.
Mathematics for Comter I Lecture 3: Logic (2) Propositional Equivalences Predicates and Quantifiers.
1 Introduction to Abstract Mathematics Chapter 3: The Logic of Quantified Statements. Predicate Calculus Instructor: Hayk Melikya 3.1.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
Discrete Mathematical Structures: Theory and Applications 1 Logic: Learning Objectives  Learn about statements (propositions)  Learn how to use logical.
Discrete Math by R.S. Chang, Dept. CSIE, NDHU1 Fundamentals of Logic 1. What is a valid argument or proof? 2. Study system of logic 3. In proving theorems.
Week 2 - Friday.  What did we talk about last time?  Predicate logic  Negation  Multiple quantifiers.
Harper Langston New York University Summer 2017
Arguments with Quantified Statements
2. The Logic of Compound Statements Summary
3. The Logic of Quantified Statements Summary
Direct Proof and Counterexample I: Introduction
Chapter 3 The Logic of Quantified Statements
Negations of Quantified Statements
2 Chapter Introduction to Logic and Sets
CS201: Data Structures and Discrete Mathematics I
Copyright © Cengage Learning. All rights reserved.
Predicates and Quantifiers
Discrete Mathematics Lecture 4 Logic of Quantified Statements
Copyright © Cengage Learning. All rights reserved.
CS201: Data Structures and Discrete Mathematics I
Presentation transcript:

 Predicate: A sentence that contains a finite number of variables and becomes a statement when values are substituted for the variables. ◦ Domain: the set of all values that can be substituted for the variables ◦ EX: P(x): x^2 > x (“^” also means exponentiation in CS)  Sets ◦ xεA denotes that x is an element of set A ◦ Common Sets: R(real), Z(integers), Q(rationals) ◦ R⁺ and R⁻ indicate positive or negative elements only ◦ {1,2,3…} indicates a set of all + integers using “…”

 The set of all elements that make a predicate true is the truth set ◦ {x ε D | P(x)} – D is the domain of x ◦ This is read “the set of all x in D such that P(x)” ◦ EX: Q(n) is “n is a factor of 8”  If the domain is Z⁺, the truth set is {1,2,4,8}  If the domain is Z, {1,2,4,8,-1,-2,-4,-8}

 Universal Statement ◦ “∀x ε D, Q(x)” is read “for all x in D, Q(x)” ◦ ∀ is the universal quantifier, pronounced “for all” ◦ A universal statement is true iff it is true for every x in D and is false if just one x in D is false  This one false x is a counterexample ◦ EX: ∀x ε R, x^2 ≥ x  2^2 > 2, but (1/2)^2 < (1/2) so it’s false

 Existential Statement ◦ “∃x ε D such that Q(x)” means “there exists an x in D such that Q(x)” ◦ ∃ - Existential Quantifier ◦ This is true iff at least one x satisfies Q(x) ◦ EX: ∃x ε D such that x^2 = x  1^2 = 1 and is the only value besides 0 that is true

 Universal Conditional Statements ◦ “∀x, P(x) → Q(x)” means “for all x, if P(x) is true, Q(x) follows ◦ A statement of this form can always be translated to “∀x ε D, Q(x)” by making D the set of truth values for P(x) ◦ The same general rule applies for Existential statements

 Negation of Quantified Statements ◦ ~(All x in D, Q(x)) = There exists at least one x in D such that ~Q(x)  ~(∀x ε D, Q(x)) = ∃x ε D such that ~Q(x)  The negation of “All Are” is logically equivalent to “Some Are Not” ◦ ~(∃x ε D such that Q(X)) = ∀x ε D, ~Q(x)  The negation of “Some Are” is logically equivalent to “All Are Not” ◦ Caution: when translating to informal language, check the placement of “not” to ensure no ambiguity

 Negations of Universal Conditional Statements ◦ ~(∀x, P(x) → Q(x)) = ∃x such that (P(x)^~Q(x))  ~(for all x, if P(x) then Q(x)) = there exists an x such that P(x) is true and Q(x) is false  This is a culmination of a lot of information. Basically, this means that if a universal conditional statement is false, then there is an element that makes the statement false.

 ∀, ∃, ^, v ◦ ∀x ε D, Q(x) = Q(x₁)^Q(x₂)^…^Q(xn)  A for all statement is logically equivalent to an and chain of all possible Q(x)’s ◦ ∃x ε D such that Q(x) = Q(x₁) v Q(x₂)v…vQ(xn)  A there exists statement is logically equivalent to an or chain of all possible Q(x)’s ◦ This is why the negation of for all is there exists and vise versa

 Variants of Universal Conditional Statements ◦ Given ∀x in D, P(x) → Q(x) ◦ Contrapositive: ∀x, ~Q(x) → ~P(x)  Logically Equivalent to original ◦ Converse: ∀x, Q(x) → P(x)  Not Logically Equivalent ◦ Inverse: ∀x, ~P(x) → ~Q(x)  Not Logically Equivalent

 When ∀ and ∃ are both used ◦ The quantifiers are co-equal and are evaluated from left to right  ∀x ε D, ∃y ε S such that P(x,y)  For any x in D, a value y in S can be found to satisfy the predicate P(x,y) (given x, choose y)  ∃x ε D such that ∀y ε E, P(x,y)  There exists an x in D such that any y in E satisfies P(x,y) (choose x, then given y)

 Limits ◦ “Lim(n → ∞) a n = L” means that as n approaches infinity, the value a[n] approaches L ◦ For any positive number ε, there exists an integer Z such that whenever n > Z, a sub n sits between L- ε and L+ ε. ◦ Symbolically: ∀ε > 0, ∃ an integer Z such that ∀integers n, if n > Z then L- ε < a n < L+ ε  This definition is logically complex, but can be easily tested with values

 Negations of Multiply Quantified Statements ◦ For any number of quantifiers, the same basic rules can be applied  ~(∀x in D, ∃y in E such that P(x,y) = ∃x in D such that ∀y in E, ~P(x,y)  ~(∃x in D such that ∀y in E, P(x,y) = ∀x in D, ∃y in E such that ~P(x,y)  These two equivalencies were obtained using the negations of quantified statements introduced earlier

 The Order of Quantifiers ◦ By reversing the order of quantifiers ∀ and ∃, it is possible to reverse the truth values of the statement (this is not always so) ◦ If two of the same quantifiers are next to each other and are reversed, the meaning is left unchanged  ∀reals x and ∀reals y, x + y = y + x. This is true both ways  ∀ real numbers x and y,… is the exact same statement

 The Language of First-Order Logic ◦ The collection of all symbols for quantifiers, connectives, variables, etc. is not just a bunch of garble. It’s a language through which most situations can be described. There are many dialects for many different situations but the same general rule applies to each: you can’t learn it if you don’t use it. ◦ It’s important that you understand the symbols used in logic because they are the golden standard in mathematics; be it a proof, a solution or some other kind of process, the language of logic will be used to describe it.

 Did You Know? ◦ An entire programming language called Prolog (programming in logic) was developed for logical manipulationProlog ◦ Using symbolic manipulation, Prolog can solve all your logical problems for you if you know how to use it ◦ This course is not language specific, but it may be worth looking into

 Rule of Universal Instantiation ◦ If something is true for everything in a domain, then it is true for any particular thing in the domain ◦ If something is true for a type or class of objects, then it is true for any particular object of the types or class  This lets you apply general rules and theorems to specific objects without changing or having to prove the theorem used

 Universal Modus Ponens ◦ ∀x, if P(x) then Q(x): P(a) for a particular a :: Q(a) ◦ If x satisfies P(x) then it satisfies Q(x). It is known that “a” satisfies P(a) so Q(a) must be true  This is a valid – and very useful – argument form  Universal Modus Tollens ◦ ∀x, if P(x) then Q(x):~Q(a) for a particular a :: ~P(a) ◦ If x satisfies P(x) then it satisfies Q(x). It is known that “a” fails Q(a) so it must also fail P(a)

 Proving Validity of Arguments with Quantified Statements ◦ An argument form is valid regardless of the predicates used iff the conclusion is true when the premises are all true ◦ An argument is valid iff its argument form is valid ◦ A form can be proven true using other forms, theorems, and diagrams like truth tables

 The Use of Diagrams ◦ Picture each domain in an argument as a disk  If a particular domain exists within a larger domain then place the particular disk into the larger disk  EX: all integers are real numbers. Draw a disk for reals and then draw an integer disk inside the reals disk  If something is not on the larger disk, it can’t be on the smaller one either  If a number is not a real number, then it cannot be an integer  If a number is an integer, then it is also a real number

 More on Diagrams ◦ One must be careful to ensure that the diagrams are fit together properly. Both the converse and inverse errors can be miss-interpreted diagrammatically to say that the form is valid, when in fact the form is abstract. In general, diagrams are helpful when used to represent argument forms.

 Quantified Converse Error ◦ ∀x, if P(x) then Q(x): Q(a) for a particular a:: P(a)  This is invalid  EX: P(x) = “x is an integer”, Q(x) = “x is a real number”  If Q(x) is true, P(x) doesn’t necessarily follow because x could be.5, which is real, but is not an integer  Quantified Inverse Error ◦ ∀x, if P(x) then Q(x): ~P(a) for a particular a :: ~Q(a)  Invalid form  EX: P(x) = “x is an integer”, Q(x) = “x is a real number”  If x is.5, P(x) is false but Q(x) is still true. The truth of Q(x) didn’t follow from the truth of P(x)

 Obtaining Additional Argument Forms ◦ In order to transform an established argument form into its universal equivalent, combine each statement in the form with Universal Instantiation ◦ EX: Universal Transitivity  ∀x, P(x)→Q(x): ∀x, Q(x)→R(x) :: ∀x, P(x)→R(x)  Anything that makes P(x) true makes Q(x) true, anything that makes Q(x) true makes R(x) true, anything that makes P(x) true must make R(x) true

 Abduction ◦ Sometimes, converse and inverse errors are useful  ∀x, P(x)→Q(x): Q(x) :: P(x) is a converse error, but is not totally useless. It can be used to search for a logically correct statement  Say that a doctor knows two things:  If someone has chicken pox, they will have red bumps  A patient complains that he has red bumps  It is not valid to say that the patient has chicken pox, but the doctor knows that he can perform a test that will prove chicken pox is true  Thanks to the converse error, the doctor was able to narrow his search. This comes in handy when designing expert systems and artificial intelligence

 In the world of mathematics, proving your statements is an essential skill. Don’t believe us? ◦ Say an engineer is designing a new type of engine for a commercial plane. According to his calculations, the engine will not malfunction under standard conditions. In testing, this fact may seem to be true, but if his calculations were not proven valid, there will always be a lingering uncertainty. ◦ When people’s lives depend on your correctness, you have to be absolutely sure that you are in fact correct