# Tutorial on Axiomatic Set Theory. Javier R. Movellan

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Tutorial on Axiomatic Set Theory Javier R. Movellan

2 Intuitively we think of sets as collections of elements. The crucial part of this intuitive concept is that we are willing to treat sets as entities distinguishable from their elements. Sometimes we identify sets by enumeration of their elements. For example, we may talk about the set whose elements are the numbers 1, 2 and 3. In mathematics such sets are commonly represented by embracing the elements of the set using curly brackets. For example, the set {1, 2, 3} is the set whose elements are the numbers 1, 2 and 3. Sometimes sets are defined using some property that identifies their elements. In such case it is customary to represent the sets using the following formula For example, the set {1, 2, 3} can be represented as {x : x has a particular property} (1) {x : x is a natural number smaller than 4}. (2) The intuitive concept of sets as collections of elements is useful but it can only take us so far. You may complain that we have not really defined what a set is since we have not defined collections and we have not specified what qualifies as an element. We have not specified either what qualifies as a property. Consider for example the proposition {x : x is not an element of x}, i.e., the set of sets which are not elements of themselves. We can prove by contradiction that such a set does not exist. Let s assume that this set exists and lets represent it with the symbol y. If y is an element of y then, since all the elements of y are not an element of themselves it follows that y is not an element of y. Moreover, if y is not an element of y then, y must be an element of y. In other words, if we assume the set y exists we get a contradiction. Therefore we have to conclude that y does not exist. Using similar reasoning one can also show that the set of all sets does not exist either (see proof later in this document). But this raises deep questions: 1. What does it mean to say that a set exists or does not exist? For example Leopold Kronecker, a German mathematician born in 1823, claimed that the only numbers that assuredly exist are the natural numbers (1,2,3...). According to him the set of real numbers are just a fantasy that does not exist. But think about it, what criteria, other than authority, can we use to decide whether the natural numbers or the real numbers exist? 2. How can we tell whether something is or is not a set? 3. What are valid elements of a set? Axiomatic set theory was developed to provide answers to such questions. In axiomatic set theory: 1. A set exists if the proposition that asserts its existence is logically true. Moreover within this theory there are only sets so if a formal object is not a set, it does not exist. 2. If the assumption that an object exists leads to a contradiction we can assert that that object does not exist, or equivalently, that it is not a set. 3. There are no atomic elements: An object exists if and only if it is a set. Of course sets can have elements but those elements must be sets themselves otherwise they would not exist. One annoying aspect of axiomatic set theory is that sets become a logical abstraction detached from our everyday experience with collections of physical objects. You should think of mathematical sets as logical objects which are part of a formal structure. Within this theory to say that an object exists is the same as saying that it is a set. To say that an object does not exist is the same as saying that it is not a set. Everyday collection of

3 physical objects are no longer sets in this theory and thus they do not exist. While this approach may strike you as peculiar, it turns out to be extremely powerful and in fact it has become the foundation of mathematics. The formal structure of set theory while independent from the physical world provides very useful tools to model the world itself. The key is to develop set structures constrained in ways that mirror essential properties of the physical world. For example, the properties of the set of natural numbers (i.e., 1,2,3, ) mirrors our experience counting collections of physical objects. Axiomatic set theory is a first order logical structure. First order logic works with propositions, i.e., logical statements constructed according to the rules of logic and that can take two values. For convenience we call these two values True and False. Set theory, and thus the entire body of mathematics reduces to logical propositions that use the following elements: 1. Variables (e.g., a, b, x, y, z) which stand for sets. 2. The predicate, which stands for element inclusion. For example, if the proposition (x y) takes the value true, we know that both x and y are sets and that x is an element of y. For example, the proposition takes the value True. 3. Logical operators {1, 2, 3} {{1, 2}, {4, 5}, {1, 2, 3}} (3) (a) P, where is the logical negation operator. (b) P P, where is the logical and operator. (c) P P, where is the logical or operator. (d) P P, where is the logical implication operator. (e) P P, where is the logical bijection operator. (f) xp is the logical for-all quantifier. (g) xp is the logical exists quantifier. The names of the different operators (i.e., negation, and, or, implication...) are selected for convenience. We could have given them completely different names, all we really need to know is how they operate on propositions. All propositions in set theory are built out of atomic propositions of the form (x y) connected using the logical operators. If P and Q are propositions, e.g., P could be (x y) and Q could be (y z ) then P, P P, P Q P Q, P Q, xp and xp are also propositions. The effect of the connectives on the truth value of propositions is expressed in Table. P Q P P Q P Q P Q P Q T T F T T T T T F F F T F F F T T F T T F F F T F F T T Table 1: The truth tables of the logical operators. T stands for True and F for False. Thus, if the proposition P takes value True and the proposition Q takes the value False then the proposition (P Q) takes the value False. The propositions xp and xp tell us that x is a variable that can take as value any formal object that qualifies as a set. It also tells us that P is a proposition whose truth value depends on x. For example,

