First Order Logic Exercises