Philosophy 201, Introductory Logic
Web Links
Online proof checker