4 P could be (x y) (x z), where y and z are fixed sets and x acts as a variable. The proposition xp takes the value True if P takes the value True for all sets. The proposition xp takes the value True if there is at least one set for which P takes the value True. Remember when we say for all sets we do not mean sets of physical objects. In fact we still have to define what we mean by set. 0.1 Proofs and Logical Truth Sometimes we treat propositions as formulas whose truth value depends on the truth values taken by variables in the proposition. For example if P and Q are propositional variables then the P Q is a propositional formula whose truth value depends on the specific truth values taken by P and Q. We say that a propositional formula is logically true if for all valid combinations of truth values of the elements in the formula, the formula can only take the value True. For example for the formula (P P ) there is only two valid combination of truth values for P and P : True, False and False, True. In both case the formula (P ( P )) takes the value True and thus we say that it is logically true. Similarly if a propositional formula can only take False values we say that it is logically false. For example (P ( P )) is logically false. A proof is a process that shows a propositional formula is logically true. 1 The Axioms of Set Theory To simplify the presentation of axiomatic set theory I will use pseudocode, i.e., a combination of logical propositions, mathematical symbols, and English statements. I do so under the understanding that all these statements can be written as pure logical propositions. I will use the symbol in propositions of the form (x y) as an alternative notation to (x y). I will use the formula {x : P } (4) as an alternative notation to the propositional formula y xp (5) This formula simply says that there is a set of elements that satisfy the proposition P. If the formula takes the value True then the symbols {x : P } refers to a set that make the proposition xp True. When a set x makes the proposition P true, I will say that x satisfies P. For example the set 1 satisfies the propositional formula (x {1, 2}). In set theory all existing objects are sets. If an object exists it is a set otherwise it does not exist. To remind us of the fact that sets include elements we sometimes refer to sets as a collection of sets, or as a families of sets. This is just a human factors trick since the theory makes no distinction between sets, families, collections or elements. In axiomatic set theory elements, collections, and families are just sets. Axiomatic set theory is commonly presented using 9 redundant axioms, which are the foundation of all mathematical statements. 1.1 Axiom of Existence: An axiom is a restriction in the truth value of a proposition. The axiom of existence forces the proposition y x(x y) (6) to take the value True. We call call the sets that satisfy x(x y) empty sets. Thus the axiom of existence tells us that there is at least one empty set, we will see later that in fact there is only one empty set.

5 1.2 Axiom of Equality: This axiom is also called the axiom of extensionality and it defines the predicate =. For mnemonic convenience when the proposition (x = y) takes the value True we say that the sets x and y are equal. In order to define how the symbol = works it is convenient to create a new predicate, which we will symbolize as. The new predicate works as follows: For all sets u and v if the proposition x(x u) (x v) (7) is true then the proposition (u v) is true. For mnemonic convenience if the proposition (u v) takes the value True we say that u is a subset of v. The axiom of equality says that if the proposition (u v) (v u) is true then the proposition (u = v) is true. In other word, the proposition u(u x u y) (x = y) (8) takes the value True. The formula (x y) is used as an alternative notation to (x = y). We will now use the axiom of equality to prove that there is only one empty set. Theorem: The empty set is unique. Proof: Let x and y be empty sets, then u y and u x are always false for all sets u. Thus (u y u x) is true for all sets u and since by the axiom of equality ( u(u x u y)) (x = y) (9) is true then it follows that (x = y) must be true. Hereafter we identify the empty set with the symbols or alternatively with the symbol {}. 1.3 Axiom of Pair: So far set theory has only given us one set: the empty set. The axiom of pair brings new sets to life. The axiom of pair says that if x and y exist (i.e., if they are sets) there also exists a set whose only elements are x and y. We will represent such set as {x, y}. The axiom of pair forces the proposition x y {x, y} (10) to take the value True. The set made out of the sets a and a is symbolized as {a, a} or {a} and is called the singleton whose only element is a. So starting with the empty set, it follows that the set { } exists. Note that and { } are different since the first has no element and the second has one element, which is the empty set. Ordered pairs: follows The ordered pair of the sets x and y is symbolized (x, y) and defined as where stands for equal by definition. (x, y) {{x}, {x, y}} (11) Exercise: c = d. Prove that two ordered pairs (a, b) and (c, d) are equal if and only if a = b and Ordered sequences: Let x 1 x n be sets. The ordered sequence (x 1,, x n ) is recursively defined as follows (x 1,, x n ) = ((x 1,, x n 1 ), x n ) (12)

