Hw 04: Practical Logic
Hw 04: Practical Logic

 

Due Date: Friday, Feb. 19, 2016, 23:55

See the General Guidelines for homework assignments.

This assignment must be done individually.

For statements  1 through 8, write a single, colloquial English sentence that states the precise conditions under which the given statement would be false.

  1. Ariel is contented only if Raphael is not traveling.
  2. If Xander is contented then Raphael is traveling.
  3. If Raphael is traveling, then Orome can relax.
  4. Every person who is sane can understand logic.
  5. No insane persons are fit to serve on a jury.
  6. Some of John's children cannot understand logic.
  7. There is a positive integer such that there is no smaller positive integer.
  8. For every thing, there is a season.

  9. Suppose that statements 1 through 3 are true. Suppose also that Xander is contented. What facts, if any, can you infer? Explain clearly.

  10. Suppose that statements 4 through 6 are true. What facts, if any, can you infer? Explain clearly.

Computer Science 2104 Introduction to Problem Solving
D. Barnette