I: Classical propositional logic
The system Proplog is a game-like system which makes in possible to study and reflect on basic propositional reasoning.
Try to obtain 10 correct answers in a row!
Try it and analyse the arguments using truth-tables.
