Introduction to Proofs

Save this PDF as:

Size: px
Start display at page:

Transcription

1 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 discussed at much greater length throughout the text. Definition 1. A proof of a theorem is a sequence of statements which demonstrates that the theorem is a logical consequence of prior results [Sections 3.1 and 3.3]. Prior results are results already known to be true prior to the theorem. A proof arranges selected prior results so that the theorem follows logically from them. This first example illustrates how prior results and logic combine to make a proof. Example 1: Suppose we have as prior results these two rules of algebra: Uniqueness of Addition Rule: a = b if and only if a + c = b + c. The Zero Product Rule: ab = 0 if and only if a = 0 or b =0. Theorem: (x a)(x b) = 0 iff x = a or x = b. [iff abbreviates if and only if ] Proof: (x a)(x b) = 0 iff x a = 0 or x b = 0 by the Zero Product Rule. x a = 0 or x b = 0 iff x = a or x = b by Uniqueness of Addition, twice. Therefore, (x a)(x b) = 0 iff x = a or x = b. This is a proof because the component statements are prior results and the desired conclusion follows logically [Section 1.6]. This proof has the logical form A iff B B iff C implies A iff C [a prior result] and [another prior result] [by logic] 2

2 1.1. PREVIEW OF PROOF 3 The first two steps are prior results and the third step follows logically from them because the form [Section 1.3] is the tautology [Section 1.6] known as transitivity of the logical connective iff : [(A iff B) and (B iff C)] (A iff C). Placeholders. The prior results used in Example 1 are stated with placeholders which permit switching letters [Section 2.1]. The letters used in the steps are not the same as the letters used in the cited rule. For example, in the place where Step 1 has (x a)(x b) =0 the rule has ab =0. Nevertheless, the rule applies because ab represents any product, and in the theorem (x a)(x b) is a product. In the rule the letters a and b are placeholders. Definition 2. A variable (usually a letter) is a placeholder (also known as a dummy variable) when it is used to hold the place of any expression of its kind (for example, any number or numerical expression), as opposed to representing a particular number. (Definition 15 of quantifiers is relevant.) Translation. It is common for theorems to be stated using terms that have been recently defined. Then the terms are translated, using their definitions, and the work is done with the translated version [Figure and Sections 1.2 and 4.1]. For example, the next theorem could be in a section on set theory shortly after the terms subset and complement were defined [Sections 1.2, 4.1]. In the proof, sentences with those terms are replaced, that is, translated, using their definitions, by equivalent sentences given in terms that are more primitive. Definition 3. Two sentences with the same variable are equivalent if and only if they are true for the same values of the variable and false for the same values of the variable. That is, they are true or false together. Equivalence can be expressed with the connective if and only if (abbreviated iff) or symbolized by a double arrow,, or just written out is equivalent to. Example 2: 2x = 10 is equivalent to x =5. Both are true when x = 5. Both are false when x 5. ab = 0 is equivalent to a = 0 or b =0. Example 3: Suppose we are studying sets and we have the definitions of subset and complement as prior results: Notation for member: x S is a notation for x is a member of S. Definition of subset: S is a subset of T if and only if (if x S, then x T ). Notation for subset: S T is a notation for S is a subset of T. Definition of complement: x S c if and only if x/ S (and x U, the universal set).

3 PREVIEW OF PROOF Each definition gives a pair of equivalent sentences. By definition of subset, S is a subset of T is equivalent to if x S, then x T, and both are equivalent to S T by definition of the notation. With these prior results we can prove: Theorem: S T if and only if T c S c. Proof: [Step 1] S T iff x S x T by definition of subset [Step 2] iff x/ T x/ S by contrapositive [logic, Theorem 1.4.2] [Step 3] iff x T c x S c by definition of complement, twice [Step 4] iff T c S c by definition of subset. The reader is expected to realize that, by transitivity of the logical connective iff, the first sentence is equivalent to the last, so the proof is complete. This proof used definitions: in Steps 1, 3 and 4 [Section 2.3] notations: (notations such as and / are defined as abbreviations) logic: the contrapositive, in Step 2, and the overall logic [Sections ] letter-switching: in Step 3, where the complement of T is used even though the definition uses S, and in Step 4, where the definition of subset is used with T c in place of S.) [Section 2.1] Prior Results on the List. A proof is a sequence of sentences (steps). To prove any given result, the steps must be results prior to it. Definition 4. We imagine mathematical results to be in sequence on a list, one after another [Section 3.3]. For the proof of any given assertion, prior results consist of 1) axioms (These are rare. We mention one below as Axiom 12.) 2) definitions (Definitions include notations. Definitions are abbreviations), or 3) proven results that are on the list prior to the given assertion. The proof in Example 3 is a proof because the logic is correct [Sections ] and each step is a result prior to the theorem. Logic. Logic concerns truth and falsehood. The truth of a compound sentence depends upon the truth of its component sentences and the arrangement of its logical connectives [Sections ]. Definition 5. There are five basic logical connectives: 1) not (sometimes symbolized by or. We spell out not.) 2) and (sometimes symbolized by ) 3) or (sometimes symbolized by. We spell out or.) 4) if..., then... ( ) 5) if and only if ( )

