Logic
A proposition is a statement with one of these two values.
What are True and False?
A valid argument is one where the premises imply the conclusion. This type of argument is when the premises are true.
What is a sound argument?
For any given set, A, both itself and this set are guaranteed to be subsets of A.
What is the empty set?
The difference between a permutation and combination is
What is the order?
A function, by definition, requires an input and output relationship where each input must have this many outputs.
What is 1?
This operator only outputs True if both inputs are true.
What is conjunction? (Acceptable: AND)
This type of proof behaves like dropping a nuclear bomb on someone's general claim.
What is a proof by counter example.
Set operations can be represented by algebra, membership tables, or this diagram that uses intersecting circles.
What is a Venn Diagram?
Lining up 4 people to enter a bus is
What is a permutation?
Not to be confused with the opposite of symmetry, this property states if a<=b and b<=a, then a=b.
What is Anti-Symmetry?
It's the only unary logic operator, meaning it takes one input statement rather than two.
What is negation? (Acceptable: NOT)
When proving the implication A-->B, an indirect proof proves this equivalent statement.
What is the contrapositive?
This "product" of A and B is defined as the set of ordered pairs (x,y), where x is in A and y is in B.
What is the Cartesian Product?
Selecting a movie from the available movies in the movie theater
What is a combination (or selection)
It's the type of function also known as "onto".
What is surjective?
The implication A-->B is equivalent to -A __ B, with the blank being this operator.
What is Disjunction? (Acceptable: OR)
A proof by counterexample is used to prove this quantifier false.
What is universal quantifier? (Acceptable: for all)
It's the cardinality of the power set of {a,b,c,d}
What is 16?
There are _______ many ways to select 2 books from a list of 5.
What is 10?
Among the defining properties of equivalence relations, is this one which states if a=b and b=c, then a=c.
What is transitive?
This rule states if "A --> B" and "A", "B".
What is Modus Ponens?
A proof by contradiction can be used to show that the square root of a non-perfect square is this type of number.
What is irrational?
The cardinality of the natural numbers is the smallest infinite cardinal number, which is also known by this name containing a Hebrew letter.
What is Aleph-null? (Acceptable: Aleph-zero)
C(n,1) is always equal to
What is 1?
Trichotomy (which asserts either a=b, a<b, or a>b) is the additional requirement for a partial order to be a total order. The first set of numbers that fails to be totally ordered is
What is Complex Numbers?