∀x∀y(Q(x;y)) "Для любых x и y выполняется условие, что y кратно 2x" Истинно, так как для любых чисел x и y, если y кратно 2x, то это условие выполняется.

∃x∃y(Q(x;y)) "Существуют такие x и y, что y кратно 2x" Истинно, так как можно найти хотя бы одно такое x и y, например, x=1 и y=2.

∀x∃y(Q(x;y)) "Для любого x существует y, такое что y кратно 2x" Истинно, так как для любого x можно найти хотя бы одно такое y, например, если x=1, то y=2.

∃x∀y(Q(x;y)) "Существует x, для которого для любого y выполняется условие, что y кратно 2x" Ложно, так как не для всех x можно найти такое y, которое кратно 2x.