finished exercises in Logic chapter