Ever since modern symbolic logic was consolidated (in the mid 1900s), the standard format for an introductory logic class has been to learn the classical predicate calculus in three steps: ...