4 1.1. PREVIEW OF PROOF 5 Definition 6. Sentences with the connective if..., then... are called conditional sentences. Example 4: Here is an assertion: If x>5, then x 2 > 25. The assertion uses the connective if..., then... to make a compound sentence from the two component sentences x >5 and x 2 > 25. It is a conditional sentence. The assertion is true. For all x>5, x 2 > 25. Sentences with the connective if..., then... and a variable are interpreted as generalizations. Definition 7. A generalization is a declarative sentence that asserts, explicitly or implicity, that something is always true [Section 2.1]. Example 4: continued: The sentence If x>5, then x 2 > 25 is a generalization. It is true for all x. The for all wording is suppressed, but understood. It is equivalent to For all x>5, x 2 > 25. It is also equivalent to For all x, if x>5, then x 2 > 25. Example 5: x 2 0. This is true for all x and is interpreted that way even if the phrase for all x is omitted. Example 6: The sentence For all x, 2(x + 1) = 2x + 2, is a generalization. It is true. It is often abbreviated by leaving off the For all x part: 2(x + 1) = 2x + 2. The reader is supposed to recognize that the equation is true for each x. Definition 8. An equation with a variable which is true for all values of the variable is called an identity. Example 6: continued: The equation 2(x + 1) = 2x + 2 is an identity. When we attach for all x to it (explicitly or implicitly) it becomes a generalization. An identity is an equation with a variable such that the equation is always true (that is, for all values of the variable). A generalization is an assertion that something is always true. The assertion could be wrong and the generalization false. Example 7: Resolve the conjecture: x 2 x, for all x. (This might be written, x 2 x, without the for all x part.) This conjecture is a generalization. Definition 9. In this text the word conjecture is a synonym for statement, but without any connotation of truth or falsehood. To resolve a conjecture means to decide if it is true or false, and to prove it if it is true or disprove it if it is false. The conjecture in Example 7 is false because there is a counterexample, x = 1 2 The statement ( 1 2 )2 1 2 is false, so the generalization is false.

5 PREVIEW OF PROOF Definition 10. A counterexample to a generalization is an example that demonstrates that the generalization is false by showing that the component assertion is not always true. Any one counterexample proves that a generalization is false (i.e., disproves the generalization) [Section 2.2]. To prove a generalization false, we prove its negation true. The negation of a generalization is an existence statement [Section 2.2]. This is an axiom. Definition 11. An axiom is a statement that is accepted without proof. Usually axioms are accepted because they are obvious or so primitive that there are no relevant results prior to them. Axiom 12. Let P (x) be an assertion with truth value that may depend upon x. The negation of the generalization, For all x, P (x), is the existence statement, There exists an x such that (not P (x)). Therefore the generalization, For all x, P (x), is false if and only if the existence statement, There exists an x such that (not P (x)), is true. Example 7: continued: For all x, x 2 x, is a false generalization because There exists x such that x 2 <x, is a true existence statement. x = 1 2 is an example that proves this. This example is a counterexample to the conjecture in Example 7. It proves that x 2 x is false. Definition 13. A statement that (explicitly or implicitly) asserts that something exists is an existence statement [Section 2.2]. Theorem A counterexample to a generalization of the form If H, then C, is an example such that the hypothesis, H, is true and the conclusion, C, is false. Example 8: Resolve the conjecture: If x 2 > 25, then x>5. The conjecture is false; there is a counterexample: x = 10. When x = 10, x 2 = 100 and the hypothesis is true. However, 10 is not greater than 5, so the conclusion is false. Actually, there are many different possible counterexamples. x = 6 is another. But it is good style to just pick one counterexample, as simple as possible. One counterexample is enough to prove that a generalization is false. 1 The theorems and definitions that you need to know are numbered in bold print in a single sequence. So, Theorem 14 does not mean it is the fourteenth theorem, rather it is the fourteenth major result of the section. This should make important results easy to locate. When a theorem is cited in a later section, it will be prefixed with the section number, so refers to the fourteenth major result in bold in Section 1.1. Examples are numbered in their own, separate, underlined sequence.

