Suppose x and y are integer numbers, and we define the following predicates: D(x,y): y is a multiple of x; C3(x,y): x is congruent to y modulo 3; C6(x,y): x is is congruent to y modulo 6.
Which of the following clauses are correct interpretations of the logical statement:
