In order to demonstrate the use of Slate in RPI's Introduction to Logic course, we have included below a number of logic exercises from Barwise and Etchemendy's Language Proof and Logic textbook translated into Slate.

The goal of the following exercises is to evaluate each argument's validity, and construct a proof if the argument is valid.