括号省略规则 ()省略公式最外层的括号; i)联结词符号””的优先级高于其它的四个联结词, 可以去掉(a)中的外层括号; 2 表示 (a1→(a2→…→(an-1→am)…); 对∨,∧,台也类似规定 (iV)x,彐c的优先级高于所有联结词 将(x)a、(3c)a分别记为wxa、3aa (v)(Vx1)…(wxn)a简记为vx1:xna; (3x1)…(3xn)o简记为彐x1 ama 9(i) ; (ii) ”¬” , (¬ α) ; (iii) α1→α2→· · ·→αn−1→αn (α1→(α2→· · ·→(αn−1→αn) · · · )); ∨, ∧, ↔ . (iv) ∀x, ∃x . (∀x)α ✙(∃x)α ∀xα ✙∃xα. (v) (∀x1) · · · (∀xn)α ∀x1 · · · xnα; (∃x1) · · · (∃xn)α ∃x1 · · · xnα. 9