Logic
Jargon
Set Theory
Relations
Modular Arithmethic
100
A statement that is either true or false, but not both.
What is a proposition?
100
A set A, a set B and a rule that assigns to each element of A a unique element of B.
What is a function?
100
U
What is set union?
100
A relation on a set S
What is a subset of S X S?
100
Is 29 congruent to 1 modulo 7?
What is yes?
200
p ----> q
What is implication?
200
A true statement.
What a theorem?
200
The property shown here A U ( B U C ) = ( A U B ) U C
What is the associative property for set union?
200
A relation R on S such that a R a for all a in S a R b implies b R a a R b and b R c implies a R c
What is an equivalence relation?
200
What is the unit's digit of 1234 raised to the 20th power?
What is 6?
300
Reasoning from the general to the specific.
What deductive reasoning?
300
Another name for a function.
What is a mapping?
300
~A U ~B
What is the complement of A intersection B?
300
A relation R on a set S such that a R b and b R a together imply a = b.
What is an antisymmetric relation?
300
Is (8**n) -1 congruent to 1 (modulo 7)?
What is no? It is congruent to 0 (modulo 7).
400
~q ---> ~p
What is the contrapositive?
400
A statement that may or may not be true.
What is a conjectute?
400
{ A, B, C, D, E, F} U { A, C, D)
What is {A, B, C, D, E, F} ?
400
In P(S), the power set of S, let B = ~A. Does ~B = A?
What is yes?
400
What is [(2 +7)**101 - 24] x 2 (modulo 8)?
What is 2?
500
The type of reasoning examplifies by the PMI.
What is inductive reasoning?
500
A small theorem before a theorem.
What is a lemma?
500
The number of elements in the power set of a set with n elements.
What is 2**n?
500
Is a + d = b + c and equivalence relation on N X N, the cartesian product of sets of natural numbers?
What is yes?
500
What is 2**10 (mod 1000)?
What is 24?
M
e
n
u