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?
A graph consists of edges that connect vertices, also known by this "n"ame.
What are nodes?
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)
When working with quantifiers, it's often useful to specify this set, abbreviated U.o.D., of all applied variables.
What is the Universe of Discourse? (Acceptable: Universe)
Set operations can be represented by algebra, membership tables, or this diagram that uses intersecting circles.
What is a Venn Diagram?
According to Euler's Formula, for a planar graph in its planar representation, #vertices - #edges + #faces = this constant.
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?
The two main types of graph searching are DFS and BFS, which are short for these.
What are Depth First Search and Breadth First Search?
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?
This type of graph is made by taking a cycle graph and adding a vertex that connects to all the other vertices.
What is a wheel graph?
Among the defining properties of equivalence relations, is this one which states if a=b and b=c, then a=c.
What is transitive?
What is Resolution?
A proof by contradiction can be used to show that the square root of a non-perfect square is this type of number. Pythagoras would not like that.
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)
This graph type can be defined as having a chromatic number of at most 2.
What is a bipartite graph?
Trichotomy (which asserts either a=b, a<b, or a>b) is the additional requirement for a partial order to be this other kind of "order".
What is total order?