Assignment #2
1. Which is logically equivalent to the statement: If I live in Albany, then I live in
New York State.?
a.
If I live in New York State, then I live in Albany.
b.
If I do not live in New York State, then I do not live in Albany.
c.
If I do no
Name
Reuben Thomas
Discrete Math 131
Assignment #1 Logic Homework
Which of the following are statements?
1. Do not sleep in class.
2. 9 is greater than 3.
3. Is this quiz difficult?
4. 4x + 5 = 11.
For each of the following propositions, write a negation.
Name:
Hand Homework 4 Discrete Mathematics for Computing. MATH 190 - 02, 04, 06.
Instructor: Kyung—Taek Lim
Due March 2, 2016
1. (72 pts) Let A = {1,2}, B = {1,2,3}, 0 = {1,234}, P = {(1,1),(2,2),(2,3),(3,2)}, Q = {(1,2),(2,1)},
R = {(1, 1), (2,3), (3,4),
Name:
Hand Homework 1
Discrete Mathematics for Computing. MATH 190 - 02, 04, 06.
Instructor: Kyung-Taek Lim
Due February 3, 2016
1. (20 pts) Textbook Section 1.1 Exercise 18.
a) T
b) T
c) F
d) T
2. (40 pts) Textbook Section 1.1 Exercise 24. (Before doing
Name:
Hand Homework 3
Discrete Mathematics for Computing. MATH 190 - 02, 04, 06.
Instructor: Kyung-Taek Lim
Due February 19, 2016
1. (15 pts) Among CD - , which one is logically equiv-
equivalence.
alent to the given statement?
A: (p)
(1)
B: P /\ q
3x EA
Name:
Hand Homework 2 Discrete Mathematics for Computing. MATH 190 - 02, 04, 06.
Instructor: Kyung—Taek Lim
Due February 8, 2016
1. (45 pts) Do Exercise 24 in Section 1.2 in our textbook by ﬁlling the table below.
SA: C is the knave.
53: A is the knight.
Name:
Hand Homework 5
Discrete Mathematics for Computing. MATH 190 - 02, 04, 06.
Instructor: Kyung-Taek Lim
Due March 14, 2016
1. (21 pts) Fill the blanks in the proof text. Blank (i) should be filled with one English word (a mathematical
term describing
Name:
Hand Homework 2
Discrete Mathematics for Computing. MATH 190 - 02, 04, 06.
Instructor: Kyung-Taek Lim
Due February 8, 2016
1. (45 pts) Do Exercise 24 in Section 1.2 in our textbook by filling the table below.
SA : C is the knave.
SB : A is the knigh