Summary of the basic patterns underlying symbolization in predicate logic.
Please see www.ifpthenq.net for more info and online quizzes.