Homework 2 addendum:

In section 1A, there is a typo.  
Nuke() and Nuked() should be the same function, Nuked.

There is also a typo in the natural language version of 1A13:
"Treefrogs only launch nuke those who do not like Elvis and drive Fords."
should read
"Treefrogs only nuke those who do not like Elvis and drive Fords."

In section 1B, the best way to show that a statement does not resolve is
by showing that all possible tries at resolving the statement do not end
in contradiction.

In question 3A2, a better wording for the question might be 
"You suspect that the statement is actually false.  What should you do?"

In section 3B, a couple of notes regarding the values @ and ?:

@ does not imply that we know anything at all about the function used to
determing the variable's dependence on time, just that we know that it
_is_ dependent on time.

? is used whenever we do not know which of any of the other possible
values a given variable has.

Good luck on the rest of the assignment!

Bryan
babailey@andrew.cmu.edu