6 1.1. PREVIEW OF PROOF 7 Definition 15. There are two quantifiers, for all and there exists, used to quantify variables in generalizations and existence statements. Frequently the quantifier is not given in exactly those words, rather it is understood, or expressed by a synonym. The phrase for each is a good synonym for for all [Section 2.1]. Quantified variables are placeholders. Example 9: The sentence, The equation x 2 =5x 6 has a solution, is an existence statement. It asserts that there exists a solution. Not all existence statements use the exact phrase there exists. The existence statement is true; x = 2 is an example which proves it. (The left side would be 2 2 = 4 and the right side would be 5(2) 6 = 4, also.) The existence statement could be proved with a different example, x = 3, but one example is enough for an existence proof. Logical Form. Many proofs use logic to reorganize the original statement into an equivalent statement that is more convenient. Often proofs combine translation [Section 2.4] and logical reorganization [Sections 1.4 and 1.5]. Example 10: Suppose you are studying sets and you have, as prior results, the definitions of (subset), (intersection), and = (equals). (Yes, even = has a definition!) [Sections 1.2 and 2.3.] Definition of subset (from Example 2): S T if and only if (if x S, then x T ). Definition of set intersection ( ): x S T if and only if x S and x T. Definition of set equality (=): S = T if and only if (x S if and only if x T ). Theorem If S T = S, then S T. Pictures, such as Venn diagrams, may be very useful and convincing, but they are not the same as formal proofs [Sections 1.2 and 2.3]. Proof: [Step 1] Let x S. [Step 2] Then x S T by the hypothesis that S T = S [Step 3] Then x T by the definition of set intersection. [and the definition of set equality]. The first sentence in this proof is Let x S. Why? The answer involves translation of the term subset and then logical reorganization [Sections 1.2, 1.4, and 1.5]. To organize a proof, first inspect the conclusion. The conclusion of If S T = S, then S T is S T. The conclusion may not look like a conditional sentence, but when translated [Section 2.3] into terms that are more primitive, it is a conditional sentence. By definition the conclusion, S T, is equivalent to If x S, then x T. So the theorem could be restated:

7 PREVIEW OF PROOF Theorem again, translated: If S T = S, then (if x S, then x T ). Many theorems have this form. Definition 16. The form of a compound sentence is a symbolic representation of it in which the logical connectives are exhibited and the places of the component sentences are held by letters [Section 1.3]. (Many logic books use p and q. We use capital letters such as H and C. We use lower-case letters to represent numbers, not sentences.) A sentence with the connective if..., then... in the form If H, then C, is called a conditional sentence [Section 1.3]. The component sentence in the place of H is called the hypothesis and the sentence in the place of C is called the conclusion. The conditional sentence If H, then C, is often abbreviated to H C, which may be read H implies C. To prove a conditional sentence true, the hypothesis may be regarded as true and treated as if it were a prior result in order to deduce the conclusion [Section 3.3]. Example 11: The form of If x S, then x T is B C. In the form, B and C are placeholders. The form could be expressed with different letters, for example, A B. The proof of the theorem has a lot to do with its form. The position of the connectives often dictates how the steps of the proof are arranged. Theorem, translated: If S T = S, then (if x S, then x T ). Its form: H (B C) The theorem is a conditional sentence, and inside the theorem its conclusion is also a conditional sentence. It is common to reorganize theorems of this form using this important logical equivalence [Section 1.4]. Theorem 17 (A Hypothesis in the Conclusion). H (B C) is logically equivalent to (B and H) C. B is the hypothesis in the conclusion. B is purposely written before H in (B and H) C because proofs of such results usually begin with B rather than H. The proof of Example 10 used the reorganization in Theorem 17 is equivalent to If S T = S, then S T If S T = S, then (if x S, then x T ) by translation of subset. It has the form H (B C), so by logic (A Hypothesis in the Conclusion, Theorem 17), it is equivalent to If x S and S T = S, then x T

