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.
Question 1
Question 2
David Poole