Introduction to Logic

Stefan Waner and Steven R. Costenoble

Exercises for Section 7:
Predicate Calculus

Answers To see an answer to any odd-numbered exercise, just click on the exercise number.

Translate each of the sentences in Exercises 1-26 into a statement in the predicate calculus. (Red letters are to be used for the relevant predicates or terms where appropriate.)

In Exercises 15-26, you can use the convention that the letters i through n represent positive integers.

Translate the statements in Exercises 27-34 into words.

Communication and Reasoning Exercises

Last Updated: December, 2001
Copyright © 1996 StefanWaner and Steven R. Costenoble

Top of Page