# Chapter 1, Part II: Predicate Logic. With Question/Answer Animations

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Chapter 1, Part II: Predicate Logic With Question/Answer Animations

2 Summary Predicate Logic (First-Order Logic (FOL) The Language of Quantifiers Logical Equivalences Nested Quantifiers Translation from Predicate Logic to English Translation from English to Predicate Logic

3 Section 1.4

4 Section Summary Predicates Variables Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic

5 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 about objects, their properties, and their relations. Later we ll see how to draw inferences.

6 Introducing Predicate Logic Predicate logic uses the following new features: Variables: x, y, z Predicates: P(x), M(x) Quantifiers (to be covered in a few slides): Propositional functions are a generalization of propositions. They contain variables and a predicate, e.g., P(x) Variables can be replaced by elements from their domain.

7 Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value from the domain (or bound by a quantifier, as we will see later). The statement P(x) is said to be the value of the propositional function P at x. For example, let P(x) denote x > 0 and the domain be the integers. Then: P(-3) is false. P(0) is false. P(3) is true. Often the domain is denoted by U. So in this example U is the integers.

8 Examples of Propositional Functions Let x + y = z be denoted by R(x, y, z) and U (for all three variables) be the integers. Find these truth values: R(2,-1,5) Solution: F R(3,4,7) Solution: T R(x, 3, z) Solution: Not a Proposition Now let x - y = z be denoted by Q(x, y, z), with U as the integers. Find these truth values: Q(2,-1,3) Solution: T Q(3,4,7) Solution: F Q(x, 3, z) Solution: Not a Proposition

9 Compound Expressions Connectives from propositional logic carry over to predicate logic. If P(x) denotes x > 0, find these truth values: P(3) P(-1) Solution: T P(3) P(-1) Solution: F P(3) P(-1) Solution: F P(3) P(-1) Solution: T Expressions with variables are not propositions and therefore do not have truth values. For example, P(3) P(y) P(x) P(y) When used with quantifiers (to be introduced next), these expressions (propositional functions) become propositions.

10 Quantifiers Charles Peirce ( ) We need quantifiers to express the meaning of English words including all and some: All men are Mortal. Some cats do not have fur. The two most important quantifiers are: Universal Quantifier, For all, symbol: Existential Quantifier, There exists, symbol: We write as in x P(x) and x P(x). x P(x) asserts P(x) is true for every x in the domain. x P(x) asserts P(x) is true for some x in the domain. The quantifiers are said to bind the variable x in these expressions.

11 Universal Quantifier x P(x) is read as For all x, P(x) or For every x, P(x) Examples: 1) If P(x) denotes x > 0 and U is the integers, then x P(x) is false. 2) If P(x) denotes x > 0 and U is the positive integers, then x P(x) is true. 3) If P(x) denotes x is even and U is the integers, then x P(x) is false.

12 Existential Quantifier x P(x) is read as For some x, P(x), or as There is an x such that P(x), or For at least one x, P(x). Examples: 1. If P(x) denotes x > 0 and U is the integers, then x P(x) is true. It is also true if U is the positive integers. 2. If P(x) denotes x < 0 and U is the positive integers, then x P(x) is false. 3. If P(x) denotes x is even and U is the integers, then x P(x) is true.

13 Thinking about Quantifiers When the domain of discourse is finite, we can think of quantification as looping through the elements of the domain. To evaluate x P(x) loop through all x in the domain. If at every step P(x) is true, then x P(x) is true. If at a step P(x) is false, then x P(x) is false and the loop terminates. To evaluate x P(x) loop through all x in the domain. If at some step, P(x) is true, then x P(x) is true and the loop terminates. If the loop ends without finding an x for which P(x) is true, then x P(x) is false. Even if the domains are infinite, we can still think of the quantifiers this fashion, but the loops will not terminate in some cases.

14 Properties of Quantifiers The truth value of x P(x) and x P(x) depend on both the propositional function P(x) and on the domain U. Examples: 1. If U is the positive integers and P(x) is the statement x < 2, then x P(x) is true, but x P(x) is false. 2. If U is the negative integers and P(x) is the statement x < 2, then both x P(x) and x P(x) are true. 3. If U consists of 3, 4, and 5, and P(x) is the statement x > 2, then both x P(x) and x P(x) are true. But if P(x) is the statement x < 2, then both x P(x) and x P(x) are false.

