Quantifiers. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018
|
|
- Leona Wilkinson
- 5 years ago
- Views:
Transcription
1 Quantifiers Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer Quantifiers... 1/34
2 1 Predicates and their Truth Sets Sets of Numbers 2 Universal Quantifiers Existential Quantifiers 3 Negating Quantified Statements Proofs 4 Alice E. Fischer Quantifiers... 2/34
3 Predicates and their Truth Sets Sets of Numbers Predicates and their Truth Sets Sets of Numbers Alice E. Fischer Quantifiers... 3/34
4 Predicates Outline Predicates and their Truth Sets Sets of Numbers In English, a sentence has a subject (noun or pronoun) and a predicate (verb phrase). In logic, a proposition is a sentence that can be true or false but not both. We can write a proposition using symbols but we assign specific meanings to those symbols. Often, the proposition models some real-world situation. If the subject of a sentence is a variable, it is not a proposition. We call it a predicate or an open sentence. The domain of the predicate is the set of all values that can be substituted for the variable. Alice E. Fischer Quantifiers... 4/34
5 The Truth Set of a Predicate Predicates and their Truth Sets Sets of Numbers The truth set of a predicate, P, is the set of all values, x, in its domain, D, that produce true propositions when substituted for the predicate s variable. {x D P(x)} Suppose our domain is R, the real numbers. Let P be the predicate x 2 > x. What is its truth set? P is true for all values > 1 P is false for values , including both end points. P is true for values less than 0 (all their squares are positive). We can diagram this truth set using a number line: <...true...)(..false..)(...true... > Alice E. Fischer Quantifiers... 5/34
6 Names for Sets Outline Predicates and their Truth Sets Sets of Numbers In mathematical work, some sets are used so often that someone gave them short names: R: The set of all real numbers. Z: The set of all integers Q: The set of all rational numbers (quotients) Add a superscript + to restrict the set to positive numbers. Add a superscript to restrict the set to negative numbers. Use superscript nonneg for positives plus zero. Alice E. Fischer Quantifiers... 6/34
7 Universal Quantifiers Existential Quantifiers Universal Conditional Statements Alice E. Fischer Quantifiers... 7/34
8 Universal Quantifiers Existential Quantifiers In the propositional calculus we have propositions without variables. In the predicate calculus we have predicates containing variables. In the first order predicate calculus we quantify over variables. In the second order predicate calculus, we quantify over sets of variables and/or over uninterpreted predicate symbols, but that is way beyond the scope of this course. Alice E. Fischer Quantifiers... 8/34
9 The Universal Quantifier Universal Quantifiers Existential Quantifiers We often make universal statements (at the risk of sounding prejudiced): All stars are a long long way from Earth. These can be symbolized using the universal quantifier, Let S be the set of all stars. (Exclude movie stars, sports stars, paper stars, etc.) Let W be the predicate y is a long way from Earth. We can write: y S, W (y) The predicate starts with a quantifier, a variable name, and the domain of that variable and ends with an assertion. Alice E. Fischer Quantifiers... 9/34
10 The Existential Quantifier Universal Quantifiers Existential Quantifiers We often make claims such as: Somebody out there likes me. These can be symbolized using the existential quantifier, Let P be the set of all people. Let L be the predicate x likes me. We can write: x P, L(x) Alice E. Fischer Quantifiers... 10/34
11 Universal vs. Existential Universal Quantifiers Existential Quantifiers A universally quantified statement is true if and only if the predicate is true for every element of the domain. Common terms that correspond to universal quantification include: for all, for every, for arbitrary, for any, for each, and given any. An existentially quantified statement is true if the predicate is true for even one element of the domain. Common terms that correspond to existential quantification include: there exists, there is a, we can find a, there is at least one, for some, and for at least one. Alice E. Fischer Quantifiers... 11/34
12 Universal Quantifiers Existential Quantifiers : From English to a Quantified Statement Start with this sentence: All fish die when removed from the water. Define a symbol for the predicate. What is the domain of your predicate? Symbolize the statement using the universal quantifier. Alice E. Fischer Quantifiers... 12/34
13 Outline Universal Quantifiers Existential Quantifiers All fish die when removed from the water. Let D be f dies when removed from the water. The domain of D is L: living fish swimming in the water. f L, D(f ) Alice E. Fischer Quantifiers... 13/34
14 Universal Conditional Statements Universal Quantifiers Existential Quantifiers The universal conditional statement is a generalization of the conditional or implication statement in propositional calculus: P Q. x, if P(x) then Q(x) or x, P(x) Q(x). This might be written P(x) Q(x), meaning that every element x that makes P true makes Q true. There is no existential conditional. Alice E. Fischer Quantifiers... 14/34
15 Implicit Conditional Statements Universal Quantifiers Existential Quantifiers Vegans do not eat products derived from animal sources. V= vegans A = x eats animal products x V, A(x) or P = all people V = x is vegan A = x eats animal products x P, V (x) A(x) All that glitters is not gold. T= glittery objects G = x is gold x T, G(x) or O = all objects T = x glitters G = x is gold x O, T (x) G(x) Alice E. Fischer Quantifiers... 15/34
16 Universal Quantifiers Existential Quantifiers : From English to a Quantified Statement Translate these statements into quantified predicates: 1 All UNH students have a student ID number. 2 Some UNH Engineering students are CS majors. 3 A student must work hard to graduate in Engineering. Alice E. Fischer Quantifiers... 16/34
17 Universal Quantifiers Existential Quantifiers : From English to a Quantified Statement 1 All UNH students have a student ID number. 2 x UNH students, ID(x) or x students, UNH(x) ID(x) 1 Some UNH Engineering students are CS majors. 2 z UNH Engineering students, CS(z) or z students, UNH Engineering(z) CS(z) 1 A student must work hard to graduate in Engineering. 2 s Engineering students, Graduate(s) WorksHard(s) or s students, UNH Engineering(s) Graduate(s) WorksHard(s) Alice E. Fischer Quantifiers... 17/34
18 Negating Quantified Statements Proofs Negating Quantified Statements Proofs Alice E. Fischer Quantifiers... 18/34
19 Negating Quantified Statements Negating Quantified Statements Proofs The negation of a universally quantified statement is a negative existential statement. x P, L(x) is equivalent to x P, L(x) This follows from the fact that x P, L(x) really means L(x 1 ) L(x 2 ) L(x 3 )... And then (L(x 1 ) L(x 2 ) L(x 3 )...) is L(x 1 ) L(x 2 ) L(x 3 )..., which is x P, L(x). Alice E. Fischer Quantifiers... 19/34
20 Negating Quantified Statements Negating Quantified Statements Proofs The negation of a existentially quantified statement is a negative universal statement. x P, L(x) is equivalent to x P, L(x) Why is this true? Alice E. Fischer Quantifiers... 20/34
21 Negating an Implication Negating Quantified Statements Proofs Implications and their negations are formulas with special importance in logic. The negation follows from all the previous rules. Here we develop the solution step by step. ( x, P(x) Q(x)) x, (P(x) Q(x)) x, P(x) Q(x) Alice E. Fischer Quantifiers... 21/34
22 Negating Quantified Statements Proofs : Negating Quantified Statements Remember: 1 The negation of a universally quantified statement is a negative existential statement. 2 The negation of a existentially quantified statement is a negative universal statement. For each sentence, write a quantified statement and its negation: 1 All cows have spots. 2 Some babies are born prematurely. 3 Pianos have 88 keys. 4 A bear is in the tree! Alice E. Fischer Quantifiers... 22/34
23 Negating Quantified Statements Proofs : Negating Quantified Statements 1 All cows have spots. Statement: x cows, Spotted(x) Negation: x cows, Spotted(x) 2 Some babies are born prematurely. Statement: x babies, Premature(x) Negation: x babies, Premature(x) 3 Pianos have 88 keys. Statement: x Instruments, Piano(x) Keys88(x) Negation: x Instruments, Piano(x) Keys88(x) 4 A bear is in the tree! Statement: x animals, Bear(x) intree(x) Negation: x animals, Bear(x) intree(x) Alice E. Fischer Quantifiers... 23/34
24 : Say it in English Negating Quantified Statements Proofs For each sentence, write a quantified statement and its negation: 1 x squares, Rectangle(x). 2 y triangles, Isoceles(y) 3 z USPresidents, Over 35(z). 4 x, y Z, NonZero(x) NonZero(y) NonZero(x y). Alice E. Fischer Quantifiers... 24/34
25 : Say it in English Negating Quantified Statements Proofs For each sentence, write a quantified statement and its negation: 1 x squares, Rectangle(x). 2 y triangles, Isoceles(y) 3 z USPresidents, Over 35(z). 4 x, y Z, NonZero(x) NonZero(y) NonZero(x y). Alice E. Fischer Quantifiers... 25/34
26 Variations on a Universal Theme Let B be the set of all birds. Let W(x) = x has wings. Let F(x) = x can fly. Negating Quantified Statements Proofs Proposition x B, W (x) F (x) If a bird has wings, then it can fly. Inverse x B, W (x) F (x) If a bird does not have wings, then it cannot fly. Converse x B, F (x) W (x) If a bird can fly, then it has wings. Contrapositive x B, F (x) W (x) If a bird cannot fly, then it does not have wings. Two of these are true, two are false. Which ones are which? Alice E. Fischer Quantifiers... 26/34
27 One or the Other is True. Negating Quantified Statements Proofs A statement is true its negation is false. Proof: Let p be any proposition. p p Assume p is false. Then p is true. Now assume p is false. Then p is true. a statement is true iff its negation is false. Negation law. Elimination Elimination Definition of Alice E. Fischer Quantifiers... 27/34
28 Proving an Existential Statement Negating Quantified Statements Proofs Symbolize this statement: It is possible to get an A in this course. Let P be the set of all people. Let A be the predicate x got an A in this course. x P, A(x) An existentially quantified predicate can be proved by finding a single example that makes the statement true. Sanjay is a person. Sanjay got an A in this course. Therefore, the statement is true. Alice E. Fischer Quantifiers... 28/34
29 (Dis)proving a Universal Statement Negating Quantified Statements Proofs Symbolize this statement: All people are good. Let P be the set of all people. Let G be the predicate x is good. x P, G(x) To prove a universally quantified predicate you must show it is true for all possible elements. It is often easier to disprove by finding a single counterexample. Hitler was a person. Hitler was not good. Therefore, the statement is not true. Alice E. Fischer Quantifiers... 29/34
30 Vacuous Truth Outline Negating Quantified Statements Proofs A universal statement can be true vacuously. All purple cows with green spots eat scrap metal. Unicorns are white with cream-colored horns. A statement is true iff its negation is false. The negations are: a purple cow with green spots that does not eat scrap metal. a unicorn that is not white does not have a cream-colored horn. These negations are false because unicorns and purple cows do not exist, the original statements are true. Alice E. Fischer Quantifiers... 30/34
31 Alice E. Fischer Quantifiers... 31/34
32 -1 Outline Names for Sets of Numbers: 1 R, R, R + : Real numbers, negative reals, positive reals. 2 Z, Z, Z + : Integers, negative integers, positive integers. 3 Q, Q, Q + : Rationals, negative rationals, positive rationals. Note: Zero is not considered to be EITHER negative or positive. Terminology: The truth set of a predicate is the set of all values from the relevant domain that make the predicate true. The propositional calculus deals with propositions (statements with symbols, no variables no quantifiers). The predicate calculus deals with predicates and quantifiers over sets of values. Alice E. Fischer Quantifiers... 32/34
33 -2 Outline Quantifiers: 1 is the universal quantifier and is read for all. 2 You can disprove a universally quantified statement by finding one counter-example. 3 is the existential quantifier and is read there exists. 4 You can disprove an existentially quantified statement by finding one true example. Alice E. Fischer Quantifiers... 33/34
34 Quiz 5: Predicates 1. What is the truth set of this predicate if its domain is the integers? x 2 < In one word, what is the big difference between the propositional calculus and the predicate calculus? 3. Symbolize the statement below. Elderly (over 60) people are poor drivers. 4. Write the negative of the symbolic statement you created in problem How you would go about proving or disproving it? (Just explain how, you don t actually have to do it) Alice E. Fischer Quantifiers... 34/34
Chapter 2: The Logic of Quantified Statements. January 22, 2010
Chapter 2: The Logic of Quantified Statements January 22, 2010 Outline 1 2.1- Introduction to Predicates and Quantified Statements I 2 2.2 - Introduction to Predicates and Quantified Statements II 3 2.3
More informationSection Summary. Section 1.5 9/9/2014
Section 1.5 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers Translated
More informationPredicate Calculus lecture 1
Predicate Calculus lecture 1 Section 1.3 Limitation of Propositional Logic Consider the following reasoning All cats have tails Gouchi is a cat Therefore, Gouchi has tail. MSU/CSE 260 Fall 2009 1 MSU/CSE
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationRecall that the expression x > 3 is not a proposition. Why?
Predicates and Quantifiers Predicates and Quantifiers 1 Recall that the expression x > 3 is not a proposition. Why? Notation: We will use the propositional function notation to denote the expression "
More informationFirst order Logic ( Predicate Logic) and Methods of Proof
First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating
More informationConjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.
Chapter 1 Logic 1.1 Introduction and Definitions Definitions. A sentence (statement, proposition) is an utterance (that is, a string of characters) which is either true (T) or false (F). A predicate is
More informationLogical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional
Logical Operators Conjunction Disjunction Negation Exclusive Or Implication Biconditional 1 Statement meaning p q p implies q if p, then q if p, q when p, q whenever p, q q if p q when p q whenever p p
More informationQuantifiers. P. Danziger
- 2 Quantifiers P. Danziger 1 Elementary Quantifiers (2.1) We wish to be able to use variables, such as x or n in logical statements. We do this by using the two quantifiers: 1. - There Exists 2. - For
More informationPredicates and Quantifiers. CS 231 Dianna Xu
Predicates and Quantifiers CS 231 Dianna Xu 1 Predicates Consider P(x) = x < 5 P(x) has no truth values (x is not given a value) P(1) is true 1< 5 is true P(10) is false 10 < 5 is false Thus, P(x) will
More informationTHE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates
More informationMat 243 Exam 1 Review
OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for
More informationSection 2.1: Introduction to the Logic of Quantified Statements
Section 2.1: Introduction to the Logic of Quantified Statements In the previous chapter, we studied a branch of logic called propositional logic or propositional calculus. Loosely speaking, propositional
More informationPredicate Logic. CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo
Predicate Logic CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 22 Outline 1 From Proposition to Predicate
More informationLecture 3. Logic Predicates and Quantified Statements Statements with Multiple Quantifiers. Introduction to Proofs. Reading (Epp s textbook)
Lecture 3 Logic Predicates and Quantified Statements Statements with Multiple Quantifiers Reading (Epp s textbook) 3.1-3.3 Introduction to Proofs Reading (Epp s textbook) 4.1-4.2 1 Propositional Functions
More informationChapter 2: The Logic of Quantified Statements
Chapter 2: The Logic of Quantified Statements Topics include 2.1, 2.2 Predicates and Quantified Statements, 2.3 Statements with Multiple Quantifiers, and 2.4 Arguments with Quantified Statements. cs1231y
More informationDiscrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques
Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Colin Stirling Informatics Some slides based on ones by Myrto Arapinis Colin Stirling (Informatics) Discrete Mathematics
More informationTHE LOGIC OF QUANTIFIED STATEMENTS
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 3.2 Predicates and Quantified Statements II Copyright Cengage Learning. All rights reserved. Negations
More informationBasic Logic and Proof Techniques
Chapter 3 Basic Logic and Proof Techniques Now that we have introduced a number of mathematical objects to study and have a few proof techniques at our disposal, we pause to look a little more closely
More informationDirect Proof and Proof by Contrapositive
Dr. Nahid Sultana October 14, 2012 Consider an implication: p q. Then p q p q T T T T F F F T T F F T Consider an implication: p q. Then p q p q T T T T F F F T T F F T Consider x D, p(x) q(x). It can
More informationSteinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP)
Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning Terminology, Notations, Definitions, & Principles: Mathematical Proof and Proving (MPP) 1. A statement
More information1.3 Predicates and Quantifiers
1.3 Predicates and Quantifiers INTRODUCTION Statements x>3, x=y+3 and x + y=z are not propositions, if the variables are not specified. In this section we discuss the ways of producing propositions from
More informationSection Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier
Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic
More information2-4: The Use of Quantifiers
2-4: The Use of Quantifiers The number x + 2 is an even integer is not a statement. When x is replaced by 1, 3 or 5 the resulting statement is false. However, when x is replaced by 2, 4 or 6 the resulting
More informationCS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about:
CS 70 Discrete Mathematics for CS Fall 2006 Papadimitriou & Vazirani Lecture 1 Course Outline CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach
More informationIntroduction to Sets and Logic (MATH 1190)
Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1
EECS 70 Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 Getting Started In order to be fluent in mathematical statements, you need to understand the basic framework of the language
More information3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations
Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element
More informationPropositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
More informationDiscrete Structures for Computer Science
Discrete Structures for Computer Science William Garrison bill@cs.pitt.edu 6311 Sennott Square Lecture #4: Predicates and Quantifiers Based on materials developed by Dr. Adam Lee Topics n Predicates n
More informationPredicate Logic: Sematics Part 1
Predicate Logic: Sematics Part 1 CS402, Spring 2018 Shin Yoo Predicate Calculus Propositional logic is also called sentential logic, i.e. a logical system that deals with whole sentences connected with
More informationDiscrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1
CS 70 Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1 Course Outline CS70 is a course on "Discrete Mathematics and Probability for Computer Scientists." The purpose of the course
More information1.1 Language and Logic
c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationDiscrete Mathematics and Its Applications
Discrete Mathematics and Its Applications Lecture 1: The Foundations: Logic and Proofs (1.3-1.5) MING GAO DASE @ ECNU (for course related communications) mgao@dase.ecnu.edu.cn Sep. 19, 2017 Outline 1 Logical
More informationTHE LOGIC OF QUANTIFIED STATEMENTS
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Predicates
More informationFirst-Order Logic (FOL)
First-Order Logic (FOL) Also called Predicate Logic or Predicate Calculus 2. First-Order Logic (FOL) FOL Syntax variables x, y, z, constants a, b, c, functions f, g, h, terms variables, constants or n-ary
More information2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic
CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares
More informationCSI30. Chapter 1. The Foundations: Logic and Proofs Nested Quantifiers
Chapter 1. The Foundations: Logic and Proofs 1.9-1.10 Nested Quantifiers 1 Two quantifiers are nested if one is within the scope of the other. Recall one of the examples from the previous class: x ( P(x)
More information2/18/14. What is logic? Proposi0onal Logic. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.
Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.3) TOPICS Propositional Logic Logical Operations Equivalences Predicate Logic CS160 - Spring Semester 2014 2 What
More informationIII. Elementary Logic
III. Elementary Logic The Language of Mathematics While we use our natural language to transmit our mathematical ideas, the language has some undesirable features which are not acceptable in mathematics.
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
More informationLogic and Proofs. (A brief summary)
Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations
More informationSection 3.1: Direct Proof and Counterexample 1
Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion
More informationMATH 215 Discrete Mathematics Worksheets. Which of these are propositions? What are the truth values of those that are propositions?
Which of these are propositions? What are the truth values of those that are propositions? 1. Would you like some coffee? 2. I would like coffee with cream and sugar. 3. Either Mom or Dad will pick me
More informationCS 220: Discrete Structures and their Applications. Predicate Logic Section in zybooks
CS 220: Discrete Structures and their Applications Predicate Logic Section 1.6-1.10 in zybooks From propositional to predicate logic Let s consider the statement x is an odd number Its truth value depends
More informationReview. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions
Review Propositions, propositional operators, truth tables Logical Equivalences. Tautologies & contradictions Some common logical equivalences Predicates & quantifiers Some logical equivalences involving
More informationFoundation of proofs. Jim Hefferon.
Foundation of proofs Jim Hefferon http://joshua.smcvt.edu/proofs The need to prove In Mathematics we prove things To a person with a mathematical turn of mind, the base angles of an isoceles triangle are
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationPredicate logic. G. Carl Evans. Summer University of Illinois. Propositional Logic Review Predicate logic Predicate Logic Examples
G. Carl Evans University of Illinois Summer 2013 Propositional logic Propositional Logic Review AND, OR, T/F, implies, etc Equivalence and truth tables Manipulating propositions Implication Propositional
More informationMath 3320 Foundations of Mathematics
Math 3320 Foundations of Mathematics Chapter 1: Fundamentals Jesse Crawford Department of Mathematics Tarleton State University (Tarleton State University) Chapter 1 1 / 55 Outline 1 Section 1.1: Why Study
More informationSection Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier
Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic
More informationRecitation 4: Quantifiers and basic proofs
Math 299 Recitation 4: Quantifiers and basic proofs 1. Quantifiers in sentences are one of the linguistic constructs that are hard for computers to handle in general. Here is a nice pair of example dialogues:
More informationcse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference
cse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference quantifiers x P(x) P(x) is true for every x in the domain read as for all x, P of x x P x There is an x in the
More informationFor all For every For each For any There exists at least one There exists There is Some
Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following
More informationPredicate Calculus - Syntax
Predicate Calculus - Syntax Lila Kari University of Waterloo Predicate Calculus - Syntax CS245, Logic and Computation 1 / 26 The language L pred of Predicate Calculus - Syntax L pred, the formal language
More informationSection 2.3: Statements Containing Multiple Quantifiers
Section 2.3: Statements Containing Multiple Quantifiers In this section, we consider statements such as there is a person in this company who is in charge of all the paperwork where more than one quantifier
More informationQuantifiers Here is a (true) statement about real numbers: Every real number is either rational or irrational.
Quantifiers 1-17-2008 Here is a (true) statement about real numbers: Every real number is either rational or irrational. I could try to translate the statement as follows: Let P = x is a real number Q
More information1.1 Language and Logic
c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationPredicate Logic: Introduction and Translations
Predicate Logic: Introduction and Translations Alice Gao Lecture 10 Based on work by J. Buss, L. Kari, A. Lubiw, B. Bonakdarpour, D. Maftuleac, C. Roberts, R. Trefler, and P. Van Beek 1/29 Outline Predicate
More informationCS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York
CS 250/251 Discrete Structures I and II Section 005 Fall/Winter 2013-2014 Professor York Practice Quiz March 10, 2014 CALCULATORS ALLOWED, SHOW ALL YOUR WORK 1. Construct the power set of the set A = {1,2,3}
More informationCS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.
3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on
More informationSTRATEGIES OF PROBLEM SOLVING
STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical
More informationEquivalence and Implication
Equivalence and Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February 7 8, 2018 Alice E. Fischer Laws of Logic... 1/33 1 Logical Equivalence Contradictions and Tautologies 2 3 4 Necessary
More informationExercise Set 1 Solutions Math 2020 Due: January 30, Find the truth tables of each of the following compound statements.
1. Find the truth tables of each of the following compound statements. (a) ( (p q)) (p q), p q p q (p q) q p q ( (p q)) (p q) 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 (b) [p ( p q)] [( (p
More informationPredicate Logic. Example. Statements in Predicate Logic. Some statements cannot be expressed in propositional logic, such as: Predicate Logic
Predicate Logic Predicate Logic (Rosen, Chapter 1.4-1.6) TOPICS Predicate Logic Quantifiers Logical Equivalence Predicate Proofs Some statements cannot be expressed in propositional logic, such as: All
More informationMATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG
MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG Suggested Problems for Logic and Proof The following problems are from Discrete Mathematics and Its Applications by Kenneth H. Rosen. 1. Which of these
More informationIntroduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1)
Introduction to Predicate Logic Part 1 Professor Anita Wasilewska Lecture Notes (1) Introduction Lecture Notes (1) and (2) provide an OVERVIEW of a standard intuitive formalization and introduction to
More informationA. Propositional Logic
CmSc 175 Discrete Mathematics A. Propositional Logic 1. Statements (Propositions ): Statements are sentences that claim certain things. Can be either true or false, but not both. Propositional logic deals
More informationDISCRETE MATHEMATICS BA202
TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION
More informationWith Question/Answer Animations. Chapter 2
With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of
More informationMath.3336: Discrete Mathematics. Nested Quantifiers
Math.3336: Discrete Mathematics Nested Quantifiers Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018
More information1.5 MATHEMATICAL LANGUAGE
1.5 MATHEMATICAL LANGUAGE Contemporary Calculus The calculus concepts we will explore in this book are simple and powerful, but sometimes subtle. To succeed in calculus you will have to master some techniques,
More informationToday s Lecture. ICS 6B Boolean Algebra & Logic. Predicates. Chapter 1: Section 1.3. Propositions. For Example. Socrates is Mortal
ICS 6B Boolean Algebra & Logic Today s Lecture Chapter 1 Sections 1.3 & 1.4 Predicates & Quantifiers 1.3 Nested Quantifiers 1.4 Lecture Notes for Summer Quarter, 2008 Michele Rousseau Set 2 Ch. 1.3, 1.4
More informationLearning Goals of CS245 Logic and Computation
Learning Goals of CS245 Logic and Computation Alice Gao April 27, 2018 Contents 1 Propositional Logic 2 2 Predicate Logic 4 3 Program Verification 6 4 Undecidability 7 1 1 Propositional Logic Introduction
More informationSymbolising Quantified Arguments
Symbolising Quantified Arguments 1. (i) Symbolise the following argument, given the universe of discourse is U = set of all animals. Animals are either male or female. Not all Cats are male, Therefore,
More informationSection 1.3. Let I be a set. When I is used in the following context,
Section 1.3. Let I be a set. When I is used in the following context, {B i } i I, we call I the index set. The set {B i } i I is the family of sets of the form B i where i I. One could also use set builder
More informationG52DOA - Derivation of Algorithms Predicate Logic
G52DOA - Derivation of Algorithms Predicate Logic Venanzio Capretta Predicate Logic So far, we studied propositional logic, in which we started with unspecified propositional variables A, B, C, and combined
More informationCPSC 121: Models of Computation. Module 6: Rewriting predicate logic statements
CPSC 121: Models of Computation Pre-class quiz #7 is due Wednesday October 16th at 17:00. Assigned reading for the quiz: Epp, 4th edition: 4.1, 4.6, Theorem 4.4.1 Epp, 3rd edition: 3.1, 3.6, Theorem 3.4.1.
More informationQuantifiers and Statements
Daniel Aguilar, Jessica Mean, and Marcus Hughes Math 170 Project (Part 1) Quantifiers and Statements There is basic knowledge that you will need to know before you read the project. Such as: A statement
More informationLogic Overview, I. and T T T T F F F T F F F F
Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical
More informationReview. Propositional Logic. Propositions atomic and compound. Operators: negation, and, or, xor, implies, biconditional.
Review Propositional Logic Propositions atomic and compound Operators: negation, and, or, xor, implies, biconditional Truth tables A closer look at implies Translating from/ to English Converse, inverse,
More informationStrategies for Proofs
G. Carl Evans University of Illinois Summer 2013 Today Practice with proofs Become familiar with various strategies for proofs Review: proving universal statements Claim: For any integer a, if a is odd,
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More informationIntroduction to first-order logic:
Introduction to first-order logic: First-order structures and languages. Terms and formulae in first-order logic. Interpretations, truth, validity, and satisfaction. Valentin Goranko DTU Informatics September
More informationPredicate in English. Predicates and Quantifiers. Predicate in Logic. Propositional Functions: Prelude. Propositional Function
Predicates and Quantifiers Chuck Cusack Predicate in English In English, a sentence has 2 parts: the subject and the predicate. The predicate is the part of the sentence that states something about the
More informationThinking of Nested Quantification
Section 1.5 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers. Translating
More informationThe Process of Mathematical Proof
1 The Process of Mathematical Proof Introduction. Mathematical proofs use the rules of logical deduction that grew out of the work of Aristotle around 350 BC. In previous courses, there was probably an
More information- First-order formula. Instructor: Yu Zhen Xie
CS2209A 2017 Applied Logic for Computer Science Lecture 10 Predicate Logic - First-order formula Instructor: Yu Zhen Xie 1 Propositions with parameters Is it true? Answer: depends. When x is an integer,
More informationPredicate Calculus. Lila Kari. University of Waterloo. Predicate Calculus CS245, Logic and Computation 1 / 59
Predicate Calculus Lila Kari University of Waterloo Predicate Calculus CS245, Logic and Computation 1 / 59 Predicate Calculus Alternative names: predicate logic, first order logic, elementary logic, restricted
More informationLogic and Proofs. (A brief summary)
Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations
More informationWe have seen that the symbols,,, and can guide the logical
CHAPTER 7 Quantified Statements We have seen that the symbols,,, and can guide the logical flow of algorithms. We have learned how to use them to deconstruct many English sentences into a symbolic form.
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 21 Predicate Logic
More informationPredicate Logic Thursday, January 17, 2013 Chittu Tripathy Lecture 04
Predicate Logic Today s Menu Predicate Logic Quantifiers: Universal and Existential Nesting of Quantifiers Applications Limitations of Propositional Logic Suppose we have: All human beings are mortal.
More informationMA103 STATEMENTS, PROOF, LOGIC
MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking
More informationCOMP Intro to Logic for Computer Scientists. Lecture 11
COMP 1002 Intro to Logic for Computer Scientists Lecture 11 B 5 2 J Puzzle 10 The first formulation of the famous liar s paradox, attributed to a Cretan philosopher Epimenides, stated All Cretans are liars.
More informationCS70: Discrete Math and Probability. Slides adopted from Satish Rao, CS70 Spring 2016 June 20, 2016
CS70: Discrete Math and Probability Slides adopted from Satish Rao, CS70 Spring 2016 June 20, 2016 Introduction Programming Computers Superpower! What are your super powerful programs doing? Logic and
More information5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.
Statements Compounds and Truth Tables. Statements, Negations, Compounds, Conjunctions, Disjunctions, Truth Tables, Logical Equivalence, De Morgan s Law, Tautology, Contradictions, Proofs with Logical Equivalent
More informationLogic and Modelling. Introduction to Predicate Logic. Jörg Endrullis. VU University Amsterdam
Logic and Modelling Introduction to Predicate Logic Jörg Endrullis VU University Amsterdam Predicate Logic In propositional logic there are: propositional variables p, q, r,... that can be T or F In predicate
More informationTopic #3 Predicate Logic. Predicate Logic
Predicate Logic Predicate Logic Predicate logic is an extension of propositional logic that permits concisely reasoning about whole classes of entities. Propositional logic treats simple propositions (sentences)
More informationFormal Geometry. Conditional Statements
Formal Geometry Conditional Statements Objectives Can you analyze statements in if then form? Can you write the converse, inverse, and contrapositive of if then statements? Inductive Reasoning Inductive
More information