Math 2534 Homework 2 Sec 2.1-2.3
Problem 1: Use Algebra of Logic to Prove the following:
a)
[( p q) ( p
b) [( p q)
p]
q)] ( p q) p
( p q) p
Problem 2: Put the following into symbolic implication form. Define all your variables.
a)
b)
c)
d)
I will cook to
Math 2534 Homework 4 Spring 2013
Instructions: Prove or give a counterexample. Use your own paper and present a well written
argument for each theorem proved. Justify all assertions made.
Problem 1: Prove or give counterexample and use definitions only.
T
Math 2534 Homework 6 on Sec 5.1 and 5.2
Show all work on your own paper. See Homework requirements found on
The Class Information Page.
5
Problem 1: Verify that
i2
i
(n 1)2n1 2 where n = 5. (just evaluate not a proof)
i 1
Problem 2: Given the recursive
Math 2534 Homework 5 Proof Methods
Instructions: Prove or give a counterexample. Use your own paper and present a well written
argument for each theorem proved. Justify all assertions made. Use the direct method unless
told otherwise. Use complete sentenc
Math 2534 Homework 7 PMI Spring 2013
Prove the following using the method of PMI. Follow the homework requirements on the Class
Information page. Use complete sentences and justify all steps.
Theorem 1: If given the fibonacce sequence f n , then f1 f3 f5
Math 2534 Homework 3 on Quantifiers
Problem 1:
Put the following sentences into symbolic logic using single quantifiers. Define your variables,
the domain and the predicate.
Part A:
a) Discrete Math students love math.
b) Science Fiction is an obsession f