15 Precedence of Quantifiers The quantifiers and have higher precedence than all the logical operators. For example, x P(x) Q(x) means ( x P(x)) Q(x) x (P(x) Q(x)) means something different. Unfortunately, often people write x P(x) Q(x) when they mean x (P(x) Q(x)).

16 Translating from English to Logic Example 1: Translate the following sentence into predicate logic: Every student in this class has taken a course in Java. Solution:??

17 Translating from English to Logic Example 1: Translate the following sentence into predicate logic: Every student in this class has taken a course in Java. Solution: First decide on the domain U. Solution 1: If U is all students in this class, define a propositional function J(x) denoting x has taken a course in Java and translate as x J(x). Solution 2: But if U is all people, also define a propositional function S(x) denoting x is a student in this class and translate as x (S(x) J(x)). x (S(x) J(x)) is not correct. What does it mean?

18 Translating from English to Logic Example 2: Translate the following sentence into predicate logic: Some student in this class has taken a course in Java. Solution:??

19 Translating from English to Logic Example 2: Translate the following sentence into predicate logic: Some student in this class has taken a course in Java. Solution: First decide on the domain U. Solution 1: If U is all students in this class, translate as x J(x) Solution 1: But if U is all people, then translate as x (S(x) J(x)) x (S(x) J(x)) is not correct. What does it mean?

20 Returning to the Socrates Example Introduce the propositional functions Man(x) denoting x is a man and Mortal(x) denoting x is mortal. Specify the domain as all people. The two premises are: The conclusion is: Later we will show how to prove that the conclusion follows from the premises.

21 Equivalences in Predicate Logic Statements involving predicates and quantifiers are logically equivalent if and only if they have the same truth value for every predicate substituted into these statements and for every domain of discourse used for the variables in the expressions. The notation S T indicates that S and T are logically equivalent. Example: x S(x) x S(x)

22 Thinking about Quantifiers as Conjunctions and Disjunctions If the domain is finite, a universally quantified proposition is equivalent to a conjunction of propositions without quantifiers and an existentially quantified proposition is equivalent to a disjunction of propositions without quantifiers. If U consists of the integers 1,2, and 3: Even if the domains are infinite, you can still think of the quantifiers in this fashion, but the equivalent expressions without quantifiers will be infinitely long.

23 Negating Quantified Expressions Consider x J(x) There is a student in this class who has taken a course in Java. Where J(x) is x has taken a course in Java. Negating the original statement gives It is not the case that there is a student in this class who has taken Java. This implies that Every student in this class has not taken Java Symbolically x J(x) and x J(x) are equivalent

24 De Morgan s Laws for Quantifiers The rules for negating quantifiers are: The reasoning in the table shows that: These are important. You will use these.

25 Translation from English to Logic Examples: 1. Some student in this class has visited Mexico. Solution: Let M(x) denote x has visited Mexico and S(x) denote x is a student in this class, and U be all people. x (S(x) M(x)) 2. Every student in this class has visited Canada or Mexico. Solution: Add C(x) denoting x has visited Canada. x (S(x) (M(x) C(x)))

26 Some Fun with Translating from English into Logical Expressions U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob Translate Everything is a fleegle Solution: x F(x)

27 Translation (cont) U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob Nothing is a snurd. Solution: x S(x) What is this equivalent to? Solution: x S(x)

28 Translation (cont) U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob All fleegles are snurds. Solution: x (F(x) S(x))

29 Translation (cont) U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob Some fleegles are thingamabobs. Solution: x (F(x) T(x))

30 Translation (cont) U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob No snurd is a thingamabob. Solution: x (S(x) T(x)) What is this equivalent to? Solution: x ( S(x) T(x))

31 Translation (cont) U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob If any fleegle is a snurd then it is also a thingamabob. Solution: x ((F(x) S(x)) T(x))

32 System Specification Example Predicate logic is used for specifying properties that systems must satisfy. For example, translate into predicate logic: Every mail message larger than one megabyte will be compressed. If a user is active, at least one network link will be available. Decide on predicates and domains (left implicit here) for the variables: Let L(m, y) be Mail message m is larger than y megabytes. Let C(m) denote Mail message m will be compressed. Let A(u) represent User u is active. Let S(n, x) represent Network link n is state x. Now we have:

