Show:
Jargon
Binomial Theorem
Integers
Relations
Cardinality
100
An adequate set of logical connectives?
What is and, or and not?
100
A binomial coefficient.
What is (n/i)?
100
Exactly one is true a > 0 a < 0 a = 0
What is the trichotomy of order?
100
The inverse of f(x) = 2x - 3
What is f(x) =(x+3/2
100
A finite or denumerable set
What is countable?
200
Counter-example
What is an example satisfying all the conditions of the hypothesis but having a different consequence.
200
(101/1)
What is 101)?
200
Every nonempty subset of the positive integers has a least element
What is the Well-ordering Principle?
200
Reflexsive Transitive Antisymmetric
What is a partial order?
200
In a one to one correspondence with the natural numbers
What is denumerable?
300
Sequence
What is a mapping with domain the natural numbers.
300
(3/2)
What is 3?
300
An equivalence class of N X N under the relation (a,b) ~ (c,d) if and only if a + d = c + b.
What is an integer.
300
For all a =/ b either aRb or bRa
What is a complete order>
300
For any set A, lAl < lP(A)l.
What is Cantor's Theorem.
400
F(1) = 1 F(2) = 1 F(n) = F(n-1) + F(n-2) for all n > 2
What is the Fibonacci sequence.
400
Sum i = 0 to n (n/i)(a**i)(b**(n-i))
What is the Binomial Theorem
400
Ie the relation a congruent to b modulo n an equivalence relation?
What is yes?
400
A complete partially ordered relation
What is a total order?
400
For sets A and B, if A is a subset of B and B is a subset of A, then A = B.
What is Cantor -Schroeder-Berstein Theorem.
500
A pictorial display of a fuction
What is a graph?
500
The sum i = 0 to i = n (n/i)
What is 2**n?
500
The sum i = 0 to i = n (n/i)
What is 2**n?
500
Is the relation a divides b an equivalence relation of the set of natural numbers?
What is No? Is is not symmetric.
500
The proof that the set (0,1) is uncountable.
What is Cantor's diagonalization proof.