CSCI 1323 (Discrete Structures):
Useful Links and Other Resources
(Suggestions for additions to this page are welcome; send to
bmassing@cs.trinity.edu
.)
Useful links
One-page summaries of derivation rules for
propositional logic
and
predicate logic
.