Lecture notes on Logic

In the lecture, among other things, we looked at a proof that the square root of 2 is irrational.