Survey of Mathematical Ideas Math 100 Chapter 3, Logic

1. Survey of Mathematical IdeasMath 100Chapter 3, Logic John Rosson Thursday February 8, 2007

2. Introduction to Logic • Statements and Quantifiers • Truth Tables and Equivalent Statements • The Conditional • More on the Conditional • Analyzing Arguments Truth Tables

3. Statements A statement is a declarative sentence that is either true or false but not both. Such a sentence is said to have a truth value of either true or false (but not both). Examples of statements. What are their truth values? Millersville University is in Millersville PA. 2+2=4 2+2=3 {a,b,c}  {a,b} 240 =1099511627776 240 =1099511627775

4. Statements Examples of nonstatements. 2+2 x+2=3 Logic is an interesting subject. Students ought to study. This sentence is false. Your professor always lies.

5. Statements Simple statements can be combined into compound statements using logical connectives such as and, or, not, if…then. Examples of compound statements. What are their truth values? Millersville University is in Millersville PA and 2+2=3. Millersville University is in Millersville PA or 2+2=3. If x=1 then x+2=3. If xx then 2+2=3.

6. Negations The negation of a statement is indicated by words and phrases like not, it is not the case that, it is not true that, does not etc. For mathematical relations negation often indicated by a slash (/) through the relation. Examples of statements. What are their truth values? Millersville University is not in Millersville PA. It is not the case that Millersville University is not in Millersville PA. 2+24 2+23 {a,b,c}  {a,b} /

7. x  x x = x x is a university in Millersville PA. x+3=4 x  {1,2,3,….} x+23 Examples of statements. What are their truth values? Examples of indeterminate sentences. Give a value making the sentence true and one making it false. Quantifiers Sentences that contain variables are usually not statements because the truth value depends on the value assigned the variable. These sentences are indeterminate or predicates.

8. All universities are in Millersville PA. Some universities are in Millersville PA. No universities are in Millersville PA. For at least one value of x, x+3=4. For all values of x, x  {1,2,3,….}. For some values of x, x+23 Examples of quantified sentences. Give the truth values. Quantifiers Quantifiers are logical elements that give truth values to indeterminate sentences. Universal quantifiers are words like all, each, every and none. Existential quantifiers are words and phrases like some, there exists and (for) at least one.

9. Symbols To simplify work with logic and to bring out relations between logical (or deductive) reasoning and algebraic calculation the logical elements we have been talking about are replaced by symbols.

10. Symbols Let p=“Millersville University is in Millersville PA” q=“2+2=3” Examples of formalized statements.

11. Symbols For indeterminate sentences, we indicate the variable in parentheses. Let p(x)=“x is a university in Millersville PA.” q(x)=“x+3=4” r(x)= “x  {1,2,3,….}” Examples of formalized statements.

12. Set Theory Reprise Let us reconsider the definition of the set theory operations using logic symbols.

13. Symbolic Logic It follows from this symbolization process, some simple logical facts and the fact that everything in mathematics is a set that all statements in mathematics (true or false) can be constructed as lists of the following symbols: x, |, , =, , ,  Here is what “It is not true that for some x, xx” would look like: ~x|~=x|x| In other words, mathematics is a subset of the natural numbers, base 7. Therefore, mathematics itself has cardinality 0. How then can mathematics talk about the the set real numbers, which we have seen has cardinality c > 0? Believe it or not someone actually tried to write out all of mathematics using (essentially) the above seven symbols. The result was the Principia Mathematica of Bertrand Russell and Alfred North Whitehead.

14. Assignments 3.2, 3.3, 3.4, 3.6