6 Exercise: Prove that two n-tuples pairs (a 1,, a n ) and (b 1,, b n ) are equal if and only if a 1 = b 1 and a 2 = b 2 and... a n = b n. 1.4 Axiom of Separation: This axiom tells us how to generate new sets out of elements of an existing set. To do so we just choose elements of an existing set that satisfy a proposition. Consider a proposition P whose truth value depends on the sets u and v, for example, P could be (u v). The axiom of separation forces the proposition {x : (x u) P } (13) to take the value True for all sets u, v and for all propositions P with truth values dependent on u and v. Fact: There is no set of all sets. The proof works by contradiction. Assume there is a set of all sets, and call it u. Then by the axiom of separation the following set r must exist and since (x u) is always true, this set equals the set r = {x : (x u) (x x)} (14) {x : x x} (15) Then (r )r (r r) which is a logically false proposition. Thus the set of all sets does not exist (i.e., it is not a set). Intersections: The intersection of all the sets in the set s, or simply the intersection of s is symbolized as s and defined as follows: s = {x : y( (y s) (x y) )} (16) For example, if s = {{1, 2, 3}, {2, 3, 4}} then s = {2, 3}. The axiom of separation tells us that if s exists then s also exists. We can then use the axiom of equality to prove that s is in fact unique. For any two sets x and y, we represent their intersection as x y and define it as follows x y {x, y} (17) For example, if x = {1, 2, 3} and y = {2, 3, 4} then 1.5 Axiom of Union: x y = {{1, 2, 3}, {2, 3, 4}} = {2, 3} (18) It tells us that for any set x we can make a new set whose elements belong to at least one of the elements of x. We call this new set the union of x and we represent it as x. For example, if x = {{1, 2}, {2, 3, 4}} then x = {1, 2, 3, 4}. More formally, the axiom of union forces the proposition to be true. Here s is defined as follows s s (19) s {x : y(y s) (x y)} (20) For example, if x = {{1, 2, 3}, {2, 3, 4}} then x = {1, 2, 3, 4}. Using the axiom of equality x can be shown to be unique. For any two sets x and y, we define the union of the two sets as follows For example, {1, 2, 3} {2, 3, 4} = {1, 2, 3, 4} (21) x y {x, y} (22)

7 1.6 Axiom of Power: This axiom tells us that for any set x the set of all subsets of x exists. We call this set the power set of x and represent it as P(x). More formally, the axiom of power forces the proposition s {x : x u} (23) to take the value True. For example, if s = {1, 2} then Cartesian Products: defined as follows P(s) = {{1}, {2},, {1, 2}}. (24) The Cartesian product of two sets u and v, is symbolized a b and a b = {(x, y) : (x a) (y b)} (25) Using the axioms of separation, union and power, we can show that x y exists because it is a subset of P(P(x y)). Using the axiom of identity we can show that it is unique. Functions: A function f with domain u and target v is a subset of u v with the following property: If (a, c) and (b, c) are elements of f then a = b. More formally, if the proposition a b c(((a, c) f) ((b, c) f) (a = b)) (26) takes the value True then we say that the set f is a function. The following formulae are alternative notations for the same proposition: 1.7 Axiom of Infinity: This axiom forces the proposition (x, y) f (27) y = f(x) (28) x f(x) (29) x y (30) s x(x s) ({x, {x}} s) (31) to take the value True. In English this axiom tells us that there is a set s such that if x is an element of s then the pair {x, {x}} is also an element of s. Sets that satisfy the proposition x(x s) ({x, {x}} s) (32) are called inductive (or infinite) sets. Natural numbers: The natural numbers plus the number zero are defined as the intersection of all the inductive sets and are constructed as follows: 0 {} (33) 1 {0, {0}} = {{}, {{}}} (34) 2 {1, {1}} = {{{}, {{}}}, {{{}, {{}}}}} (35) The axiom of existence in combination with the axiom of infinity guarantee that these sets exist. Note that the symbols 1, 2, are just a mnemonic convenience. The bottom line is that numbers, and in facts all sets, are just a bunch of empty curly brackets!

