First logic lecture

Here are the slides for the first logic lecture today. (This is a one-off for those who missed the first lecture/were late. The slides will be here for three days and then gone …)