合式公式(举例) 彐X((X)∧y(G(y)-)H(Xy) F(f(a, a), b) 约定:省略多余括号 最外层 优先级递减:彐,V;v;∧,V;→,→ 《集合论与图论》第2讲《集合论与图论》第2讲 8 合式公式（举例） ∃x(F(x)∧∀y(G(y)→H(x,y))) F(f(a,a),b) 约定：省略多余括号 最外层 优先级递减： ∃, ∀; ¬; ∧,∨; →,↔