8 1.8 Axiom of Image: Let f : u v be a function (i.e, a subset of u b). Define the image of u under f as the set of elements for which there is an element of u which projects into that element. We represent that set as I f (u). More formally I f (u) = {y : x(x u) (f(x) = y)} (36) The axiom of image, also called the axiom of replacement, tells us that for all sets u and for all functions f with domain u the set I f (u) exists. 1.9 Axiom of Foundation: This axiom prevents the existence of sets who are elements of themselves Axiom of Choice: This axiom tells us that every set with no empty elements has a choice function. A choice function for a set s is a function with domain s and such that for each x s the function takes a value f(x) x which is an element of x. In other words, the function f picks one element from each of the sets in s, thus the name choice function. For example, For the set s = {{1, 2, 3}, {2, 5}, {2, 3}} the function f : s {1, 2, 3} such that f({1, 2, 3}) = 3 (37) f({2, 5}) = 2 (38) f({2, 3}) = 2 (39) is a choice function since for each set in s the function f picks an element of that set. The axiom of choice is independent of the other axioms, i.e., it cannot be proven right or wrong based on the other axioms. The axiomatic system presented here is commonly symbolized as ZFC (Zermelo-Fraenkel plus axiom of Choice), the axiomatic system without the axiom of choice is commonly symbolized as ZF. 2 History The first version of this document was written by Javier R. Movellan in The document was 8 pages long. The document was made open source under the GNU Free Documentation License Version 1.1 on August , as part of the Kolmogorov project. October 9, Javier R. Movellan changed the license to GFDL 1.2 and included an endorsement section.

### This section will take the very naive point of view that a set is a collection of objects, the collection being regarded as a single object.

1.10. BASICS CONCEPTS OF SET THEORY 193 1.10 Basics Concepts of Set Theory Having learned some fundamental notions of logic, it is now a good place before proceeding to more interesting things, such as

### CS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:

x NOT ~x x y AND x /\ y x y OR x \/ y Figure 1: Types of gates in a digital circuit. CS2742 midterm test 2 study sheet Boolean circuits: Boolean circuits is a generalization of Boolean formulas in which

### Propositional 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

### Analysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich

Analysis 1 Lecture Notes 2013/2014 The original version of these Notes was written by Vitali Liskevich followed by minor adjustments by many Successors, and presently taught by Misha Rudnev University

### 2 Truth Tables, Equivalences and the Contrapositive

2 Truth Tables, Equivalences and the Contrapositive 12 2 Truth Tables, Equivalences and the Contrapositive 2.1 Truth Tables In a mathematical system, true and false statements are the statements of the

### CMPSCI 601: Tarski s Truth Definition Lecture 15. where

@ CMPSCI 601: Tarski s Truth Definition Lecture 15! "\$#&%(') *+,-!".#/%0'!12 43 5 6 7 8:9 4; 9 9 < = 9 = or 5 6?>A@B!9 2 D for all C @B 9 CFE where ) CGE @B-HI LJKK MKK )HG if H ; C if H @ 1 > > > Fitch

### Logic and Proofs 1. 1 Overview. 2 Sentential Connectives. John Nachbar Washington University December 26, 2014

John Nachbar Washington University December 26, 2014 Logic and Proofs 1 1 Overview. These notes provide an informal introduction to some basic concepts in logic. For a careful exposition, see, for example,

### PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION The Peano axioms The following are the axioms for the natural numbers N. You might think of N as the set of integers {0, 1, 2,...}, but it turns

### 1. Propositions: Contrapositives and Converses

Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement

### Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 1 / 42 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 2.1, 2.2 of Rosen Introduction I Introduction

### ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

### S ) is wf as well. (Exercise) The main example for a wf Relation is the membership Relation = {( x, y) : x y}

