W2 L5 Logic – notes from lecturer – 114 – Note that we also have To prove in next week’s tutorial e