The Introduction to Logic course website for the Fall 2005 semester can be found at http://www.cogsci.rpi.edu/courses/intrologic/.

2005.10.04 Slate 2.0 for Windows for Introduction to Logic.
2005.10.07 Slate 2.0 for Windows (with propositional models)

Slate.ROI.Examples.zip - Some example slate files demonstrating the propositional rules of inference.

2005.10.04 Slate Lecture 1 (PDF) (MOV) Quicktime Movie file includes video demonstrations of rules of inference. PDF illustrates rules of inference, without video.