(October 14/2010) 1 Well-foundedness Let R be a Relation on the class X ( R X X ) We say that the structure ( X, R ) is well-founded (wf) if the following holds true: Y X { x X [ y( yrx y Y) x Y]} Y =

### 3 The language of proof

3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;

### Logic and Sets. Chapter 1

Chapter 1 Logic and Sets 1.1. Logical connectives 1.1.1. Unambiguous statements. Logic is concerned first of all with the logical structure of statements, and with the construction of complex statements

### WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

### Peano Arithmetic. CSC 438F/2404F Notes (S. Cook) Fall, Goals Now

CSC 438F/2404F Notes (S. Cook) Fall, 2008 Peano Arithmetic Goals Now 1) We will introduce a standard set of axioms for the language L A. The theory generated by these axioms is denoted PA and called Peano

### We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

### Theory of Computation

Theory of Computation Dr. Sarmad Abbasi Dr. Sarmad Abbasi () Theory of Computation / Lecture 3: Overview Decidability of Logical Theories Presburger arithmetic Decidability of Presburger Arithmetic Dr.

### Proposi'onal Logic Not Enough

Section 1.4 Proposi'onal Logic Not Enough If we have: All men are mortal. Socrates is a man. Socrates is mortal Compare to: If it is snowing, then I will study discrete math. It is snowing. I will study

### NOTES (1) FOR MATH 375, FALL 2012

NOTES 1) FOR MATH 375, FALL 2012 1 Vector Spaces 11 Axioms Linear algebra grows out of the problem of solving simultaneous systems of linear equations such as 3x + 2y = 5, 111) x 3y = 9, or 2x + 3y z =

### Sec\$on Summary. Definition of sets Describing Sets

Section 2.1 Sec\$on Summary Definition of sets Describing Sets Roster Method Set-Builder Notation Some Important Sets in Mathematics Empty Set and Universal Set Subsets and Set Equality Cardinality of Sets

### LECTURE 1. Logic and Proofs

LECTURE 1 Logic and Proofs The primary purpose of this course is to introduce you, most of whom are mathematics majors, to the most fundamental skills of a mathematician; the ability to read, write, and

### A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

### The Logic of Proofs, Semantically

The Logic of Proofs, Semantically Melvin Fitting Dept. Mathematics and Computer Science Lehman College (CUNY), 250 Bedford Park Boulevard West Bronx, NY 10468-1589 e-mail: fitting@lehman.cuny.edu web page:

### This chapter contains a very bare summary of some basic facts from topology.

Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the

### Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

MATH 2730 Contradiction Benjamin V.C. Collins James A. Swenson Contrapositive The contrapositive of the statement If A, then B is the statement If not B, then not A. A statement and its contrapositive

### Basics on Sets and Functions

HISTORY OF MATHEMATICS Spring 2005 Basics on Sets and Functions Introduction to the work of Georg Cantor #10 in the series. Some dictionaries define a set as a collection or aggregate of objects. However,

### Introduction to Mathematical Analysis I. Second Edition. Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam

Introduction to Mathematical Analysis I Second Edition Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam Introduction to Mathematical Analysis I Second Edition Beatriz Lafferriere Gerardo Lafferriere

### The Arithmetical Hierarchy

Chapter 11 The Arithmetical Hierarchy Think of K as posing the problem of induction for computational devices, for it is impossible to tell for sure whether a given computation will never halt. Thus, K

### Argument. whenever all the assumptions are true, then the conclusion is true. If today is Wednesday, then yesterday is Tuesday. Today is Wednesday.

Logic and Proof Argument An argument is a sequence of statements. All statements but the first one are called assumptions or hypothesis. The final statement is called the conclusion. An argument is valid

### 2. Two binary operations (addition, denoted + and multiplication, denoted

Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between

### Cardinality and ordinal numbers

Cardinality and ordinal numbers The cardinality A of a finite set A is simply the number of elements in it. When it comes to infinite sets, we no longer can speak of the number of elements in such a set.

### Discrete Mathematics. Thomas Goller. January 2013

Discrete Mathematics Thomas Goller January 2013 Contents 1 Mathematics 1 1.1 Axioms..................................... 1 1.2 Definitions................................... 2 1.3 Theorems...................................

### 12. INFINITE ABELIAN GROUPS

12. INFINITE ABELIAN GROUPS 12.1. Examples of Infinite Abelian Groups Many of the groups which arise in various parts of mathematics are abelian. That is, they satisfy the commutative law: xy = yx. If

