Question

Какие из следующих выражений являются формулами? В каждой формуле выделить свободные и связанные переменные:
∃x∃y P(x,y)
∃x,y P(x,y)
∀x P(x) ∀y Q(x,y)
∀x∃y P(x,y)
p→∀x P(x,y)
∃x P(x,y)& Q(y,z)