Write the proposition
“Every pair of integers x, y has a greatest common divisor.”
as a logical expression, and justify your expression in 1-2 sentences. The only symbols in your
expression should be variable names, quantifiers (∀, ∃), logical operators (∧, ∨, ¬,->,↔), set
notation ( in , Z), divides (|), comparisons (>, <, >=, <=, =, ̸=), and grouping parentheses