My brain can't process why there is no "y" on the left side. Can anyone help me digest/process this?
#Help with Quantifiers and Equivalences
patent venture
real knotBOT
steady zenith
My brain can't process why there is no "y" on the left side. Can anyone help me ...
It is because of how the parentheses are placed. When a for all x is initialized in a parenthesis, it only exists within that pair of parentheses.
You could instead have
$(\forall y Q(y))$ and it would be the same thing, but there is no ambiguity on the left by replacing y with x because of the parentheses placement