Beweren en Bewijzen

Weekly Puzzles:

• Week 1 (16 Feb, 2005): Warming Up.
• Week 2 (23 Feb, 2005): Paradoxes.
• Week 3 (28 Feb, 2005): Knights, Knaves, and Propositional Connectives.
• Week 4 (7 March, 2005): Logic and Probabilities.
• Week 5 (14 March, 2005): Circuit Components and Logical Connectives.
• Week 6 (21 March, 2005): A Bit of Background.
• Week 7 (28 March, 2005): Modus Ponens.
• Week 8 (4 April, 2005): Carroll's Paradox.
• Week 9 (11 April, 2005): Anselm's Ontological Argument.
• Week 10 (18 April, 2005): Some Natural Deduction Proofs, page 1 and page 2. (Disclaimer: not responsible for typos or neck strains.)