### Incomplete version for students of easllc2012 only. 6.6 The Model Existence Game 99

98 First-Order Logic 6.6 The Model Existence Game In this section we learn a new game associated with trying to construct a model for a sentence or a set of sentences. This is of fundamental importance

### CS 173: Discrete Structures. Eric Shaffer Office Hour: Wed. 1-2, 2215 SC

CS 173: Discrete Structures Eric Shaffer Office Hour: Wed. 1-2, 2215 SC shaffer1@illinois.edu Agenda Sets (sections 2.1, 2.2) 2 Set Theory Sets you should know: Notation you should know: 3 Set Theory -

### ALGEBRA. Lecture notes for MA 630/631. Rudi Weikard

ALGEBRA Lecture notes for MA 630/631 Rudi Weikard updated version of December 2010 Contents Chapter 1. The Language of Mathematics 1 1.1. Propositional Calculus and Laws of Inference 1 1.2. Predicate

### 1 Completeness Theorem for Classical Predicate

1 Completeness Theorem for Classical Predicate Logic The relationship between the first order models defined in terms of structures M = [M, I] and valuations s : V AR M and propositional models defined

### Institute for Applied Information Processing and Communications (IAIK) Secure & Correct Systems. Decidability

Decidability and the Undecidability of Predicate Logic IAIK Graz University of Technology georg.hofferek@iaik.tugraz.at 1 Fork of ways Brainteaser: Labyrinth Guards One to salvation One to perdition Two

### (D) Introduction to order types and ordinals

(D) Introduction to order types and ordinals Linear orders are one of the mathematical tools that are used all over the place. Well-ordered sets are a special kind of linear order. At first sight well-orders

### Glossary of Logical Terms

Math 304 Spring 2007 Glossary of Logical Terms The following glossary briefly describes some of the major technical logical terms used in this course. The glossary should be read through at the beginning

### 2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?

Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truth-preserving system of inference Truth-preserving: If the initial statements are true, the inferred statements will be true

### SECOND ORDER LOGIC OR SET THEORY?

SECOND ORDER LOGIC OR SET THEORY? JOUKO VÄÄNÄNEN Abstract. We try to answer the question which is the right foundation of mathematics, second order logic or set theory. Since the former is usually thought

### Filters in Analysis and Topology

Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into

### First 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

### Peano Axioms. 1. IfS x S y then x y (we say that S is one to one).

Peano Axioms To present a rigorous introduction to the natural numbers would take us too far afield. We will however, give a short introduction to one axiomatic approach that yields a system that is quite

### Discrete Mathematical Structures: Theory and Applications

Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

### Incomplete version for students of easllc2012 only. 94 First-Order Logic. Incomplete version for students of easllc2012 only. 6.5 The Semantic Game 93

65 The Semantic Game 93 In particular, for every countable X M there is a countable submodel N of M such that X N and N = T Proof Let T = {' 0, ' 1,} By Proposition 622 player II has a winning strategy

### CHAPTER 11. Introduction to Intuitionistic Logic

CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated

### Proofs. Chapter 2 P P Q Q

Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

### Modal and temporal logic

Modal and temporal logic N. Bezhanishvili I. Hodkinson C. Kupke Imperial College London 1 / 83 Overview Part II 1 Soundness and completeness. Canonical models. 3 lectures. 2 Finite model property. Filtrations.

### KOLMOGOROV COMPLEXITY AND ALGORITHMIC RANDOMNESS

KOLMOGOROV COMPLEXITY AND ALGORITHMIC RANDOMNESS HENRY STEINITZ Abstract. This paper aims to provide a minimal introduction to algorithmic randomness. In particular, we cover the equivalent 1-randomness

### Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................

### Section 1: Sets and Interval Notation

PART 1 From Sets to Functions Section 1: Sets and Interval Notation Introduction Set concepts offer the means for understanding many different aspects of mathematics and its applications to other branches

### ON EXISTENCE IN SET THEORY

ON EXISTENCE IN SET THEORY RODRIGO A. FREIRE Abstract. The aim of the present paper is to provide a robust classification of valid sentences in set theory by means of existence and related notions and,

### CITS2211 Discrete Structures Proofs

