Predicate Calculus I
Channel: panandt
Date: 2013-07-17

intro and setup for predicate calculus examples