Homework Assignment #8
answers optional explanations
Section 1.1 #2a p. 15 - not
a proposition (a command)
Section 1.1 #10a p. 16 - r ^ q'
(r and not q)
Section 1.2 #54a p. 28 - This
proposition is satisfiable (since p occurs in 4 of the 5 disjunctions,
we can make p true, and then make q false ( and make r and s
anything we please)
Section 1.3 #26a p. 42 ∃x R(x)' R(x) is "x is in the correct place" Universe of Discourse is all things. R(x)'
is "not R(x)
Section 1.4 #10a p. 52 ∀xF(x,Fred)
Section 10.1 #4a p. 708
|
x |
y |
z |
z' |
|
0 |
0 |
0 |
1 |
|
0 |
0 |
1 |
0 |
|
0 |
1 |
0 |
1 |
|
0 |
1 |
1 |
0 |
|
1 |
0 |
0 |
1 |
|
1 |
0 |
1 |
0 |
|
1 |
1 |
0 |
1 |
|
1 |
1 |
1 |
0 |
Section 10.1 #22a p. 708 x
Section 10.2 #4a p. 712 x'yz + x'yz' + x'y'z + x'y'z'
Section 10.3 #4 (x'yz)'(x'+ y + z')
Section 10.4 #6a yz