CS 281 Solutions to Test I

June 3, 1997

1. (a) tex2html_wrap_inline31 or tex2html_wrap_inline33
(b) tex2html_wrap_inline35
(c) tex2html_wrap_inline37 or tex2html_wrap_inline39
(d) tex2html_wrap_inline41
(e) tex2html_wrap_inline43

2. (a) tex2html_wrap_inline45
(b) tex2html_wrap_inline47
(c) tex2html_wrap_inline49
(d) tex2html_wrap_inline51
(e) tex2html_wrap_inline53 .

3 (a) Converse: If I can't complete the task, then I don't get more help.
Contrapositive: If I can complete the task, then I get more help.
(b) Converse: If you go, then I will stay.
Contrapositive: If you don't go, then I will not stay.
(c) Converse: If you get an A in Math 101, then you get(got) 95 in the final.
Contrapositive: If you don't get an A in Math 101, then you don't(didn't) get 95 in the final.
(d) Converse: If you get an A in the final, then you get an A in Math 101.
Contrapositive: If you don't get an A in the final, then you don't get an A in Math 101.

4. Let W: Today is Wednesday.
C: I have a quiz in Computer Science.
M: I have a quiz in Math 101.
S: My Math professor is sick.

(a) W tex2html_wrap_inline55 C tex2html_wrap_inline57 M
S tex2html_wrap_inline55 tex2html_wrap_inline61 M
W tex2html_wrap_inline63 S
----------------
C

(b) Step (1):
W tex2html_wrap_inline63 S tex2html_wrap_inline55 W (Simplification)
W tex2html_wrap_inline63 S
----------------
W

Step (2):
W tex2html_wrap_inline55 C tex2html_wrap_inline57 M (Premise)
W
----------------
C tex2html_wrap_inline57 M

Step (3):
W tex2html_wrap_inline63 S tex2html_wrap_inline55 S (Simplification)
W tex2html_wrap_inline63 S
----------------
S

Step (4):
S tex2html_wrap_inline55 tex2html_wrap_inline61 M (Premise)
S
----------------
tex2html_wrap_inline61 M

Step (5):
C tex2html_wrap_inline57 M (From Step (2))
tex2html_wrap_inline61 M
----------------
C

(c) The argument is correct because the conclusion (C) is derived from the premises by applying the modus ponens.




S. Toida
Wed Jun 4 11:16:33 EDT 1997