8 1.1. PREVIEW OF PROOF 9 which has the form B and H C. The set-theory theorem and its proof are repeated next. Note how the proof uses this logical reorganization perfectly. It begins with B [x S]. It ends with C [x T ] and uses H [the original hypothesis] in the middle. Logic tells us where to begin and where to end the proof. Theorem: If S T = S, then S T. Proof: Form [Step 1] Let x S B [Step 2] then x S T by the hypothesis that S T = S [and the definition of set equality] H [Step 3] Then x T by the definition of set intersection. C This example shows that it is important to know the common ways in which theorems are translated and logically reorganized. The logic is studied with truth tables [Section 1.3]. Conclusion. A proof of a theorem is a sequence of statements which demonstrate that the theorem is a logical consequence of prior results. In proofs, logic, prior results, placeholders, translation, form, and logical reorganization play important roles. Each will be discussed thoroughly. Terms: Proof, prior result, placeholder, equivalent, connective, form, conditional sentence, conjecture, generalization, existence statement, quantifier, counterexample. Exercises for Section 1.1, Preview of Proof: A1. True or false? a) In this text, Theorem 5 in bold refers to the fifth theorem in the section. b) Generalizations are necessarily true. c) Identities are necessarily true. d) Existence statements are necessarily true. A2. True or false? a) In this text, Definition 5 in bold refers to the fifth definition in the section. b) The sentence The equation x + 3 = 5 has a solution is an existence statement. c) The equation x 2 =2x uses x as a placeholder. d) The equation 4x + 5x = 9x can be regarded as an abbreviated generalization. A3. True or false? a) Some identities are false. b) Some generalizations are false. c) Some existence statements are false. d) Some theorems are false.

9 PREVIEW OF PROOF A4. True or False? a) Generalizations are necessarily true. b) Existence statements are necessarily true. Equivalence. Are the two sentences equivalent? Yes or no? A5. 2x =8,x= 4 A6. x<4, x 2 < 16 A7. x =3,x 2 = 9 A8. x>2, x 2 > 4 A9. a = b, a + c = b + c A10. a = b, a c = b c A11. a = b, ca = cb A12. S T, S is a subset of T B1. a) Define placeholder. b) Do placeholders permit letter-switching? c) Give an example of letter-switching. [One example requires two sentences, one before switching and one after.] B2. The Zero Product Rule stated in Example 1 could be stated with other letters. Do it. B3. In the definition of subset in Example 3 the variables are placeholders. Restate it using R and S. B4. In the definition of complement in Example 3 the letter S is a placeholder. State the definition using letter T. When a variable in a sentence is a placeholder, it may be replaced by some other letter of the same kind without changing the meaning of the sentence. Which of these use x as a placeholder? B5. For all x, 2x +3x =5x. B6. 2x +3x = 5. B7. x<5 iff 2x <10. B8. If x>3, then x 2 > 9. B9. x 2 = x + 7. B10. x + 5 = 7 iff x = 2. B11. (x + 1) 2 = x 2 +2x + 1. B12. (x + 1) 2 = 16. B13. 2(x + 5) = 30. B14. 2(x + 5) = 2x B15. a) Define generalization. b) Are generalizations always true? c) Define identity. d) What is the difference between a generalization and an identity? B16. Define counterexample. Here are some generalizations. Restate each making the for all (or for each) explicit. B17. If b>5, then b > 5. B18. If x>5, then 5x >25. B19. ab = 0 iff a = 0 or b =0. B20. a = b iff a + c = b + c. Here are some generalizations. Are they true? If they are true, just say so. If not, give a counterexample. B21. If x<5, then x 2 < 25. B22. If x>5, then x 2 > 25. B23. If x 2 > 25, then x>5. B24. If x 2 < 25, then x<5. B25. If b>4, then b > 4. B26. If b<4, then b < 4. B27. If b < 4, then b<4. B28. If b > 4, then b>4. B29. 2x x. B30. x + c > x. B31. If c>0 and x>0, then cx x. B32. x/2 x.

