Professional Documents
Culture Documents
Methods of Proofs
Part 1
MATHEMATICAL FACTS
Before we continue, you must be familiar with a
few basic mathematical facts.
PREDICATE LOGIC
The “Quantifiers” and are known as
predicate quantifiers. means for all and
means there exists.
Example 1: If we have one computer that all
students must share, we say:
one computer students.
Example 2: If each student has a separate
computer, we would say:
students one computer.
Note: The two example may both appear to be
saying that “there exists” only one computer;
however, example 2 is actually saying
mathematically that every student has a
‘unique’ computer.
ODD AND EVEN NUMBERS
Any odd integer can be expressed as n 2 p 1
Any even integer can be expressed as n 2 p
ABSOLUTE VALUE
The absolute value of a number x, denoted | x |,
is x when x is positive or zero and is x when x
is negative.
Note: p q ~ q ~ p
Exercise 5: State the inverse, the converse, and the
2
contrapositive of: If x is odd, then x is
odd.
2
inverse: If x is even, then x is even.
converse: If x 2 is odd, then x is odd.
2
contrapositive: If x is even, then x is even.
Exercise 6: State the inverse, the converse, and the
contrapositive of: He’s 60, if he’s a
day.
inverse: He’s not 60, if he’s not a day.
converse: If he’s a day, he’s 60.
contrapositive: If he’s not a day, he’s not 60