CS208 Logic & Algorithms

Semester 1: Logic

Interactive Prover

See the following pages for introductions to how to use this tool:

  1. Natural Deduction for Propositional Logic

  2. Proof rules for Predicate Logic