N的符号库 p1,P2, (可数个命题符号) V,∧ (5个联结词符号) (3)) (2个辅助符号)N (1) p1, p2, . . . ( ) (2) ¬, ∨, ∧, →, ↔ (5 ) (3) ), ( (2 ) 4