University of California, Irvine: Max Welling's "Logic"

Read these slides.

Click http://www.ics.uci.edu/~welling/teaching/ICS171spring07/PropLogic2spring07.ppt link to open resource.