Contoh Soal First Order Logic