33 Lewis Carroll Example Charles Lutwidge Dodgson (AKA Lewis Caroll) ( ) The first two are called premises and the third is called the conclusion. 1. All lions are fierce. 2. Some lions do not drink coffee. 3. Some fierce creatures do not drink coffee. Here is one way to translate these statements to predicate logic. Let P(x), Q(x), and R(x) be the propositional functions x is a lion, x is fierce, and x drinks coffee, respectively. 1. x (P(x) Q(x)) 2. x (P(x) R(x)) 3. x (Q(x) R(x)) Later we will see how to prove that the conclusion follows from the premises.

34 Section 1.5

35 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers. Translated English Sentences into Logical Expressions. Negating Nested Quantifiers.

36 Nested Quantifiers Nested quantifiers are often necessary to express the meaning of sentences in English as well as important concepts in computer science and mathematics. Example: Every real number has an inverse is x y(x + y = 0) where the domains of x and y are the real numbers. We can also think of nested propositional functions: x y(x + y = 0) can be viewed as x Q(x) where Q(x) is y P(x, y) where P(x, y) is (x + y = 0)

37 Thinking of Nested Quantification Nested Loops To see if x yp (x,y) is true, loop through the values of x : At each step, loop through the values for y. If for some pair of x andy, P(x,y) is false, then x yp(x,y) is false and both the outer and inner loop terminate. x y P(x,y) is true if the outer loop ends after stepping through each x. To see if x yp(x,y) is true, loop through the values of x: At each step, loop through the values for y. The inner loop ends when a pair x and y is found such that P(x, y) is true. If no y is found such that P(x, y) is true the outer loop terminates as x yp(x,y) has been shown to be false. x y P(x,y) is true if the outer loop ends after stepping through each x. If the domains of the variables are infinite, then this process can not actually be carried out.

38 Order of Quantifiers Examples: 1. Let P(x,y) be the statement x + y = y + x. Assume that U is the real numbers. Then x yp(x,y) and y xp(x,y) have the same truth value. 2. Let Q(x,y) be the statement x + y = 0. Assume that U is the real numbers. Then x yp(x,y) is true, but y xp(x,y) is false.

39 Questions on Order of Quantifiers Example 1: Let U be the real numbers, Define P(x,y) : x y = 0 What is the truth value of the following: 1. x yp(x,y) Answer: False 2. x yp(x,y) Answer: True 3. x y P(x,y) Answer: True 4. x y P(x,y) Answer: True

40 Questions on Order of Quantifiers Example 2: Let U be the real numbers, Define P(x,y) : x / y = 1 What is the truth value of the following: 1. x yp(x,y) Answer:? 2. x yp(x,y) Answer:? 3. x y P(x,y) Answer:? 4. x y P(x,y) Answer:?

41 Questions on Order of Quantifiers Example 2: Let U be the real numbers, Define P(x,y) : x / y = 1 What is the truth value of the following: 1. x yp(x,y) Answer: False 2. x yp(x,y) Answer: True 3. x y P(x,y) Answer: False 4. x y P(x,y) Answer: True

42 Quantifications of Two Variables Statement When True? When False P(x,y) is true for every pair x,y. There is a pair x, y for which P(x,y) is false. For every x there is a y for which P(x,y) is true. There is an x for which P(x,y) is true for every y. There is a pair x, y for which P(x,y) is true. There is an x such that P(x,y) is false for every y. For every x there is a y for which P(x,y) is false. P(x,y) is false for every pair x,y

43 Translating Nested Quantifiers into English Example 1: Translate the statement x (C(x ) y (C(y ) F(x, y))) where C(x) is x has a computer, and F(x,y) is x and y are friends, and the domain for both x and y consists of all students in your school. Solution: Every student in your school has a computer or has a friend who has a computer. Example 2: Translate the statement x y z ((F(x, y) F(x,z) (y z)) F(y,z)) Solution: Every student none of whose friends are also friends with each other.

44 Translating Mathematical Statements into Predicate Logic Example : Translate The sum of two positive integers is always positive into a logical expression. Solution:??

