using quantifiers restate the definition of gcd a b dSolut

using quantifiers, restate the definition of gcd( a, b ) = d

Solution

First say that d divides a, b and c: (da)(db)(dc)

Then add your statement but without the existential quantifier: k.((ka)(kb)(kc))kd

So you get (da)(db)(dc)k.((ka)(kb)(kc))kd