I'm trying to solve these statements in Prolog. But I can't seem to figure out how to do the layout with predicate logic.
(a) ∀x ∃y [xy = 0]
(b) ∃x ∀y [xy = 1]
(c) ∃y ∀x [xy = x]
When just copy-pasting it I get the error: Operator expected
How it is supposed to look/be?
edit: forgot to add that the universe/domain is ℤ btw