...Every class approaches the subject a little bit differently and that makes it very hard to find guidance. So let me be your Vergil, escorting you through the hellscape of logic translations, operators, derivations, rules of inference and replacement, nested quantifiers, truth tables, truth trees... (read more)