10 1.1. PREVIEW OF PROOF 11 Here are some existence statements. Are they true? B33. There exists x such that x 2 <x. B34. There exists x such that x 2 =(x + 1) 2. B35. There exists x such that x <x. B36. There exists x such that x >x. B37. x 2 = 2 has a real-valued solution. B38. x 2 = 2 has a real-valued solution. B39. x 2 = 2 has a rational-number solution. B40. x 2 = 16 has a rational-number solution. B41. Here is a theorem: x 3 + bx 2 + cx + d = 0 has a solution. a) Is it an existence statement? If so, what exists? b) Is it a generalization? If so, what is the quantifier for all attached to? B42. Identify the form of If x<5, then x 2 < 25. B43. Define proof. Proofs have two major components. What are they? C1. x 2 = 25 is equivalent to x = 5 or x = 5. The sentence is true. a) Does it say that x 2 = 25? b) Is the sentence in quotations marks true if x = 3? c) How can it be true if x = 3? C2. The Zero Product Rule may be stated: ab = 0 iff a = 0 or b = 0. a) The quantifier for all is suppressed. What would be mentioned there if the for all were explicit? b) Is it true if a = 2 and b = 3? c) How can it be true if a = 2 and b = 3? Then ab = 6 and not 0!

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

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

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 7 GENERAL PROOF SYSTEMS

CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes

An Innocent Investigation

An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number

You know from calculus that functions play a fundamental role in mathematics.

CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.

If n is odd, then 3n + 7 is even.

Proof: Proof: We suppose... that 3n + 7 is even. that 3n + 7 is even. Since n is odd, there exists an integer k so that n = 2k + 1. that 3n + 7 is even. Since n is odd, there exists an integer k so that

Mathematics Review for MS Finance Students

Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

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

1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

A Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions

A Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions Marcel B. Finan Arkansas Tech University c All Rights Reserved First Draft February 8, 2006 1 Contents 25

This chapter is all about cardinality of sets. At first this looks like a

CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },

(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 (,,,,

Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014

Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 3.4: 1. If m is any integer, then m(m + 1) = m 2 + m is the product of m and its successor. That it to say, m 2 + m is the

p: I am elected q: I will lower the taxes

Implication Conditional Statement p q (p implies q) (if p then q) is the proposition that is false when p is true and q is false and true otherwise. Equivalent to not p or q Ex. If I am elected then I

A Hajós type result on factoring finite abelian groups by subsets II

Comment.Math.Univ.Carolin. 51,1(2010) 1 8 1 A Hajós type result on factoring finite abelian groups by subsets II Keresztély Corrádi, Sándor Szabó Abstract. It is proved that if a finite abelian group is

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

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

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

The Classes P and NP

The Classes P and NP We now shift gears slightly and restrict our attention to the examination of two families of problems which are very important to computer scientists. These families constitute the

Mathematical goals. Starting points. Materials required. Time needed

Level SS4 of challenge: B SS4 Evaluating statements about length and length areand area Mathematical goals Starting points Materials required Time needed To help learners to: understand concepts of length

LAKE ELSINORE UNIFIED SCHOOL DISTRICT

LAKE ELSINORE UNIFIED SCHOOL DISTRICT Title: PLATO Algebra 1-Semester 2 Grade Level: 10-12 Department: Mathematics Credit: 5 Prerequisite: Letter grade of F and/or N/C in Algebra 1, Semester 2 Course Description:

Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes

Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes Glynn Winskel c Glynn Winskel February 10, 2012 2 Syllabus for Discrete Mathematics II Lecturer: Professor Glynn

Revised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)

Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.

JUST THE MATHS UNIT NUMBER 8.5. VECTORS 5 (Vector equations of straight lines) A.J.Hobson

JUST THE MATHS UNIT NUMBER 8.5 VECTORS 5 (Vector equations of straight lines) by A.J.Hobson 8.5.1 Introduction 8.5. The straight line passing through a given point and parallel to a given vector 8.5.3

! " # 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!\$%&'()*\$#)

Book of Proof. Richard Hammack Virginia Commonwealth University

Book of Proof Richard Hammack Virginia Commonwealth University Richard Hammack (publisher) Department of Mathematics & Applied Mathematics P.O. Box 842014 Virginia Commonwealth University Richmond, Virginia,

A Concrete Introduction. to the Abstract Concepts. of Integers and Algebra using Algebra Tiles

A Concrete Introduction to the Abstract Concepts of Integers and Algebra using Algebra Tiles Table of Contents Introduction... 1 page Integers 1: Introduction to Integers... 3 2: Working with Algebra Tiles...

MATH 90 CHAPTER 1 Name:.

MATH 90 CHAPTER 1 Name:. 1.1 Introduction to Algebra Need To Know What are Algebraic Expressions? Translating Expressions Equations What is Algebra? They say the only thing that stays the same is change.

Rigorous Software Development CSCI-GA 3033-009

Rigorous Software Development CSCI-GA 3033-009 Instructor: Thomas Wies Spring 2013 Lecture 11 Semantics of Programming Languages Denotational Semantics Meaning of a program is defined as the mathematical

Introducing Formal Methods. Software Engineering and Formal Methods

Introducing Formal Methods Formal Methods for Software Specification and Analysis: An Overview 1 Software Engineering and Formal Methods Every Software engineering methodology is based on a recommended

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

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes)

Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common

