CS322 Fall 1999
Module 3 (Reasoning with Symbols)
Assignment 3 -- Solution

The aim of this assignment is to learn about proof procedures, and how to compute logical consequences.