an argument is valid when it always gives “true” as output irrespective of the input feed to it. Otherwise, it is invalid
Therefore, the only way to prove the given argument invalid is to somehow come up with T → F
Out of the given three premises,
(∀x)(∀y)(∀z)(q(x,y,z)) is false.
If we take the values of x,y, and z as 2,3 and 4 respectively, z != GCD(x,y), as GCD of (2,3) is 6, while z is 2.
Now, as per the truth table of implication, we know that the only way it can be invalid is the case T → F.
But we already got an F on the left hand side. Thus, we can say that it doesn’t matter whether F → T or F → F. As both of them will result in tautology. Hence, it is a valid argument.