Math logic homeworks