Skip to content
Week 3 - Proof Patterns

Week 3 - Proof Patterns

This week I introduct proof patterns and we recap logic.

Resources

  • Slides: pdf
  • Writeup - Proof Patterns with Propositional Logic: link
  • Kahoot: link
  • Proof Examples: pdf
  • Statements vs Formulas: pdf (in German)

Take a look at the writeup from last year to see common misconceptions and mistakes. Make sure that you understand them.