45 Translating Mathematical Statements into Predicate Logic Example : Translate The sum of two positive integers is always positive into a logical expression. Solution: 1. Rewrite the statement to make the implied quantifiers and domains explicit: For every two integers, if these integers are both positive, then the sum of these integers is positive. 2. Introduce the variables x and y, and specify the domain, to obtain: For all positive integers x

46 Translating English into Logical Expressions Example Example: Use quantifiers to express the statement There is a woman who has taken a flight on every airline in the world. Solution: 1. Let P(w,f) be w has taken f and Q(f,a) be f is a flight on a. 2. The domain of w is all women, the domain of f is all flights, and the domain of a is all airlines. 3. Then the statement can be expressed as: w a f (P(w,f ) Q(f,a))

47 Questions on Translation from English Choose the obvious predicates and express in predicate logic. Example 1: Brothers are siblings. Solution: x y (B(x,y) S(x,y)) Example 2: Siblinghood is symmetric. Solution: x y (S(x,y) S(y,x)) Example 3: Everybody loves somebody. Solution: x y L(x,y) Example 4: There is someone who is loved by everyone. Solution: y x L(x,y) Example 5: There is someone who loves someone. Solution: x y L(x,y) Example 6: Everyone loves himself Solution: x L(x,x)

48 Negating Nested Quantifiers Example 1: Recall the logical expression developed three slides back: w a f (P(w,f ) Q(f,a)) Part 1: Use quantifiers to express the statement that There does not exist a woman who has taken a flight on every airline in the world. Solution: w a f (P(w,f ) Q(f,a)) Part 2: Now use De Morgan s Laws to move the negation as far inwards as possible. Solution: 1. w a f (P(w,f ) Q(f,a)) 2. w a f (P(w,f ) Q(f,a)) by De Morgan s for 3. w a f (P(w,f ) Q(f,a)) by De Morgan s for 4. w a f (P(w,f ) Q(f,a)) by De Morgan s for 5. w a f ( P(w,f ) Q(f,a)) by De Morgan s for. Part 3: Can you translate the result back into English? Solution: For every woman there is an airline such that for all flights, this woman has not taken that flight or that flight is not on this airline

### Predicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.

Predicate Logic Example: All men are mortal. Socrates is a man. Socrates is mortal. Note: We need logic laws that work for statements involving quantities like some and all. In English, the predicate is

### Propositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.

irst Order Logic Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? oronto

### Rules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05

Rules of Inference Today s Menu Rules of Inference Quantifiers: Universal and Existential Nesting of Quantifiers Applications Old Example Re-Revisited Our Old Example: Suppose we have: All human beings

### Predicate Logic. For example, consider the following argument:

Predicate Logic The analysis of compound statements covers key aspects of human reasoning but does not capture many important, and common, instances of reasoning that are also logically valid. For example,

### The Foundations: Logic and Proofs. Chapter 1, Part III: Proofs

The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments

### Math 55: Discrete Mathematics

Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 1, due Wedneday, January 25 1.1.10 Let p and q be the propositions The election is decided and The votes have been counted, respectively.

### Predicate Calculus. There are certain arguments that seem to be perfectly logical, yet they cannot be expressed by using propositional calculus.