CITS2211 Discrete Structures Proofs Unit coordinator: Rachel Cardell-Oliver August 13, 2017 Highlights 1 Arguments vs Proofs. 2 Proof strategies 3 Famous proofs Reading Chapter 1: What is a proof? Mathematics

### Cosets and Lagrange s theorem

Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem some of which may already have been lecturer. There are some questions for you included in the text. You should write the

### Math 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set.

Math 1312 Lesson 1: Sets, Statements, and Reasoning A set is any collection of objects. hese objects are called the elements of the set. A is a subset of B, if A is "contained" inside B, that is, all elements

### 1 Tautologies, contradictions and contingencies

DEDUCTION (I) TAUTOLOGIES, CONTRADICTIONS AND CONTINGENCIES & LOGICAL EQUIVALENCE AND LOGICAL CONSEQUENCE October 6, 2003 1 Tautologies, contradictions and contingencies Consider the truth table of the

### Measure and integration

Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.

### Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3

EECS 70 Discrete Mathematics and Probability Theory Spring 014 Anant Sahai Note 3 Induction Induction is an extremely powerful tool in mathematics. It is a way of proving propositions that hold for all

### 1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

### 3 Propositional Logic

3 Propositional Logic 3.1 Syntax 3.2 Semantics 3.3 Equivalence and Normal Forms 3.4 Proof Procedures 3.5 Properties Propositional Logic (25th October 2007) 1 3.1 Syntax Definition 3.0 An alphabet Σ consists

### Introduction to Proofs

Introduction to Proofs Many times in economics we will need to prove theorems to show that our theories can be supported by speci c assumptions. While economics is an observational science, we use mathematics

### The Countable Henkin Principle

The Countable Henkin Principle Robert Goldblatt Abstract. This is a revised and extended version of an article which encapsulates a key aspect of the Henkin method in a general result about the existence

### CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics

### Cambridge University Press Dependence Logic. A New Approach to Independence Friendly Logic

Jouko Väänänen Dependence Logic A New Approach to Independence Friendly Logic Chapter 1 Dependence Logic Dependence logic introduces the concept of dependence into first order logic by adding a new kind

### FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

### Math Real Analysis

1 / 28 Math 370 - Real Analysis G.Pugh Sep 3 2013 Real Analysis 2 / 28 3 / 28 What is Real Analysis? Wikipedia: Real analysis... has its beginnings in the rigorous formulation of calculus. It is a branch

### Review of Linear Algebra

Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

### ADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE

ADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE ANDREAS LEOPOLD KNUTSEN Abstract. These notes are written as supplementary notes for the course MAT11- Real Analysis, taught at the University

### First-Order Theorem Proving and Vampire

First-Order Theorem Proving and Vampire Laura Kovács 1,2 and Martin Suda 2 1 TU Wien 2 Chalmers Outline Introduction First-Order Logic and TPTP Inference Systems Saturation Algorithms Redundancy Elimination

### The Integers. Math 3040: Spring Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers Multiplying integers 12

Math 3040: Spring 2011 The Integers Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers 11 4. Multiplying integers 12 Before we begin the mathematics of this section, it is worth

### Gödel's famous incompleteness theorems from the 1930's demonstrate the possibility of unprovable theorems in discrete and finite mathematics.

1 UNPROVABLE THEOREMS IN DISCRETE MATHEMATICS Harvey M. Friedman Department of Mathematics Ohio State University friedman@math.ohio-state.edu www.math.ohio-state.edu/~friedman/ April 26, 1999 An unprovable

### Fundamentals of Software Engineering

