Exam 1 M325K Dr.

Berg
Name__________________________ EID____________ Fall 09

1) Use a truth table to establish that ( p ∧¬q) ∨ p ≡ p .

2) Use a truth table to establish that a conditional statement is not logically equivalent to its
converse. (Point out what makes them not equivalent.)

3) Explain what it means to say that an argument form is valid.

Explain what it means to say that an argument is valid.

1
 Exam 1 M325K Dr. Berg
Name__________________________ EID____________ Fall 09

4) Write the following sentences as quantified statements.

a) “Everybody loves somebody sometime.”

b) “Every even integer greater than 2 can be written as a sum of two prime numbers.”

5) Negate the definition of the limit of a sequence. A sequence {ak }∞k=1 has a limit L when,
for every ε > 0 there is a positive integer N such that, for each integer n, if n ≥ N then
an − L < ε .
€
€ €
€

6) Give an example of each of the following:

a) Modus Ponens

b) Modus Tollens

2
Exam 1 M325K Dr. Berg
Name__________________________ EID____________ Fall 09

7) Give an example of each of these errors in a universal statement.

a) Converse error.

b) Inverse error.

8) Draw diagrams (three) for the premises and conclusion to determine whether this
argument is valid.
All polynomial functions are differentiable.
All differentiable functions are continuous.
Thus, all polynomial functions are continuous.

3
Exam 1 M325K Dr. Berg
Name__________________________ EID____________ Fall 09

9) Show that, for all integers a, b and c, if a divides b and a divides c, then a divides b+c.

Proof:

10)
a) If the current day is Wednesday, what day will it be in 90 days?

b) i) 29div4 = __________ ii) 29mod4 = ____________