Table of Contents

Goals

  • Practice representing problems using propositional and predicate logic.
  • Practice using equivalences and rules of inference to derive new facts from a knowledge base.

Concepts

  • Representing problems using propositional logic
  • Representing problems using predicate logic
  • Order of precedence in predicate and propositional logic
  • Nested quantifiers.

Problems

This international edition information is not verified. Please report any mistakes. Also, two problems are not in the international edition of the book.

  1. (4 points) Section 1.1 problem 1. (int'l same)
  2. (3 points) Section 1.1 problem 12 (int'l 8; 8th ed. 14), parts a, b, and c.
  3. (3 points) Section 1.1 problem 35 (int'l 31; 8th ed. 37) parts a, c, f.
  4. (4 points) Prove that the distributive laws in Table 6 of section 1.3 (int'l 1.2) in the textbook are tautologies using truth tables.
  5. (2 points) Section 1.3 (int'l 1.2) problem 26 (8th ed. 30).
  6. (2 points) Section 1.4 (int'l 1.3) problem 3.
  7. (4 points) Section 1.4 (int'l 1.3) problem 6 parts a and b.
  8. (3 points) Section 1.4 (int'l 1.3) problem 17 parts a, b, and c.
  9. (4 points) Section 1.4 (int'l 1.3) problem 50 (8th ed. 52). The easiest approach to this problem is to find a counter-example.
  10. (2 points) Section 1.4 problem 58. (int'l does not have this problem; 8th ed. 60)
  11. (4 points) Section 1.4 problem 60, all parts. (int'l does not have this problem; 8th ed. 62)
  12. (4 points) Section 1.5 (int'l 1.4) problem 1, all parts.
  13. (4 points) Section 1.5 (int'l 1.4) problem 10 parts a and d.
  14. (4 points) Section 1.5 (int'l 1.4) problem 30 parts a and c.
  15. (3 points) Section 1.5 (int'l 1.4) problem 50 parts a and b. (See the definition of PNF above the problem)
cs-236/homework-5.txt · Last modified: 2018/08/14 20:54 by pdiddy
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0