Level 165 Level 167
20 words 0 ignored
Ready to learn Ready to review
Check the boxes below to ignore/unignore words, then click save at the bottom. Ignored words will never appear in any learning session.
A true mathematical statement whose truth is accepted without proof.
A true mathematical statement whose truth can be verified. To be considered a theorem as opposed to a result, the statement should be particularly significant or interesting.
Like a theorem, a result is a mathematical statement whose truth can be verified. Result is used when the statement is not especially significant or interesting.
A mathematical result that can be deduced from, and is thereby a consequence of, some earlier result.
A mathematical result that is useful in establishing the truth of some other result; a "helping result."
For a P → Q statement, when Q is always true regardless of P, the proof is trivial. This is almost never encountered in mathematics.
For a P → Q statement, when P is always false, the statement is necessarily true and the proof is vacuous. This is encountered in mathematics as it is an easy mistake to make.
In a direct proof of P(x) → Q(x) for all x ∈ S, we consider an arbitrary element x ∈ S for which P(x) is true and show that Q(x) is true for this element x.
An integer n is defined to be even if n=2k for some integer k.
An integer n is defined to be odd if n=2k+1 for some integer k.
The contrapositive of the implication P → Q is the implication (~Q) → (~P).
Proof by Contrapositive
A direct proof of an implication's contrapositive. This uses the fact that for every two statements P and Q, the implication P → Q and its contrapositive are logically equivalent.
Proof by Cases
When an element possesses one of two or more properties, it can be useful to divide the proof into parts called cases, i.e.
Cases can be divided further into subcases, i.e.
In mathematics, it is the quality (of a number) of being even or odd. Since parity refers to the possession one of two properties, any result which refers to parity is likely to be solved by cases.
Of the same parity
Two numbers with the same parity are both even or both odd. Any result which refers to parity is likely to be solved by cases.
Of opposite parity
For two numbers, with "opposite parity" indicates one is even and the other is odd. Any result which refers to parity is likely to be solved by cases.
Without Loss of Generality (WLOG)
Used to indicate that the proofs of two situations are similar, so the proof of only one of these is needed.
2 | (x - y)
Two integers x and y are of the same parity if and only if ________.
type of deductive argument in which the conclusion connects on category with another, with one conclusion, two premises, and three terms