Section 1.1. Introduction to R n

The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

Extra Credit Assignment Lesson plan. The following assignment is optional and can be completed to receive up to 5 points on a previously taken exam.

Extra Credit Assignment Lesson plan The following assignment is optional and can be completed to receive up to 5 points on a previously taken exam. The extra credit assignment is to create a typed up lesson

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

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

To define function and introduce operations on the set of functions. To investigate which of the field properties hold in the set of functions

Chapter 7 Functions This unit defines and investigates functions as algebraic objects. First, we define functions and discuss various means of representing them. Then we introduce operations on functions

For example, estimate the population of the United States as 3 times 10⁸ and the

CCSS: Mathematics The Number System CCSS: Grade 8 8.NS.A. Know that there are numbers that are not rational, and approximate them by rational numbers. 8.NS.A.1. Understand informally that every number

Notes from February 11

Notes from February 11 Math 130 Course web site: www.courses.fas.harvard.edu/5811 Two lemmas Before proving the theorem which was stated at the end of class on February 8, we begin with two lemmas. The

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

(Refer Slide Time 00:56)

Software Engineering Prof.N. L. Sarda Computer Science & Engineering Indian Institute of Technology, Bombay Lecture-12 Data Modelling- ER diagrams, Mapping to relational model (Part -II) We will continue

High School Algebra Reasoning with Equations and Inequalities Solve equations and inequalities in one variable.

Performance Assessment Task Quadratic (2009) Grade 9 The task challenges a student to demonstrate an understanding of quadratic functions in various forms. A student must make sense of the meaning of relations

Probability Using Dice

Using Dice One Page Overview By Robert B. Brown, The Ohio State University Topics: Levels:, Statistics Grades 5 8 Problem: What are the probabilities of rolling various sums with two dice? How can you

A Propositional Dynamic Logic for CCS Programs

A Propositional Dynamic Logic for CCS Programs Mario R. F. Benevides and L. Menasché Schechter {mario,luis}@cos.ufrj.br Abstract This work presents a Propositional Dynamic Logic in which the programs are

A + dvancer College Readiness Online Alignment to Florida PERT

A + dvancer College Readiness Online Alignment to Florida PERT Area Objective ID Topic Subject Activity Mathematics Math MPRC1 Equations: Solve linear in one variable College Readiness-Arithmetic Solving

Technical writing tutorial

Technical writing tutorial Purpose: To learn how to communicate technical information in writing. Importance: The main modes of communication are written, verbal, and visual. As a scientist or engineer,

9.2 Summation Notation

9. Summation Notation 66 9. Summation Notation In the previous section, we introduced sequences and now we shall present notation and theorems concerning the sum of terms of a sequence. We begin with a

All of mathematics can be described with sets. This becomes more and

CHAPTER 1 Sets All of mathematics can be described with sets. This becomes more and more apparent the deeper into mathematics you go. It will be apparent in most of your upper level courses, and certainly

VISUAL ALGEBRA FOR COLLEGE STUDENTS. Laurie J. Burton Western Oregon University

VISUAL ALGEBRA FOR COLLEGE STUDENTS Laurie J. Burton Western Oregon University VISUAL ALGEBRA FOR COLLEGE STUDENTS TABLE OF CONTENTS Welcome and Introduction 1 Chapter 1: INTEGERS AND INTEGER OPERATIONS

On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems

Dynamics at the Horsetooth Volume 2, 2010. On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems Eric Hanson Department of Mathematics Colorado State University

11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