Fundamentals of Software Engineering First-Order Logic Ina Schaefer Institute for Software Systems Engineering TU Braunschweig, Germany Slides by Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle (Chalmers

### MA103 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

### Tangent spaces, normals and extrema

Chapter 3 Tangent spaces, normals and extrema If S is a surface in 3-space, with a point a S where S looks smooth, i.e., without any fold or cusp or self-crossing, we can intuitively define the tangent

### ANS: If you are in Kwangju then you are in South Korea but not in Seoul.

Math 15 - Spring 2017 - Homework 1.1 and 1.2 Solutions 1. (1.1#1) Let the following statements be given. p = There is water in the cylinders. q = The head gasket is blown. r = The car will start. (a) Translate

### Theory of Computation

Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 1: Introducing Formal Languages Motivation I This course is about the study of a fascinating

### Markov properties for undirected graphs

Graphical Models, Lecture 2, Michaelmas Term 2011 October 12, 2011 Formal definition Fundamental properties Random variables X and Y are conditionally independent given the random variable Z if L(X Y,

### The random graph. Peter J. Cameron University of St Andrews Encontro Nacional da SPM Caparica, 14 da julho 2014

The random graph Peter J. Cameron University of St Andrews Encontro Nacional da SPM Caparica, 14 da julho 2014 The random graph The countable random graph is one of the most extraordinary objects in mathematics.

### PROOF WITHOUT WORDS MATH CIRCLE (BEGINNERS) 05/06/2012

PROOF WITHOUT WORDS MATH CIRCLE (BEGINNERS) 05/06/2012 If you ve been with us for a little while, you ve already seen some examples of proofs without words. Remember a proof is just an airtight argument

### Predicate 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

### Gödel s Incompleteness Theorem for Computer Users

Gödel s Incompleteness Theorem for Computer Users Stephen A. Fenner November 16, 2007 Abstract We sketch a short proof of Gödel s Incompleteness theorem, based on a few reasonably intuitive facts about

### An Introduction to Gödel s Theorems

An Introduction to Gödel s Theorems In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical

### LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship.

LOGIC In mathematical and everyday English language, we frequently use logic to express our thoughts verbally and in writing. We also use logic in numerous other areas such as computer coding, probability,

### LATTICE BASIS AND ENTROPY

LATTICE BASIS AND ENTROPY Vinod Kumar.P.B 1 and K.Babu Joseph 2 Dept. of Mathematics Rajagiri School of Engineering & Technology Rajagiri Valley.P.O, Cochin 682039 Kerala, India. ABSTRACT: We introduce

### Integer-Valued Polynomials

Integer-Valued Polynomials LA Math Circle High School II Dillon Zhi October 11, 2015 1 Introduction Some polynomials take integer values p(x) for all integers x. The obvious examples are the ones where

### RAMSEY THEORY: VAN DER WAERDEN S THEOREM AND THE HALES-JEWETT THEOREM

RAMSEY THEORY: VAN DER WAERDEN S THEOREM AND THE HALES-JEWETT THEOREM MICHELLE LEE ABSTRACT. We look at the proofs of two fundamental theorems in Ramsey theory, Van der Waerden s Theorem and the Hales-Jewett

### Written Homework # 1 Solution

Math 516 Fall 2006 Radford Written Homework # 1 Solution 10/11/06 Remark: Most of the proofs on this problem set are just a few steps from definitions and were intended to be a good warm up for the course.

### Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns

The Semantics of Adjectival Modification 1 (1) Our Current Assumptions Regarding Adjectives and Common Ns a. Both adjectives and common nouns denote functions of type (i) [[ male ]] = [ λx : x D

### Chapter 4: Computation tree logic

INFOF412 Formal verification of computer systems Chapter 4: Computation tree logic Mickael Randour Formal Methods and Verification group Computer Science Department, ULB March 2017 1 CTL: a specification

### First-Order Theorem Proving and Vampire. Laura Kovács (Chalmers University of Technology) Andrei Voronkov (The University of Manchester)

First-Order Theorem Proving and Vampire Laura Kovács (Chalmers University of Technology) Andrei Voronkov (The University of Manchester) Outline Introduction First-Order Logic and TPTP Inference Systems

### General Technical Remarks on PDE s and Boundary Conditions Kurt Bryan MA 436

General Technical Remarks on PDE s and Boundary Conditions Kurt Bryan MA 436 1 Introduction You may have noticed that when we analyzed the heat equation on a bar of length 1 and I talked about the equation

### Section 1.2 Propositional Equivalences. A tautology is a proposition which is always true. A contradiction is a proposition which is always false.

Section 1.2 Propositional Equivalences A tautology is a proposition which is always true. Classic Example: P P A contradiction is a proposition which is always false. Classic Example: P P A contingency

### 2) There should be uncertainty as to which outcome will occur before the procedure takes place.

robability Numbers For many statisticians the concept of the probability that an event occurs is ultimately rooted in the interpretation of an event as an outcome of an experiment, others would interpret

### Chapter 3. Formal Number Theory

Chapter 3. Formal Number Theory 1. An Axiom System for Peano Arithmetic (S) The language L A of Peano arithmetic has a constant 0, a unary function symbol, a binary function symbol +, binary function symbol,