Predicate Calculus (Alternative names: predicate logic, first order logic, elementary logic, restricted predicate calculus, restricted functional calculus, relational calculus, theory of quantification,

### Chapter 1. Use the following to answer questions 1-5: In the questions below determine whether the proposition is TRUE or FALSE

Use the following to answer questions 1-5: Chapter 1 In the questions below determine whether the proposition is TRUE or FALSE 1. 1 + 1 = 3 if and only if 2 + 2 = 3. 2. If it is raining, then it is raining.

### 2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### The Syntax of Predicate Logic

The Syntax of Predicate Logic LX 502 Semantics I October 11, 2008 1. Below the Sentence-Level In Propositional Logic, atomic propositions correspond to simple sentences in the object language. Since atomic

### CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

### Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

### Invalidity in Predicate Logic

Invalidity in Predicate Logic So far we ve got a method for establishing that a predicate logic argument is valid: do a derivation. But we ve got no method for establishing invalidity. In propositional

### CS 441 Discrete Mathematics for CS Lecture 5. Predicate logic. CS 441 Discrete mathematics for CS. Negation of quantifiers

CS 441 Discrete Mathematics for CS Lecture 5 Predicate logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Negation of quantifiers English statement: Nothing is perfect. Translation: x Perfect(x)

### (LMCS, p. 317) V.1. First Order Logic. This is the most powerful, most expressive logic that we will examine.

(LMCS, p. 317) V.1 First Order Logic This is the most powerful, most expressive logic that we will examine. Our version of first-order logic will use the following symbols: variables connectives (,,,,

### Chapter 7. Functions and onto. 7.1 Functions

Chapter 7 Functions and onto This chapter covers functions, including function composition and what it means for a function to be onto. In the process, we ll see what happens when two dissimilar quantifiers

Factoring the trinomial ax 2 + bx + c when a = 1 A trinomial in the form x 2 + bx + c can be factored to equal (x + m)(x + n) when the product of m x n equals c and the sum of m + n equals b. (Note: the

### INTRODUCTORY SET THEORY

M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,

### CHAPTER 1. Logic, Proofs Propositions

CHAPTER 1 Logic, Proofs 1.1. Propositions A proposition is a declarative sentence that is either true or false (but not both). For instance, the following are propositions: Paris is in France (true), London

### Problems on Discrete Mathematics 1

Problems on Discrete Mathematics 1 Chung-Chih Li 2 Kishan Mehrotra 3 Syracuse University, New York L A TEX at January 11, 2007 (Part I) 1 No part of this book can be reproduced without permission from

### Lecture 16 : Relations and Functions DRAFT

CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence

### 2. The Language of First-order Logic

2. The Language of First-order Logic KR & R Brachman & Levesque 2005 17 Declarative language Before building system before there can be learning, reasoning, planning, explanation... need to be able to

### Predicate Logic Review

Predicate Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Grammar A term is an individual constant or a variable. An individual constant is a lowercase letter from the beginning

### Lecture 8: Resolution theorem-proving

Comp24412 Symbolic AI Lecture 8: Resolution theorem-proving Ian Pratt-Hartmann Room KB2.38: email: ipratt@cs.man.ac.uk 2014 15 In the previous Lecture, we met SATCHMO, a first-order theorem-prover implemented

### Announcements. CompSci 230 Discrete Math for Computer Science Sets. Introduction to Sets. Sets

CompSci 230 Discrete Math for Computer Science Sets September 12, 2013 Prof. Rodger Slides modified from Rosen 1 nnouncements Read for next time Chap. 2.3-2.6 Homework 2 due Tuesday Recitation 3 on Friday

### 10.4 Traditional Subject Predicate Propositions

M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 445 10.4 Traditional Subject Predicate Propositions 445 Continuing to assume the existence of at least one individual, we can say, referring to this square,

### Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

### Semantics for the Predicate Calculus: Part I

Semantics for the Predicate Calculus: Part I (Version 0.3, revised 6:15pm, April 14, 2005. Please report typos to hhalvors@princeton.edu.) The study of formal logic is based on the fact that the validity

### WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

### Propositional Logic. Definition: A proposition or statement is a sentence which is either true or false.

Propositional Logic Definition: A proposition or statement is a sentence which is either true or false. Definition:If a proposition is true, then we say its truth value is true, and if a proposition is

### Math 3000 Section 003 Intro to Abstract Math Homework 2

Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these

### Predicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering

Predicate logic SET07106 Mathematics for Software Engineering School of Computing Edinburgh Napier University Module Leader: Uta Priss 2010 Copyright Edinburgh Napier University Predicate logic Slide 1/24

### def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.

Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true

### Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

### The Language of Mathematics

CHPTER 2 The Language of Mathematics 2.1. Set Theory 2.1.1. Sets. set is a collection of objects, called elements of the set. set can be represented by listing its elements between braces: = {1, 2, 3,

### Subjects, Predicates and The Universal Quantifier

Introduction to Logic Week Sixteen: 14 Jan., 2008 Subjects, Predicates and The Universal Quantifier 000. Office Hours this term: Tuesdays and Wednesdays 1-2, or by appointment; 5B-120. 00. Results from

### Formalization of the CRM: Initial Thoughts

Formalization of the CRM: Initial Thoughts Carlo Meghini Istituto di Scienza e Tecnologie della Informazione Consiglio Nazionale delle Ricerche Pisa CRM SIG Meeting Iraklio, October 1st, 2014 Outline Overture:

### CSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi

Propositional Logic: logical operators Negation ( ) Conjunction ( ) Disjunction ( ). Exclusive or ( ) Conditional statement ( ) Bi-conditional statement ( ): Let p and q be propositions. The biconditional

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

### If an English sentence is ambiguous, it may allow for more than one adequate transcription.

Transcription from English to Predicate Logic General Principles of Transcription In transcribing an English sentence into Predicate Logic, some general principles apply. A transcription guide must be

### Sections 2.1, 2.2 and 2.4

SETS Sections 2.1, 2.2 and 2.4 Chapter Summary Sets The Language of Sets Set Operations Set Identities Introduction Sets are one of the basic building blocks for the types of objects considered in discrete

### ! " # The Logic of Descriptions. Logics for Data and Knowledge Representation. Terminology. Overview. Three Basic Features. Some History on DLs

,!0((,.+#\$),%\$(-&.& *,2(-\$)%&2.'3&%!&, Logics for Data and Knowledge Representation Alessandro Agostini agostini@dit.unitn.it University of Trento Fausto Giunchiglia fausto@dit.unitn.it The Logic of Descriptions!\$%&'()*\$#)

### 1. First-order Ordinary Differential Equations

Advanced Engineering Mathematics 1. First-order ODEs 1 1. First-order Ordinary Differential Equations 1.1 Basic concept and ideas 1.2 Geometrical meaning of direction fields 1.3 Separable differential

### Factoring Polynomials

Factoring a Polynomial Expression Factoring a polynomial is expressing the polynomial as a product of two or more factors. Simply stated, it is somewhat the reverse process of multiplying. To factor polynomials,

### CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.

CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:

### Applications of Methods of Proof

CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are

### Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior

### Math 166 - Week in Review #4. A proposition, or statement, is a declarative sentence that can be classified as either true or false, but not both.

Math 166 Spring 2007 c Heather Ramsey Page 1 Math 166 - Week in Review #4 Sections A.1 and A.2 - Propositions, Connectives, and Truth Tables A proposition, or statement, is a declarative sentence that

### CmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B

CmSc 175 Discrete Mathematics Lesson 10: SETS Sets: finite, infinite, : empty set, U : universal set Describing a set: Enumeration = {a, b, c} Predicates = {x P(x)} Recursive definition, e.g. sequences

### ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS

PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical and Mathematical Sciences 2012 1 p. 43 48 ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS I nf or m at i cs L. A. HAYKAZYAN * Chair of Programming and Information

### 4 Domain Relational Calculus

4 Domain Relational Calculus We now present two relational calculi that we will compare to RA. First, what is the difference between an algebra and a calculus? The usual story is that the algebra RA is

### Understanding Basic Calculus

Understanding Basic Calculus S.K. Chung Dedicated to all the people who have helped me in my life. i Preface This book is a revised and expanded version of the lecture notes for Basic Calculus and other

### CS 580: Software Specifications

CS 580: Software Specifications Lecture 2: Sets and Relations Slides originally Copyright 2001, Matt Dwyer, John Hatcliff, and Rod Howell. The syllabus and all lectures for this course are copyrighted

### 1 Propositional Logic

1 Propositional Logic Propositions 1.1 Definition A declarative sentence is a sentence that declares a fact or facts. Example 1 The earth is spherical. 7 + 1 = 6 + 2 x 2 > 0 for all real numbers x. 1 =

### Polynomials. Key Terms. quadratic equation parabola conjugates trinomial. polynomial coefficient degree monomial binomial GCF

Polynomials 5 5.1 Addition and Subtraction of Polynomials and Polynomial Functions 5.2 Multiplication of Polynomials 5.3 Division of Polynomials Problem Recognition Exercises Operations on Polynomials

### Section 3.7 Rational Functions

Section 3.7 Rational Functions A rational function is a function of the form where P and Q are polynomials. r(x) = P(x) Q(x) Rational Functions and Asymptotes The domain of a rational function consists

### SJÄLVSTÄNDIGA ARBETEN I MATEMATIK

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Automated Theorem Proving av Tom Everitt 2010 - No 8 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET, 106 91 STOCKHOLM

### Expressive powver of logical languages

July 18, 2012 Expressive power distinguishability The expressive power of any language can be measured through its power of distinction or equivalently, by the situations it considers indistinguishable.

### A Brief Review of Elementary Ordinary Differential Equations

1 A Brief Review of Elementary Ordinary Differential Equations At various points in the material we will be covering, we will need to recall and use material normally covered in an elementary course on

### GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the

### 1 Propositions. mcs-ftl 2010/9/8 0:40 page 5 #11. Definition. A proposition is a statement that is either true or false.

mcs-ftl 2010/9/8 0:40 page 5 #11 1 Propositions Definition. A proposition is a statement that is either true or false. For example, both of the following statements are propositions. The first is true

### CS510 Software Engineering

CS510 Software Engineering Propositional Logic Asst. Prof. Mathias Payer Department of Computer Science Purdue University TA: Scott A. Carr Slides inspired by Xiangyu Zhang http://nebelwelt.net/teaching/15-cs510-se

### First-Order Stable Model Semantics and First-Order Loop Formulas

Journal of Artificial Intelligence Research 42 (2011) 125-180 Submitted 03/11; published 10/11 First-Order Stable Model Semantics and First-Order Loop Formulas Joohyung Lee Yunsong Meng School of Computing,

### Mathematical Induction

Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How

### Factoring Trinomials: The ac Method

6.7 Factoring Trinomials: The ac Method 6.7 OBJECTIVES 1. Use the ac test to determine whether a trinomial is factorable over the integers 2. Use the results of the ac test to factor a trinomial 3. For

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

### One More Decidable Class of Finitely Ground Programs

One More Decidable Class of Finitely Ground Programs Yuliya Lierler and Vladimir Lifschitz Department of Computer Sciences, University of Texas at Austin {yuliya,vl}@cs.utexas.edu Abstract. When a logic

### Deduction by Daniel Bonevac. Chapter 5 Quantifiers

Deduction by Daniel Bonevac Chapter 5 Quantifiers Limitations of sentential logic Sentential logic is useful, but there are many logical relationships that it simply can not represent. For example, sentential

### SQL Database queries and their equivalence to predicate calculus

SQL Database queries and their equivalence to predicate calculus Russell Impagliazzo, with assistence from Cameron Helm November 3, 2013 1 Warning This lecture goes somewhat beyond Russell s expertise,

### Sentence Semantics. General Linguistics Jennifer Spenader, February 2006 (Most slides: Petra Hendriks)

Sentence Semantics General Linguistics Jennifer Spenader, February 2006 (Most slides: Petra Hendriks) Data to be analyzed (1) Maria slaapt. (2) Jan slaapt. (3) Maria slaapt en Jan slaapt. (4) Iedereen

### Foundations of mathematics

Foundations of mathematics 1. First foundations of mathematics 1.1. Introduction to the foundations of mathematics Mathematics, theories and foundations Sylvain Poirier http://settheory.net/ Mathematics

### Introduction to Proofs

Chapter 1 Introduction to Proofs 1.1 Preview of Proof This section previews many of the key ideas of proof and cites [in brackets] the sections where they are discussed thoroughly. All of these ideas are

### Ultraproducts and Applications I

Ultraproducts and Applications I Brent Cody Virginia Commonwealth University September 2, 2013 Outline Background of the Hyperreals Filters and Ultrafilters Construction of the Hyperreals The Transfer

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

### The Division Algorithm for Polynomials Handout Monday March 5, 2012

The Division Algorithm for Polynomials Handout Monday March 5, 0 Let F be a field (such as R, Q, C, or F p for some prime p. This will allow us to divide by any nonzero scalar. (For some of the following,

### 1 Mathematical Models of Cost, Revenue and Profit

Section 1.: Mathematical Modeling Math 14 Business Mathematics II Minh Kha Goals: to understand what a mathematical model is, and some of its examples in business. Definition 0.1. Mathematical Modeling

### A Beginner s Guide to Modern Set Theory

A Beginner s Guide to Modern Set Theory Martin Dowd Product of Hyperon Software PO Box 4161 Costa Mesa, CA 92628 www.hyperonsoft.com Copyright c 2010 by Martin Dowd 1. Introduction..... 1 2. Formal logic......

### Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1

Logic Appendix T F F T Section 1 Truth Tables Recall that a statement is a group of words or symbols that can be classified collectively as true or false. The claim 5 7 12 is a true statement, whereas

### EQUATIONS and INEQUALITIES

EQUATIONS and INEQUALITIES Linear Equations and Slope 1. Slope a. Calculate the slope of a line given two points b. Calculate the slope of a line parallel to a given line. c. Calculate the slope of a line

### Vocabulary Words and Definitions for Algebra

Name: Period: Vocabulary Words and s for Algebra Absolute Value Additive Inverse Algebraic Expression Ascending Order Associative Property Axis of Symmetry Base Binomial Coefficient Combine Like Terms

### Computational Logic and Cognitive Science: An Overview

Computational Logic and Cognitive Science: An Overview Session 1: Logical Foundations Technical University of Dresden 25th of August, 2008 University of Osnabrück Who we are Helmar Gust Interests: Analogical

### Quine on truth by convention

Quine on truth by convention March 8, 2005 1 Linguistic explanations of necessity and the a priori.............. 1 2 Relative and absolute truth by definition.................... 2 3 Is logic true by convention?...........................

### Logic in Computer Science: Logic Gates

Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations Computers

### Florida State University Course Notes MAD 2104 Discrete Mathematics I

Florida State University Course Notes MAD 2104 Discrete Mathematics I Florida State University Tallahassee, Florida 32306-4510 Copyright c 2011 Florida State University Written by Dr. John Bryant and Dr.

### Predicate logic is an Extension of sentence logic. Several new vocabulary items are found in predicate logic.

Atomic Sentences of Predicate Logic Predicate Logic and Sentence Logic Predicate logic is an Extension of sentence logic. All items of the vocabulary of sentence logic are items of the vocabulary of predicate

### BASIC COMPOSITION.COM USING LOGIC

BASIC COMPOSITION.COM USING LOGIC As we have noted, Aristotle advocated that persuasion comes from the use of different kinds of support, including natural and artificial forms of support. We have discussed

### 2.1 Increasing, Decreasing, and Piecewise Functions; Applications

2.1 Increasing, Decreasing, and Piecewise Functions; Applications Graph functions, looking for intervals on which the function is increasing, decreasing, or constant, and estimate relative maxima and minima.

### Regular Languages and Finite State Machines

Regular Languages and Finite State Machines Plan for the Day: Mathematical preliminaries - some review One application formal definition of finite automata Examples 1 Sets A set is an unordered collection

### Artificial Intelligence. Knowledge Representation

RC Chakraborty 03/03 to 08/3, 2007, Lecture 15 to 22 (8 hrs) Slides 1 to 79 myreaders, http://myreaders.wordpress.com/, rcchak@gmail.com (Revised Feb. 02, 2008) Artificial Intelligence Knowledge Representation

### Introduction to formal semantics -

Introduction to formal semantics - Introduction to formal semantics 1 / 25 structure Motivation - Philosophy paradox antinomy division in object und Meta language Semiotics syntax semantics Pragmatics

### Geometric Transformations

Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted

### Polynomial Invariants

Polynomial Invariants Dylan Wilson October 9, 2014 (1) Today we will be interested in the following Question 1.1. What are all the possible polynomials in two variables f(x, y) such that f(x, y) = f(y,

### Algebra I Vocabulary Cards

Algebra I Vocabulary Cards Table of Contents Expressions and Operations Natural Numbers Whole Numbers Integers Rational Numbers Irrational Numbers Real Numbers Absolute Value Order of Operations Expression

### MAT-71506 Program Verication: Exercises

MAT-71506 Program Verication: Exercises Antero Kangas Tampere University of Technology Department of Mathematics September 11, 2014 Accomplishment Exercises are obligatory and probably the grades will

### Introduction to Calculus

Introduction to Calculus Contents 1 Introduction to Calculus 3 11 Introduction 3 111 Origin of Calculus 3 112 The Two Branches of Calculus 4 12 Secant and Tangent Lines 5 13 Limits 10 14 The Derivative

### Algebraic expressions are a combination of numbers and variables. Here are examples of some basic algebraic expressions.

Page 1 of 13 Review of Linear Expressions and Equations Skills involving linear equations can be divided into the following groups: Simplifying algebraic expressions. Linear expressions. Solving linear