MGF1121 - Introduction to Logic