Go backward to Operational Interpretation Go up to Top Go forward to Examples

Syntax Analysis

forall x: p(x) => exists y: q(f(x), y)

forall x: (p(x) => exists y: q(f(x), y)).

forall x: p(x) => exists y: q(f(x), y)