The first lecture: Introduction and proposition logic