it is easy to see that α = a

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

Nancy Rubino, PhD Senior Director, Office of Academic Initiatives The College Board

Nancy Rubino, PhD Senior Director, Office of Academic Initiatives The College Board Amy Charleroy Director of Arts, Office of Academic Initiatives The College Board Two approaches to alignment: Identifying

3. INNER PRODUCT SPACES

. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

Probabilities of Poker Hands with Variations

Probabilities of Poker Hands with Variations Jeff Duda Acknowledgements: Brian Alspach and Yiu Poon for providing a means to check my numbers Poker is one of the many games involving the use of a 52-card

2.5 If-Then Statements and

Page 1 of 6 2.5 If-Then Statements and Deductive Reasoning Goal Use if-then statements. Apply laws of logic. An if-then statement has two parts. The if part contains the hypothesis. The then part contains

Some facts about polynomials modulo m (Full proof of the Fingerprinting Theorem)

Some facts about polynomials modulo m (Full proof of the Fingerprinting Theorem) In order to understand the details of the Fingerprinting Theorem on fingerprints of different texts from Chapter 19 of the

Lesson 1. Key Financial Concepts INTRODUCTION

Key Financial Concepts INTRODUCTION Welcome to Financial Management! One of the most important components of every business operation is financial decision making. Business decisions at all levels have

SOLVING POLYNOMIAL EQUATIONS

C SOLVING POLYNOMIAL EQUATIONS We will assume in this appendix that you know how to divide polynomials using long division and synthetic division. If you need to review those techniques, refer to an algebra

CHAPTER 5. Product Measures

54 CHAPTER 5 Product Measures Given two measure spaces, we may construct a natural measure on their Cartesian product; the prototype is the construction of Lebesgue measure on R 2 as the product of Lebesgue

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

Gouvernement du Québec Ministère de l Éducation, 2004 04-00815 ISBN 2-550-43543-5

Gouvernement du Québec Ministère de l Éducation, 004 04-00815 ISBN -550-43543-5 Legal deposit Bibliothèque nationale du Québec, 004 1. INTRODUCTION This Definition of the Domain for Summative Evaluation

BX in ( u, v) basis in two ways. On the one hand, AN = u+

1. Let f(x) = 1 x +1. Find f (6) () (the value of the sixth derivative of the function f(x) at zero). Answer: 7. We expand the given function into a Taylor series at the point x = : f(x) = 1 x + x 4 x

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures

Number Theory Hungarian Style Cameron Byerley s interpretation of Csaba Szabó s lectures August 20, 2005 2 0.1 introduction Number theory is a beautiful subject and even cooler when you learn about it

Connections Across Strands Provides a sampling of connections that can be made across strands, using the theme (integers) as an organizer.

Overview Context Connections Positions integers in a larger context and shows connections to everyday situations, careers, and tasks. Identifies relevant manipulatives, technology, and web-based resources

Problem of the Month Through the Grapevine

The Problems of the Month (POM) are used in a variety of ways to promote problem solving and to foster the first standard of mathematical practice from the Common Core State Standards: Make sense of problems

Library, Teaching and Learning. Writing Essays. and other assignments. 2013 Lincoln University

Library, Teaching and Learning Writing Essays and other assignments 2013 Lincoln University Writing at University During your degree at Lincoln University you will complete essays, reports, and other kinds

OPRE 6201 : 2. Simplex Method

OPRE 6201 : 2. Simplex Method 1 The Graphical Method: An Example Consider the following linear program: Max 4x 1 +3x 2 Subject to: 2x 1 +3x 2 6 (1) 3x 1 +2x 2 3 (2) 2x 2 5 (3) 2x 1 +x 2 4 (4) x 1, x 2

Beyond Propositional Logic Lukasiewicz s System

Beyond Propositional Logic Lukasiewicz s System Consider the following set of truth tables: 1 0 0 1 # # 1 0 # 1 1 0 # 0 0 0 0 # # 0 # 1 0 # 1 1 1 1 0 1 0 # # 1 # # 1 0 # 1 1 0 # 0 1 1 1 # 1 # 1 Brandon

Subsets of Euclidean domains possessing a unique division algorithm

Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

Putnam Notes Polynomials and palindromes

Putnam Notes Polynomials and palindromes Polynomials show up one way or another in just about every area of math. You will hardly ever see any math competition without at least one problem explicitly concerning

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

