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

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

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

- (4 points) Section 1.1 problem 1. (int'l same)
- (3 points) Section 1.1 problem 12 (int'l 8; 8th ed. 14), parts a, b, and c.
- (3 points) Section 1.1 problem 35 (int'l 31; 8th ed. 37) parts a, c, f.
- (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.
- (2 points) Section 1.3 (int'l 1.2) problem 26 (8th ed. 30).
- (2 points) Section 1.4 (int'l 1.3) problem 3.
- (4 points) Section 1.4 (int'l 1.3) problem 6 parts a and b.
- (3 points) Section 1.4 (int'l 1.3) problem 17 parts a, b, and c.
- (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.
- (2 points) Section 1.4 problem 58. (int'l does not have this problem; 8th ed. 60)
- (4 points) Section 1.4 problem 60, all parts. (int'l does not have this problem; 8th ed. 62)
- (4 points) Section 1.5 (int'l 1.4) problem 1, all parts.
- (4 points) Section 1.5 (int'l 1.4) problem 10 parts a and d.
- (4 points) Section 1.5 (int'l 1.4) problem 30 parts a and c.
- (3 points) Section 1.5 (int'l 1.4) problem 50 parts a and b. (See the definition of PNF above the problem)