1. Survey of Mathematical Ideas Math 100 Chapter 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 =
240 =

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 is a university in Millersville PA.
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.
x  x
x = x
x is a university in Millersville PA.
x+3=4
x  {1,2,3,….}
x+23
Examples of indeterminate sentences. Give a value making the sentence true and one making it false.
Examples of statements. What are their truth values?

8. 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.
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.

9. Existential Quantifier
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.
Logical Element
Symbol
Type
statements
p, q, r, s,….
Value true or false
and
Conjunction or
Disjunction
not 
Negation
If… then 
Conditional
For all
Universal Quantifier
There exists
Existential Quantifier

10. Examples of formalized statements.
Symbols
Let p=“Millersville University is in Millersville PA”
q=“2+2=3”
Examples of formalized statements.
Statement
In symbols
Millersville University is in Millersville PA p
Millersville University is not in Millersville PA. p
Millersville University is in Millersville PA and 2+2=3.
pq
Millersville University is in Millersville PA or 2+2=3.
pq
It is not the case that Millersville University is not in Millersville PA.
 p

11. Examples of formalized statements.
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.
Statement
In symbols
All universities are in Millersville PA.
x p(x)
Some universities are in Millersville PA.
x p(x)
No universities are in Millersville PA.
x p(x)
For at least one value of x, x+3=4.
x q(x)
For all values of x, x  {1,2,3,….}.
x r(x)

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 Read Section 3.2 Due February 13
Exercises p. 111
1-20 , 21-25,
Read Sections 3.3, 3.4
Due February 15
Exercises p. 120
1-18, 55-63
Exercises p. 128
1-16,
Read Section 3.5, 3.6
Due February 20
Exercises p. 145
1-23 odd, 27,29,47