GREEN CHICKEN EXAM - NOVEMBER 2012

GREEN CHICKEN EXAM - NOVEMBER 2012 GREEN CHICKEN AND STEVEN J. MILLER Question 1: The Green Chicken is planning a surprise party for his grandfather and grandmother. The sum of the ages of the grandmother

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE ENUMERATION DEGREES AND THE ω-enumeration DEGREES MARIYA I. SOSKOVA AND IVAN N. SOSKOV 1. Introduction One of the most basic measures of the complexity of a

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:

All trees contain a large induced subgraph having all degrees 1 (mod k)

All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

Copyrighted Material. Chapter 1 DEGREE OF A CURVE

Chapter 1 DEGREE OF A CURVE Road Map The idea of degree is a fundamental concept, which will take us several chapters to explore in depth. We begin by explaining what an algebraic curve is, and offer two

University of Catania Department of Economics and Business Bachelor Degree in Business Administration Academic year 2015/16 Mathematics for Social Sciences (1st Year, 1st Semester, 9 Credits) Name of Lecturer:

Minnesota K-12 Academic Standards in Language Arts Curriculum and Assessment Alignment Form Rewards Intermediate Grades 4-6

Minnesota K-12 Academic Standards in Language Arts Curriculum and Assessment Alignment Form Rewards Intermediate Grades 4-6 4 I. READING AND LITERATURE A. Word Recognition, Analysis, and Fluency The student

SECTION 0.6: POLYNOMIAL, RATIONAL, AND ALGEBRAIC EXPRESSIONS

(Section 0.6: Polynomial, Rational, and Algebraic Expressions) 0.6.1 SECTION 0.6: POLYNOMIAL, RATIONAL, AND ALGEBRAIC EXPRESSIONS LEARNING OBJECTIVES Be able to identify polynomial, rational, and algebraic

Degrees that are not degrees of categoricity

Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara

CONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation

Chapter 2 CONTROLLABILITY 2 Reachable Set and Controllability Suppose we have a linear system described by the state equation ẋ Ax + Bu (2) x() x Consider the following problem For a given vector x in

WOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology

First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Mid-Session Test Summer Session 008-00

x 2 x 2 cos 1 x x2, lim 1. If x > 0, multiply all three parts by x > 0, we get: x x cos 1 x x, lim lim x cos 1 lim = 5 lim sin 5x

Homework 4 3.4,. Show that x x cos x x holds for x 0. Solution: Since cos x, multiply all three parts by x > 0, we get: x x cos x x, and since x 0 x x 0 ( x ) = 0, then by Sandwich theorem, we get: x 0

How Old Are They? This problem gives you the chance to: form expressions form and solve an equation to solve an age problem. Will is w years old.

How Old Are They? This problem gives you the chance to: form expressions form and solve an equation to solve an age problem Will is w years old. Ben is 3 years older. 1. Write an expression, in terms of

2.1 Complexity Classes

15-859(M): Randomized Algorithms Lecturer: Shuchi Chawla Topic: Complexity classes, Identity checking Date: September 15, 2004 Scribe: Andrew Gilpin 2.1 Complexity Classes In this lecture we will look

Set Theory. 2.1 Presenting Sets CHAPTER2

CHAPTER2 Set Theory 2.1 Presenting Sets Certain notions which we all take for granted are harder to define precisely than one might expect. In Taming the Infinite: The Story of Mathematics, Ian Stewart

CODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES

CODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES PAUL SHAFER Abstract. We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik degrees, and the third-order

Automata Theory. Şubat 2006 Tuğrul Yılmaz Ankara Üniversitesi

Automata Theory Automata theory is the study of abstract computing devices. A. M. Turing studied an abstract machine that had all the capabilities of today s computers. Turing s goal was to describe the

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

Alex, I will take congruent numbers for one million dollars please

Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory

Introduction to the Hewlett-Packard (HP) 10BII Calculator and Review of Mortgage Finance Calculations

Introduction to the Hewlett-Packard (HP) 10BII Calculator and Review of Mortgage Finance Calculations Real Estate Division Sauder School of Business University of British Columbia Introduction to the Hewlett-Packard

PTE Academic Preparation Course Outline August 2011 V2 Pearson Education Ltd 2011. No part of this publication may be reproduced without the prior permission of Pearson Education Ltd. Introduction The