COMP 230 Midterm Terms

Proof (basic) = sequence of statements connected by inferences

Theorem (basic) = last line of a proof

Lemma = theorem used within another proof

Conditional statement = If A then B

Biconditional statement = A if and only if B

Deductive reasoning = the truth of the conclusion necessarily follows the truth of the premises

Inductive reasoning = the conclusion is made more likely by the premises

Recursive definition = defines a term of a function based on other term/s in the function

Parts of a recursive definition = base clause, induction clause, final clause

Parts of mathematical induction = base case, induction step/s (with induction hypothesis), conclusion

Sets = unordered collection of objects (elements that have certain properties)

Extensional presentation = {the set, written out}

Intensional presentation = {x ∈ A | P(x)}

\ \ \ \