逻辑符号 包括下列符号: 个体变元符号 0,北1,2 ●联结词符号: ●量词符号: 辅助符号:: • : x0, x1, x2, . . . • : ¬, ∧, ∨, →, ↔ • : ∀, ∃ • : ), , , ( 4