Question

Find the truth value of two or more quantifiers

Answer 1

$\text{ Let }x,y \in \mathbb{N}$

$\forall x \exist y : (3x-y=0) \implies \text{ True } (y=3x)$