Introduction, Statements, and Notation, Connectives, Well-formed formulas, Tautology, Duality law, Equivalence, Implication, Normal Forms, Functionally complete set of connectives, Inference Theory of ...

Disclaimer: These notes are how I understand/interpret the lectures. It's likely that I have made mistakes, or haven't explained things in the best way. I have also added exercises based on the doubts ...

This is the open source alternative to the notes used by Professor Bertille and Professor Joos for the course of Discrete Structures 1 at University of Heidelberg. I came up with the idea of making my ...