Predicate Logic | ICS 141, Fall 2015

Learning Outcomes

Use predicate logic to solve problems.

Translate between narrative arguments and predicate logic.
Identify valid, satisfiable, and unsatisfiable assertions.
Apply inference rules to solve problems.
Prove or disprove assertions using predicate logic.

Readings

Rosen Sections 1.4-1.7

Predicates and quantifiers, nested quantifiers, rules of inference, introduction to proofs

Textbook 55 pages

Propositional Logic

Slides on predicates and quantifiers

Slides

Nested Quantifiers

Slides on nested quantifiers

Slides

Predicate logic, Part 1

Predicates, quantifiers, free and bound variables.

Lecture notes

Predicate logic, Part 2

Translation between English and predicate logic, classification of assertions, implications and equivalences, inference rules.

Lecture notes

Predicate logic, Part 3

Proof techniques, application to knowledge-based systems.

Lecture notes

Predicate logic, Part 4

Proof techniques (continued), mathematical writing.

Lecture notes

Quantificational logic

Screencast on quantifiers (Trevor)

Screencast 14 minutes TrevTutor

Direct proofs

Screencast on direct proofs (Trevor)

Screencast 8 minutes TrevTutor

Proof by contraposition

Screencast on proof by contraposition (Trevor)

Screencast 7 minutes TrevTutor

Proof by contradiction

Screencast on proof by contradiction (Trevor)

Screencast 10 minutes TrevTutor

Module: Predicate Logic

Learning Outcomes

Use predicate logic to solve problems.

Readings

Rosen Sections 1.4-1.7

Propositional Logic

Nested Quantifiers

Predicate logic, Part 1

Predicate logic, Part 2

Predicate logic, Part 3

Predicate logic, Part 4

Quantificational logic

Direct proofs

Proof by contraposition

Proof by contradiction

Experiential Learning

A02: Homework 2

Q02: Quiz 2

Predicates and quantifiers

Predicates and quantifiers

Nested quantifiers

Nested quantifiers

Rules of inference

Rules of inference

Introduction to Proofs

Introduction to Proofs