definisikan logika