2: Logic Last updated Save as PDF Page ID 88843 Mark A. Fitch University of Alaska Anchorage 2.1: Formal Logic 2.2: Circuits 2.3: Predicate Logic 2.4: Mathematical Proof