Tirallab
All courses

Logic & Proofs

FreeLevel 2

From truth tables to induction. The toolkit that separates guessing from knowing.

6h · 4 lessonsTaught by Tomás Reyes
1

Truth tables & Boolean algebra

  • AND, OR, NOT — and the surprises in between

    5 min · Reading + practice

  • XOR and IMPLIES, the operators that fool everyone

    7 min · Reading + practice

2

Proof techniques

  • Direct proof

    8 min · Reading + practice

  • Proof by contradiction, with the classic sqrt(2) example

    9 min · Reading + practice