LARA Exercise 01: Logic, sets, and relations Background material Exercises 01 Solutions 01 See also Mathematics for Computer Science