Propositional Logic: 10 Tutorials

Logical System

Tutorials 1 to 10: propositional logic, using the Copi syntax.