CS 281 Solutions to Test 2

1(a) {
(b) {
(c) {

2(a) {
(b) { }
(c)

3(a) {2,4}
(b)

4.

5 (a) Let S be the set to be defined.
Basis Clause: .
Inductive Clause: If , then .
Extremal Clause: as usual

(b) Let T be the set to be defined.
Basis Clause:
Inductive Clause: If , then .
Extremal Clause: as usual

6 (a)
.
(b)

7 (a) False
(b) False
(c) True
(d) False

• About this document ...