Chapter 1 Flashcards
Even
An integer is called even provided it is divisible by two.. by definition of divisible, 2|x means there is an integer a where x = 2a.
Divisible
Let a and b be integers. We say that a is divisible by b provided there is an integer c such that bc = a. We also say b divides a, or b is a factor of a, or b is a divisor of a. The notation for this is b|a.
Odd
An integer a is called odd provided there is an integer x such that a = 2x + 1.
Prime
An integer p is called prime provided that p > 1 and the only positive divisors of
p are 1 and p.
Composite
A positive integer a is called composite provided there is an integer b such that
1 < b < a and b|a.
Vacuous Truth
Statements of the form “If A, then B” in which condition A is impossible are called vacuous, and mathematicians consider such statements true because they have no exceptions.
Proposition 5.2
The sum of two even integers is even.
Proposition 5.3
Let a, b, and c be integers. If a|b and b|c, then a|c.